Search results for "interpreters"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Stijn Timbermont, Coen De Roover, Theo D'Hondt	Constructing Customized Interpreters from Reusable Evaluators Using Game.	SC@TOOLS	2012	DBLP DOI BibTeX RDF
19	Claudio Fantinuoli	InterpretBank: design and implementation of a terminology and knowledge management software for conference interpreters.		2012	RDF
19	Tristan M. Behrens	Towards building blocks for agent-oriented programming: standardizing interpreters, environments and tools. (PDF / PS)		2012	RDF
19	Keiko Nakata 0001	Resumption-based big-step and small-step interpreters for While with interactive I/O	DSL	2011	DBLP DOI BibTeX RDF
19	Jason McCandless, David Gregg	Optimizing interpreters by tuning opcode orderings on virtual machines for modern architectures: or: how I learned to stop worrying and love hill climbing.	PPPJ	2011	DBLP DOI BibTeX RDF
19	Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko	HMC: Verifying Functional Programs Using Abstract Interpreters.	CAV	2011	DBLP DOI BibTeX RDF
19	Emil H. Levine	Review of Deciphering the Rising Sun: Navy and Marine Corps Codebreakers, Translators, and Interpreters in the Pacific War by Roger Dingman.	Cryptologia	2010	DBLP DOI BibTeX RDF
19	Nian-Shing Chen, Leong Ko	An Online Synchronous Test for Professional Interpreters.	J. Educ. Technol. Soc.	2010	DBLP BibTeX RDF
19	Julien Cohen, Jean-Louis Giavitto, Olivier Michel 0001	Variable elimination for building interpreters	CoRR	2010	DBLP BibTeX RDF
19	Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz	Trace-based compilation in execution environments without interpreters.	PPPJ	2010	DBLP DOI BibTeX RDF
19	Oleg Kiselyov	Typed Tagless Final Interpreters.	SSGIP	2010	DBLP DOI BibTeX RDF
19	Toon Verwaest, Camillo Bruni, David Gurtner, Adrian Lienhard, Oscar Nierstrasz	Pinocchio: bringing reflection to life with first-class interpreters.	OOPSLA	2010	DBLP DOI BibTeX RDF
19	Dominik Gessenharter	UML Activities at Runtime - Experiences of Using Interpreters and Running Generated Code.	ER Workshops	2010	DBLP DOI BibTeX RDF
19	Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny	Defunctionalized Interpreters for Call-by-Need Evaluation.	FLOPS	2010	DBLP DOI BibTeX RDF
19	Matthew Might	Abstract Interpreters for Free.	SAS	2010	DBLP DOI BibTeX RDF
19	Gábor Alberti, Márton Károly, Judit Kleiber	The Realis Model of Human Interpreters and Its Application in Computational Linguistics.	ICSOFT (2)	2010	DBLP BibTeX RDF
19	Manuel Garnacho	Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits. (Automatic and formal certification of critical systems by instrumentation of abstract interpreters).		2010	RDF
19	Mathieu Boespflug	From Self-Interpreters to Normalization by Evaluation	CoRR	2009	DBLP BibTeX RDF
19	Jacques Carette, Oleg Kiselyov, Chung-chieh Shan	Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.	J. Funct. Program.	2009	DBLP DOI BibTeX RDF
19	Manuel Alfonseca 0001	Program Interpreters.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
19	U. Pattananupong, Nachol Chaiyaratana, R. Tongpadungrod	Genetic programming and neural networks as interpreters for a distributive tactile sensing system.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
19	Fuh-Gwo Chen, Ting-Wei Hou	Instruction-coated translation: an approach to restructure directly threaded interpreters with low cohesion.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	module cohesion, software architecture and restructuring, threaded interpreter
19	Matthias Schirn	Hume's Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters.	Synth.	2006	DBLP DOI BibTeX RDF
19	Mark Hills 0001, Traian Serbanuta, Grigore Rosu	A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters.	WRLA	2006	DBLP DOI BibTeX RDF
19	L. Pere, Mátyás Koniorczyk	A universal fast graphical user interface building tool for arbitrary interpreters.	J. Vis. Lang. Comput.	2005	DBLP DOI BibTeX RDF
19	M. Anton Ertl	Advances in interpreters, virtual machines and emulators.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
19	Mario Latendresse, Marc Feeley	Generation of fast interpreters for Huffman compressed bytecode.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
19	Nick Benton	Embedded interpreters.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
19	Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer	Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
19	Ralf Lämmel	Evolution of Language Interpreters.	SETra@ICGT	2004	DBLP DOI BibTeX RDF
19	Tal Lev-Ami, Roman Manevich, Shmuel Sagiv	TVLA: A system for generating abstract interpreters.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
19	Michael Franz, Etienne M. Gagnon (eds.)	Proceedings of the 2004 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2004, Washington, D.C., USA, June 7, 2004	IVME	2004	DBLP DOI BibTeX RDF
19	Babak Hodjat, Junichi Ito, Makoto Amamiya	A Genetic Algorithm to Improve Agent-Oriented Natural Language Interpreters.	GECCO (2)	2004	DBLP DOI BibTeX RDF	Agent-Oriented Software Engineering, GA, Natural Language Interfaces, Evolutionary Optimization
19	Dean M. Deaver	Experiences with interpretation vs. translation in transmeta's code morphing software.	IVME	2004	DBLP DOI BibTeX RDF
19	Jinzhan Peng, Gansha Wu, Guei-Yuan Lueh	Code sharing among states for stack-caching interpreter.	IVME	2004	DBLP DOI BibTeX RDF
19	Bernd Mathiske	Real-life JVM design for mobile devices.	IVME	2004	DBLP DOI BibTeX RDF
19	Jason Domer, Murthi Nanja, Suresh Srinivas, Bhaktha Keshavachar	Comparative performance analysis of mobile runtimes on Intel XScale® technology.	IVME	2004	DBLP DOI BibTeX RDF
19	Benjamin Vitale, Tarek S. Abdelrahman	Catenation and specialization for Tcl virtual machine performance.	IVME	2004	DBLP DOI BibTeX RDF
19	Brian Alliet, Adam Megacz	Complete translation of unsafe native code to safe bytecode.	IVME	2004	DBLP DOI BibTeX RDF
19	M. Anton Ertl, David Gregg	Combining stack caching with dynamic superinstructions.	IVME	2004	DBLP DOI BibTeX RDF
19	Vance Morrison	Performance issues and resolutions for the .NET runtime virtual machine.	IVME	2004	DBLP DOI BibTeX RDF
19	Jeffery von Ronne, Ning Wang, Michael Franz	Interpreting programs in static single assignment form.	IVME	2004	DBLP DOI BibTeX RDF
19	Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle	On the Use of Graph Transformation in the Formal Specification of Model Interpreters.	J. Univers. Comput. Sci.	2003	DBLP BibTeX RDF
19	M. Anton Ertl, David Gregg	The Structure and Performance of Efficient Interpreters.	J. Instr. Level Parallelism	2003	DBLP BibTeX RDF
19	David Gregg, M. Anton Ertl (eds.)	Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2003, San Diego, California, USA, June 12, 2003	IVME	2003	DBLP DOI BibTeX RDF
19	Olivier Danvy	A Journey from Interpreters to Compilers and Virtual Machines.	GPCE	2003	DBLP DOI BibTeX RDF
19	Hanbing Liu, J Strother Moore	Executable JVM model for analytical reasoning: a study.	IVME	2003	DBLP DOI BibTeX RDF
19	Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermín Reig, Ning Wang	A portable Virtual Machine target for Proof-Carrying Code.	IVME	2003	DBLP DOI BibTeX RDF
19	Brian Davis, Andrew Beatty, Kevin Casey, David Gregg, John Waldron	The case for virtual register machines.	IVME	2003	DBLP DOI BibTeX RDF
19	Norman Ramsey	Embedding an interpreted language using higher-order functions and types.	IVME	2003	DBLP DOI BibTeX RDF
19	Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek	Engineering a customizable intermediate representation.	IVME	2003	DBLP DOI BibTeX RDF
19	John Whaley	Joeq: a virtual machine and compiler infrastructure.	IVME	2003	DBLP DOI BibTeX RDF
19	Eelco Dolstra, Eelco Visser	Building Interpreters with Rewriting Strategies.	LDTA@ETAPS	2002	DBLP DOI BibTeX RDF
19	M. Anton Ertl, David Gregg, Andreas Krall, Bernd Paysan	Vmgen - a generator of efficient virtual machine interpreters.	Softw. Pract. Exp.	2002	DBLP DOI BibTeX RDF
19	Nael B. Abu-Ghazaleh, Philip A. Wilsey	On the Structure of Concurrent Interpreters.	IPDPS	2002	DBLP DOI BibTeX RDF
19	Luís Soares Barbosa, José Nuno Oliveira	Coinductive Interpreters for Process Calculi.	FLOPS	2002	DBLP DOI BibTeX RDF	coinductive types, applications, functional programming
19	Yong Xiao, Amr Sabry, Zena M. Ariola	From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition.	High. Order Symb. Comput.	2001	DBLP DOI BibTeX RDF
19	José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río	Modular Development of Interpreters from Semantic Building Blocks.	Nord. J. Comput.	2001	DBLP BibTeX RDF
19	Kenichi Asai	Integrating Partial Evaluators into Interpreters.	SAIG	2001	DBLP DOI BibTeX RDF
19	David A. Padua, Ron Cytron	Compilers and Interpreters Archive.	ACM SIGPLAN Notices	2000	DBLP DOI BibTeX RDF
19	Yong Xiao, Zena M. Ariola, Michel Mauny	From Syntactic Theories to Interpreters: A Specification Language and Its Compilation	CoRR	2000	DBLP BibTeX RDF
19	Jan Hoogerbrugge, Lex Augusteijn	Pipelined Java Virtual Machine Interpreters.	CC	2000	DBLP DOI BibTeX RDF
19	A. C. Reeves, Charles Rattray	A Sketch-Based Technique for the Derivation of Self-Interpreters.	Comput. Lang.	1999	DBLP DOI BibTeX RDF
19	Jan Hoogerbrugge, Lex Augusteijn, Jeroen Trum, Rik van de Wiel	A Code Compression System Based on Pipelined Interpreters.	Softw. Pract. Exp.	1999	DBLP DOI BibTeX RDF
19	Nathan Madrid	Implementing search strategies for grammar interpreters.	ACM Southeast Regional Conference	1999	DBLP DOI BibTeX RDF
19	Michael Leuschel, Danny De Schreye	Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters.	J. Log. Program.	1998	DBLP DOI BibTeX RDF
19	John C. Reynolds	Definitional Interpreters for Higher-Order Programming Languages.	High. Order Symb. Comput.	1998	DBLP DOI BibTeX RDF
19	John C. Reynolds	Definitional Interpreters Revisited.	High. Order Symb. Comput.	1998	DBLP DOI BibTeX RDF
19	Roman Barták, Petr Stepánek	Extendible meta-interpreters.	Kybernetika	1997	DBLP BibTeX RDF
19	Dino Pedreschi, Salvatore Ruggieri	Verification of Meta-Interpreters.	J. Log. Comput.	1997	DBLP DOI BibTeX RDF
19	Kenneth C. Louden	Compilers and Interpreters.	The Computer Science and Engineering Handbook	1997	DBLP BibTeX RDF
19	David Cyrluk, John M. Rushby, Mandayam K. Srivas	Systematic Formal Verification of Interpreters.	ICFEM	1997	DBLP DOI BibTeX RDF
19	Jørgen Steensgaard-Madsen	A Generator for Composition Interpreters.	ECOOP Workshops	1997	DBLP BibTeX RDF
19	Michael Sperber, Robert Glück, Peter Thiemann 0001	Bootstrapping higher-order program transformers from interpreters.	SAC	1996	DBLP DOI BibTeX RDF	program transformation, partial evaluation, meta programming, higher-order programming
19	Michael Leuschel, Danny De Schreye	Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters.	PEPM	1995	DBLP DOI BibTeX RDF	Prolog
19	M. Anton Ertl	Stack Caching for Interpreters.	PLDI	1995	DBLP DOI BibTeX RDF	C, FORTH
19	Thomas Johnsson	Fold-Unfold Transformations on State Monadic Interpreters.	Functional Programming	1994	DBLP DOI BibTeX RDF
19	Jonathan E. Oakey	Further Advances in Real-Time Voice to Text with Steno Interpreters.	ICCHP	1994	DBLP DOI BibTeX RDF
19	Dick Holt	A beginner's guide to low-cost "real work" APL interpreters.	ACM SIGAPL APL Quote Quad	1993	DBLP DOI BibTeX RDF
19	David A. Watt	Programming language processors - compilers and interpreters.		1993	RDF
19	Phillip J. Windley	A Theory of Generic Interpreters.	CHARME	1993	DBLP DOI BibTeX RDF
19	Kamel Sadi, François Meunier	An And-Parallelism Cooperative Scheme for Full Prolog Interpreters on a Transputer-Based Architecture.	LFCS	1992	DBLP DOI BibTeX RDF
19	Dick Holt	CPCUG APL lessons now available for several interpreters.	ACM SIGAPL APL Quote Quad	1991	DBLP DOI BibTeX RDF
19	Ronald Mak	Writing compilers and interpreters - an applied approach.		1991	RDF
19	Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick	Data-driven Transformation of Meta-interpreters: A Sketch.	PDK	1991	DBLP DOI BibTeX RDF
19	Matthew W. Crocker	Multiple Interpreters in a Principle-Based Model of Sentence Processing.	EACL	1991	DBLP BibTeX RDF
19	Matthew W. Crocker	Multiple Meta-Interpreters in a Logical Model of Sentence Processing.	Natural Language Understanding and Logic Programming Workshop	1991	DBLP BibTeX RDF
19	Anne Parrain, Philippe Devienne, Patrick Lebègue	Prolog Program Transformations and Meta-Interpreters.	LOPSTR	1991	DBLP DOI BibTeX RDF
19	Shimon Schocken, Tim Finin	Meta-interpreters for rule-based inference under uncertainty.	Decis. Support Syst.	1990	DBLP DOI BibTeX RDF
19	Arun Lakhotia, Leon Sterling	How to Control Unfolding when Specializing Interpreters.	New Gener. Comput.	1990	DBLP DOI BibTeX RDF
19	John Field	On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis.	POPL	1990	DBLP DOI BibTeX RDF
19	Richard A. Frost	Constructing programs in a calculus of lazy interpreters.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
19	Vinod Kathail	Optimal interpreters for lambda-calculus based functional languages.		1990	RDF
19	Matthew M. Huntbach	Meta-interpreters and Partial Evaluation in Parlog.	Formal Aspects Comput.	1989	DBLP DOI BibTeX RDF
19	R. Frost, John Launchbury	Constructing Natural Language Interpreters in a Lazy Functional Language.	Comput. J.	1989	DBLP DOI BibTeX RDF
19	Alexander Moshe Rabinovich, Boris A. Trakhtenbrot	Nets and Data Flow Interpreters	LICS	1989	DBLP DOI BibTeX RDF
19	Frank G. Pagan	Converting Interpreters into Compilers.	Softw. Pract. Exp.	1988	DBLP DOI BibTeX RDF
19	Albert Bruffaerts, Eric Henin	Negation as Failure: Proofs, Inference Rules and Meta-Interpreters.	META	1988	DBLP BibTeX RDF
19	Stephen Owen	Issues in the Partial Evaluation of Meta-Interpreters.	META	1988	DBLP BibTeX RDF
19	Leon Sterling, Arun Lakhotia	Composing Prolog Meta-Interpreters.	ICLP/SLP	1988	DBLP BibTeX RDF