Search results for "interpreters"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	V. M. Mikhelev	Data Definition in the Programming Language MARKIZ.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
11	Peter D. Mosses	The Varieties of Programming Language Semantics.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
11	Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura	Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.	ICLP	2001	DBLP DOI BibTeX RDF
11	Antoine Miné	A New Numerical Abstract Domain Based on Difference-Bound Matrices.	PADO	2001	DBLP DOI BibTeX RDF
11	Pierre Baldi, Søren Brunak, Paolo Frasconi, Gianluca Pollastri, Giovanni Soda	Bidirectional Dynamics for Protein Secondary Structure Prediction.	Sequence Learning	2001	DBLP DOI BibTeX RDF
11	Laurie A. Smith King, John Barr, Ben Coleman	What could be more SLic?: projects for the programming languages course.	SIGCSE	2001	DBLP DOI BibTeX RDF
11	William S. Evans, Christopher W. Fraser	Bytecode Compression via Profiled Grammar Rewriting.	PLDI	2001	DBLP DOI BibTeX RDF	program compression, variable-to-fixed length codes, context-free grammars, bytecode interpretation
11	Georg Reichard	Is there a way of combining array-processing and object-oriented programming?	APL	2001	DBLP DOI BibTeX RDF	APL
11	José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Bernardo Martín González Rodríguez	A Language Prototyping Tool Based on Semantic Building Blocks.	EUROCAST	2001	DBLP DOI BibTeX RDF
11	Sandrine Robbe-Reiter, Noelle Carbonell, Pierre Dauchy	Expression constraints in multimodal human-computer interaction.	IUI	2000	DBLP DOI BibTeX RDF	speech constraints, usability, multimodal user interfaces
11	Alan Mycroft, Richard Sharp	A Statically Allocated Parallel Functional Language.	ICALP	2000	DBLP DOI BibTeX RDF
11	Jianshe Zhai, Georges Fafiotte	On Building a Simulating Translation Environment for Multilingual Conversation.	ICMI	2000	DBLP DOI BibTeX RDF	Multilingual Dialogue, Interpreter Simulation, Wizard or Oz, Client/Server, Spoken Language Translation
11	Dale Miller 0001	Abstract Syntax for Variable Binders: An Overview.	Computational Logic	2000	DBLP DOI BibTeX RDF
11	Steven Lucco	Split-stream dictionary program compression.	PLDI	2000	DBLP DOI BibTeX RDF	virtual machine, compression, runtime system
11	Tao Li 0006, Lizy Kurian John, Narayanan Vijaykrishnan, Anand Sivasubramaniam, Jyotsna Sabarinathan, Anupama Murthy	Using complete system simulation to characterize SPECjvm98 benchmarks.	ICS	2000	DBLP DOI BibTeX RDF	Java
11	Qiming Chen, Umeshwar Dayal, Meichun Hsu, Martin L. Griss	Dynamic-Agents, Workflow and XML for E-Commerce Automation.	EC-Web	2000	DBLP DOI BibTeX RDF
11	Robert G. Brown	Object oriented APL: an introduction and overview.	APL	2000	DBLP DOI BibTeX RDF	APL
11	Anatoly E. Voevudko	Steps Toward Next Generation Computer Based Systems.	ECBS	1999	DBLP DOI BibTeX RDF	Processor based architecture, unified linguistic and access support, scripting and programming languages, distributed systems, integration, operating systems, software, hardware, portability, Web-based systems
11	María Alpuente, Santiago Escobar 0001, Salvador Lucas	UPV-CURRY: An Incremental CURRY Interpreter.	SOFSEM	1999	DBLP DOI BibTeX RDF
11	Hidehiko Masuhara, Akinori Yonezawa	Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language.	ECOOP	1998	DBLP DOI BibTeX RDF
11	Nick Benton, Andrew Kennedy, George Russell	Compiling Standard ML to Java Bytecodes.	ICFP	1998	DBLP DOI BibTeX RDF	MC68000 Assembly Language, Java
11	Christopher T. Haynes	Experience with an analytic approach to teaching programming languages.	SIGCSE	1998	DBLP DOI BibTeX RDF
11	Etienne M. Gagnon, Laurie J. Hendren	SableCC, an Object-Oriented Compiler Framework.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Software Engineering, Compiler, Framework, Design Patterns, Interpreter
11	Changqing Wang, David R. Musser	Dynamic Verification of C++ Generic Algorithms.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	verification, C++, Specification, templates, software libraries, generic algorithms, Standard Template Library
11	Mark van den Brand, Eelco Visser	Generation of Formatters for Context-Free Languages.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	document preparation, program generators
11	Roberto Barbuti, Paolo Mancarella	A Multiple-Valued Logical Semantics for Prolog.	ESOP	1996	DBLP DOI BibTeX RDF
11	Frédéric Boussinot, Laurent Hazard	Reactive scripts.	RTCSA	1996	DBLP DOI BibTeX RDF	broadcast event-driven interpreter, responsive systems, reactive script interpretor, complex behaviors, current interpretor reaction, associated methods, nonblocking order, method execution, SL synchronous language, ROM Reactive Object Model, Reactive-C language, parallel programming, objects, real time programming
11	Rakesh M. Verma	A Theory of Using History for Equational Systems with Applications.	J. ACM	1995	DBLP DOI BibTeX RDF	congruence-closure algorithm, rewrite system transformation, term rewrite systems, proof theory, equational logic
11	Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson	A Hierarchical Method for Reasoning about Distributed Programming Languages.	TPHOLs	1995	DBLP DOI BibTeX RDF
11	Frank Tip	Generic Techniques for Source-Level Debugging and Dynamic Program Slicing.	TAPSOFT	1995	DBLP DOI BibTeX RDF
11	Todd A. Proebsting	Optimizing an ANSI C Interpreter with Superoperators.	POPL	1995	DBLP DOI BibTeX RDF	C
11	Ted Hills	Response to A Note on Structured Interrupts.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
11	Manuel E. Benitez, Jack W. Davidson	The Advantages of Machine-Dependent Global Optimization.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
11	Amr Sabry, Matthias Felleisen	Is Continuation-Passing Useful for Data Flow Analysis?	PLDI	1994	DBLP DOI BibTeX RDF
11	Christian Mossin	Partial Evaluation of General Parsers.	PEPM	1993	DBLP DOI BibTeX RDF
11	Arthur M. Riehl, Daniel P. Friedman, Brian Harvey, Simon M. Kaplan, Richard M. Salter, George Springer	Using Scheme in the Introductory Computer Science Curriculum (abstract).	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	SCHEME
11	Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley	Report on the UCD Microcoded Viper Verification Project.	HUG	1993	DBLP DOI BibTeX RDF
11	Sofiène Tahar, Ramayya Kumar	Implementing a Methodology for Formally Verifying RISC Processors in HOL.	HUG	1993	DBLP DOI BibTeX RDF
11	M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar	Verification Tools in the Development of Provably Correct Compilers.	FME	1993	DBLP DOI BibTeX RDF
11	David A. Barrett, Benjamin G. Zorn	Using Lifetime Predictors to Improve Memory Allocation Performance.	PLDI	1993	DBLP DOI BibTeX RDF	C
11	Richard A. Frost	Guarded attribute grammars: top down parsing and left recursive productions.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
11	Yutaka Kataoka, Masato Morisaki, Hiroshi Kuribayashi, Hiroyoshi Ohara	A Model for Input and Output for Multilingual Text in a Windowing Environment.	ACM Trans. Inf. Syst.	1992	DBLP DOI BibTeX RDF	X window systems, multiwindow, output method, localization, linguistics, multilingual, internationalization, input/output, input method
11	Lars Ole Andersen	Partial Evaluation of C and Automatic Compiler Generation (Extended Abstract).	CC	1992	DBLP DOI BibTeX RDF
11	Wolfgang Keller	Automated generation of code using backtracking parsers for attribute grammars.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
11	Dmitri Yu. Boulanger	Deep Logic Program Transformation Using Abstract Interpretation.	RCLP	1991	DBLP DOI BibTeX RDF
11	Albert Zündorf, Andy Schürr	Nondeterministic Control Structures for Graph Rewriting Systems.	WG	1991	DBLP DOI BibTeX RDF
11	Stephen Deerhake	AP 527: an ORACLE SQL - APL2/PC Auxiliary Processor.	APL	1991	DBLP DOI BibTeX RDF	APL, SQL, ORACLE
11	Spiro Michaylov, Frank Pfenning	Natural Semantics and Some of Its Meta-Theory in Elf.	ELP	1991	DBLP DOI BibTeX RDF
11	Pierre Lim, David N. Morley	Implementing a Meta-Logical Scheme.	PLILP	1990	DBLP DOI BibTeX RDF
11	Christian Queinnec	Compilation of Non-Linear, Second Order Patterns on S-Expressions.	PLILP	1990	DBLP DOI BibTeX RDF
11	Neil D. Jones	Partial Evaluation, Self-Application and Types.	ICALP	1990	DBLP DOI BibTeX RDF
11	Peter Pfahler	Optimizing Directly Executable LR Parsers.	CC	1990	DBLP DOI BibTeX RDF
11	Sergei A. Romanenko	Arity Raiser and its Use in Program Specialization.	ESOP	1990	DBLP DOI BibTeX RDF	arity raiser, retyping, variable splitting, partial evaluation, specializer, compiler generator
11	Mark E. Stickel	A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF
11	Moon-Chuen Lee	An Augmented Prolog Programming Environment for Tutoring Applications.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
11	Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto	Design and Distributed Implementation of the Parallel Logic Language Shared Prolog.	PPoPP	1990	DBLP DOI BibTeX RDF	Prolog, C
11	Leonid A. Kalinichenko	Methods and Tools for Equivalent Data Model Mapping Construction.	EDBT	1990	DBLP DOI BibTeX RDF
11	Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones	Experiments with Implementations of Two Theoretical Constructions.	Logic at Botik	1989	DBLP DOI BibTeX RDF
11	Fadi N. Sibai, Karan L. Watson, Mi Lu	Design and performance measurements of a parallel machine for the unification algorithm.	MICRO	1989	DBLP DOI BibTeX RDF
11	Anders Bondorf	A Self-Applicable Partial Evaluator for Term Rewriting Systems.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF	elementary matching operations, partially static structures, Decision trees, pattern matching, abstract interpretation, functional languages, binding time analysis
11	Zvi M. Kedem, Alexander Tuzhilin	Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models.	PODS	1989	DBLP DOI BibTeX RDF
11	Alan M. Sykes, Alan G. Hawkes	Using APL2 in Statistics.	APL	1989	DBLP DOI BibTeX RDF	APL
11	W. J. Shaw	Making APL Error Messages Kinder and Gentler.	APL	1989	DBLP DOI BibTeX RDF	APL
11	David A. Scanlan	A research tool for software design and documentation.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
11	Ulf Nilsson	Towards a Framework for the Abstract Interpretation of Logic Programs.	PLILP	1988	DBLP DOI BibTeX RDF
11	Olivier Danvy, Karoline Malmkjær	Intensions and Extensions in a Reflective Tower.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
11	Charles Consel	New Insights into Partial Evaluation: the SCHISM Experiment.	ESOP	1988	DBLP DOI BibTeX RDF	applicative languages, SCHISM, mixed computation, Program transformation, Scheme, partial evaluation, unfolding, specialization, program generation, compiler generation
11	Robbert van Renesse, Andrew S. Tanenbaum, Gregory J. Sharp	Functional specialization in distributed operating systems.	ACM SIGOPS European Workshop	1988	DBLP DOI BibTeX RDF
11	Clinton R. Foulk	Teaching assembly language on the Macintosh (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Macintosh
11	Juhani Sandberg, Olli Paavola, Tauno Ylinen	The FinnAPL keyword editor.	APL	1987	DBLP DOI BibTeX RDF	APL
11	Alan M. Sykes	A second generation DOMINO for statisticians.	APL	1987	DBLP DOI BibTeX RDF	APL
11	Stéphane Kaplan	A Compiler for Conditional Term Rewriting Systems.	RTA	1987	DBLP DOI BibTeX RDF
11	Martin Nilsson 0001, Hidehiko Tanaka	The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages.	LP	1987	DBLP DOI BibTeX RDF	Committed choice, Fleng, GHC, Parallel, Logic Programming, Prolog, Interpreter
11	Gail E. Kaiser	Generation of run-time environments.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
11	Ulrik Jørring, William L. Scherlis	Compilers and Staging Transformations.	POPL	1986	DBLP DOI BibTeX RDF
11	David A. Schmidt	Detecting Global Variables in Denotational Specifications.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
11	Arvind	Demand-Driven Evaluation on Dataflow Machine.	FSTTCS	1985	DBLP DOI BibTeX RDF
11	Reid G. Smith, Robert L. Young	The design of the Dipmeter Advisor system.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
11	Erik Sandewall	Unified Dialogue Management in the Carousel System.	POPL	1982	DBLP DOI BibTeX RDF
11	Klaus J. Berkling, Elfriede Fehr	A Modification of the Lambda-Calculus as a Base for Functional Programming Languages.	ICALP	1982	DBLP DOI BibTeX RDF
11	Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez	Direct Execution of Lisp on a List-Directed Architecture.	ASPLOS	1982	DBLP DOI BibTeX RDF	LISP
11	Mamoru Maekawa, Ken Sakamura, Chiaki Ishikawa	Firmware Structure and Architectural Support for Monitors, Vertical Migration and User Microprogramming.	ASPLOS	1982	DBLP DOI BibTeX RDF
11	Neil D. Jones, Steven S. Muchnick	Flow Analysis and Optimization of Lisp-Like Structures.	POPL	1979	DBLP DOI BibTeX RDF
11	Jay Earley, Howard E. Sturgis	A formalism for translator interactions.	Commun. ACM	1970	DBLP DOI BibTeX RDF	bootstrapping language processor, compiler, interpreter, translator, compiler-compiler