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 |
|