Search results for "Interpreters"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	M. Anton Ertl, David Gregg	The Behavior of Efficient Virtual Machine Interpreters on Modern Architectures.	Euro-Par	2001	DBLP DOI BibTeX RDF
86	Theodore H. Romer, Dennis Lee 0001, Geoffrey M. Voelker, Alec Wolman, Wayne A. Wong, Jean-Loup Baer, Brian N. Bershad, Henry M. Levy	The Structure and Performance of Interpreters.	ASPLOS	1996	DBLP DOI BibTeX RDF	Java, Tcl
83	Robert Glück, Youhei Kawada, Takuya Hashimoto	Transforming interpreters into inverse interpreters by partial evaluation.	PEPM	2003	DBLP DOI BibTeX RDF	binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application
64	Kevin Casey, M. Anton Ertl, David Gregg	Optimizing indirect branch prediction accuracy in virtual machine interpreters.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	code replication, superinstruction, Interpreter, branch prediction, branch target buffer
64	M. Anton Ertl, David Gregg	Optimizing indirect branch prediction accuracy in virtual machine interpreters.	PLDI	2003	DBLP DOI BibTeX RDF	code replication, superinstruction, interpreter, branch prediction, branch target buffer
64	Guy L. Steele Jr.	Building Interpreters by Composing Monads.	POPL	1994	DBLP DOI BibTeX RDF
64	Henry Lieberman	Reversible Object-Oriented Interpreters.	ECOOP	1987	DBLP DOI BibTeX RDF
64	Jack W. Davidson, Joseph V. Gresh	Cint: a RISC interpreter for the C programming language.	PLDI	1987	DBLP DOI BibTeX RDF	C, RISC
60	Michael Bebenita, Andreas Gal, Michael Franz	Implementing fast JVM interpreters using Java itself.	PPPJ	2007	DBLP DOI BibTeX RDF	interpreter design, metacircular/self-interpreters, minimal trusted computing base, Java virtual machine
53	Sumit Gulwani, Ashish Tiwari 0001	Combining abstract interpreters.	PLDI	2006	DBLP DOI BibTeX RDF	Nelson-Oppen combination, logical product, reduced product, abstract interpreter
53	Luciano Baresi, Mauro Pezzè	Formal interpreters for diagram notations.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	Semi-formal notations, semantics, graph transformation, high-level Petri nets
53	Stephan Diehl 0001, Claudia Bieg	A new approach for implementing stand-alone and Web-based interpreters for Java.	PPPJ	2003	DBLP BibTeX RDF	Java, interpreter
52	Dominic Duggan	A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages.	ECOOP	2000	DBLP DOI BibTeX RDF	Domain-specific programming languages, modular interpreters, mixin-based inheritance, Java, monads
48	Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra	MULTIGRAPH: an architecture for model-integrated computing.	ICECCS	1995	DBLP DOI BibTeX RDF	Multigraph Architecture, complex embedded systems, meta-level architecture, domain specific model integrated program synthesis environments, application specific model interpreters, executable programs synthesis, real-time systems, programming environments, computer architecture, program interpreters, model-integrated computing, integrated modeling, MULTIGRAPH, model analysis
45	Brian Davis, John Waldron	A survey of optimisations for the Java Virtual Machine.	PPPJ	2003	DBLP DOI BibTeX RDF
41	Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001	Lifting abstract interpreters to quantified logical domains.	POPL	2008	DBLP DOI BibTeX RDF	logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter
41	Alexei Lisitsa 0001, Andrei P. Nemytykh	A Note on Specialization of Interpreters.	CSR	2007	DBLP DOI BibTeX RDF	program verification, cache coherence protocols, Program specialization, supercompilation
41	Marc Berndl, Benjamin Vitale, Mathew Zaleski, Angela Demke Brown	Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters.	CGO	2005	DBLP DOI BibTeX RDF
41	Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof	Specialising Interpreters Using Offline Partial Deduction.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
41	David Gregg, M. Anton Ertl	A Language and Tool for Generating Efficient Virtual Machine Interpreters.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
41	Alan M. Durham, Edson Sussumu, Arlindo Flávio da Conceição	A framework for building language interpreters.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	paradigm learning, programming language interpreter
41	Kevin Casey, David Gregg, M. Anton Ertl, Andrew Nisbet	Towards Superinstructions for Java Interpreters.	SCOPES	2003	DBLP DOI BibTeX RDF
41	Ralf Lämmel, Günter Riedewald	Provable Correctness of Prototype Interpreters in LDL.	CC	1994	DBLP DOI BibTeX RDF
41	Arnd Poetzsch-Heffter	Developing Efficient Interpreters Based on Formal Language Specifications.	CC	1994	DBLP DOI BibTeX RDF
38	Florent Marchand de Kerchove	Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript. (Extending interpreters by diverting, or how to extend interpreters without modifying their source code).		2016	RDF
38	Gregory T. Sullivan, Derek Bruening, Iris Baron, Timothy Garnett, Saman P. Amarasinghe	Dynamic native optimization of interpreters.	IVME	2003	DBLP DOI BibTeX RDF
38	Mario Latendresse, Marc Feeley	Generation of fast interpreters for Huffman compressed bytecode.	IVME	2003	DBLP DOI BibTeX RDF
38	Emir Pasalic, Walid Taha, Tim Sheard	Tagless staged interpreters for typed languages.	ICFP	2002	DBLP DOI BibTeX RDF	calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming
37	Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella	Application and user interface migration from BASIC to Visual C++.	ICSM	1995	DBLP DOI BibTeX RDF	BASIC PC legacy code reengineering, automatic migration, BASIC character oriented user interface, event driven C code compilation, event driven C++ code compilation, abstract graphical objects, call-backs, code translation, graphical user interfaces, software maintenance, software maintenance, visual languages, visual languages, translator, program compilers, program compilers, object-oriented languages, object-oriented languages, systems re-engineering, systems re-engineering, C language, C language, program interpreters, program interpreters, graphical systems, user interface migration, BASIC, BASIC, BASIC, GUI builder, application migration, Visual C++
33	Philipp Adler, Wolfram Amme	Type-Separated Bytecode - Its Construction and Evaluation.	RV	2009	DBLP DOI BibTeX RDF
33	Kazunori Ogata, Hideaki Komatsu, Toshio Nakatani	Bytecode fetch optimization for a Java interpreter.	ASPLOS	2002	DBLP DOI BibTeX RDF	pipelined interpreter, stack caching, Java, performance, superscalar processor, PowerPC, bytecode interpreter
33	Ian Piumarta, Fabio Riccardi	Optimizing Direct-threaded Code by Selective Inlining.	PLDI	1998	DBLP DOI BibTeX RDF	threaded code, just-in-time compilation, inlining, dynamic translation, bytecode interpretation
30	Olivier Danvy	Defunctionalized interpreters for programming languages.	ICFP	2008	DBLP DOI BibTeX RDF	big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
30	Daniel A. Sadilek, Guido Wachsmuth	Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
30	Gabor Karsai	Structured Specification of Model Interpreters.	ECBS	1999	DBLP DOI BibTeX RDF	Software synthesis, model-integrated computing
30	Kim B. Bruce	Formal semantics and interpreters in a principles of programming languages course.	SIGCSE	1999	DBLP DOI BibTeX RDF
30	Nael B. Abu-Ghazaleh, Philip A. Wilsey, Xianzhi Fan, Debra A. Hensgen	Synthesizing Variable Instruction Issue Interpreters for Implementing Functional Parallelism on SIMD Computers.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	MIMD on SIMD, variable instruction issue, scheduling instruction execution, interpretation, SIMD computers
30	Sheng Liang, Paul Hudak, Mark P. Jones	Monad Transformers and Modular Interpreters.	POPL	1995	DBLP DOI BibTeX RDF
30	Chris Fickert, Thomas A. Sudkamp	Unification based FP interpreters.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	FP
30	Gustaf Neumann	A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation.	RCLP	1991	DBLP DOI BibTeX RDF
30	Richard A. Frost	Application programming as the construction of language interpreters.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
30	Janalee O'Bagy, Ralph E. Griswold	A recursive interpreter for the Icon programming language.	PLDI	1987	DBLP DOI BibTeX RDF	ICON
30	Stan Shebs, Robert R. Kessler	Automatic design and implementation of language data types.	PLDI	1987	DBLP DOI BibTeX RDF
30	Raghu Karinthi, Mark D. Weiser	Incremental re-execution of programs.	PLDI	1987	DBLP DOI BibTeX RDF
30	Jonas Barklund	Efficient interpretation of Prolog programs.	PLDI	1987	DBLP DOI BibTeX RDF	Prolog
30	Stefan Brunthaler 0001	Efficient inline caching without dynamic translation.	SAC	2010	DBLP DOI BibTeX RDF	inline caching, type feedback, interpreter, interpreters, python, bytecode
30	Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001	Towards a jitting VM for prolog execution.	PPDP	2010	DBLP DOI BibTeX RDF	logic programming, interpreters, partial evaluation, jit
30	Renaud Marlet, Scott Thibault, Charles Consel	Mapping Software Architectures to Efficient Implementations via Partial Evaluation.	ASE	1997	DBLP DOI BibTeX RDF	code size overhead, inefficiency, flexible mechanisms, generic libraries, software engineering, software engineering, software architectures, pattern matching, interpreters, generic programs, partial evaluation, layers, program specialization, selective broadcast
30	Claudia Di Napoli, Maurizio Giordano, Mario Mango Furnari	A Paralation Model Implementation Based on a Concurrent Lisp Interpreter Community.	PDP	1996	DBLP DOI BibTeX RDF	Paralation model implementation, concurrent Lisp interpreter community, symbolic applications, user friendly parallel symbolic programming environment, distributed memory parallel systems, DMPS, Paralation model, LISP implementation, PARALATION LISP, simple semantics, Paralation model parallel constructs, LAN interconnected workstations, general purpose parallel computational resource, parallel programming, software tools, programming environments, LISP, distributed memory systems, parallel languages, Parallel Virtual Machine, program interpreters, LAN interconnection
22	James H. Andrews, Fatima Hussain	Johar: a framework for developing accessible applications.	ASSETS	2009	DBLP DOI BibTeX RDF	accessible computing, application programs
22	Marco Comini, Ferruccio Damiani, Samuel Vrech	On Polymorphic Recursion, Type Systems, and Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF	Type Inference Algorithm, Principal Typing
22	Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han	Goal-directed weakening of abstract interpretation results.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis
22	Mark Hills 0001, Grigore Rosu	A rewriting approach to the design and evolution of object-oriented languages.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	object-oriented languages, language design, formal analysis, rewriting logic, language semantics
22	Jing Zhang 0003	Metamodel-driven model interpreter evolution.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	interpreter evolution, model transformation, domain-specific modeling
22	Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer	The OO jDREW Reference Implementation of RuleML.	RuleML	2005	DBLP DOI BibTeX RDF
22	Søren Debois	Imperative program optimization by partial evaluation.	PEPM	2004	DBLP DOI BibTeX RDF	loop-invariant code motion, bisimulation, strength reduction, code duplication
22	Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini	Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication.	DALT	2003	DBLP DOI BibTeX RDF
22	Etienne Gagnon, Laurie J. Hendren	Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences.	CC	2003	DBLP DOI BibTeX RDF
22	Mads Sig Ager, Olivier Danvy, Mayer Goldberg	A Symmetric Approach to Compilation and Decompilation.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
22	Michael Codish, Harald Søndergaard	Meta-circular Abstract Interpretation in Prolog.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
22	David Gregg, M. Anton Ertl, Andreas Krall	Implementing an Efficient Java Interpreter.	HPCN	2001	DBLP DOI BibTeX RDF
22	Tilman P. Otto	Embedding a Tcl web server into APL.	APL	2001	DBLP DOI BibTeX RDF	APL, Tcl
22	Paul Tarau	Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects.	Computational Logic	2000	DBLP DOI BibTeX RDF	logic programming language design and implementation, interoperation of declarative and stateful languages, meta- programming and reflection
22	Sergei M. Abramov, Robert Glück	Combining Semantics with Non-standard Interpreter Hierarchies.	FSTTCS	2000	DBLP DOI BibTeX RDF
22	Conal Elliott, Sigbjørn Finne, Oege de Moor	Compiling Embedded Languages.	SAIG	2000	DBLP DOI BibTeX RDF
22	W. Neville Holmes	Simplifying array processing languages.	APL	1998	DBLP DOI BibTeX RDF
22	Hubertus Franke, Janos Sztipanovits, Gabor Karsai	Model-Integrated Programming.	HICSS (1)	1997	DBLP DOI BibTeX RDF
22	Janos Sztipanovits, Gabor Karsai, Hubertus Franke	Model-Integrated Program Synthesis Environment.	ECBS	1996	DBLP DOI BibTeX RDF	program synthesis, model-based systems, domain-specific software architecture
22	W. Neville Holmes, Colin Hallam	The Philosophy of Nothing and Everything.	APL	1995	DBLP DOI BibTeX RDF	indeterminate, APL, comparison, floating point, arithmetic, tolerance, zero, J, infinity
22	Günter Riedewald	The LDL - Language Development Laboratory.	CC	1992	DBLP DOI BibTeX RDF
22	David Roach, Hal Berghel, John R. Talburt	An interactive source commenter for Prolog programs.	SIGDOC	1990	DBLP DOI BibTeX RDF	Prolog
22	Thom W. Frühwirth	Polymorphic Type Checking with Subtypes in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF	Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification
22	Christoph M. Hoffmann, Michael J. O'Donnell	Interpreter Generation Using Tree Pattern Matching.	POPL	1979	DBLP DOI BibTeX RDF
19	Sebastian Graf 0004, Simon Peyton Jones, Sven Keidel	Abstracting Denotational Interpreters.	CoRR	2024	DBLP DOI BibTeX RDF
19	Bhishma Dedhia, Niraj K. Jha	Neural Slot Interpreters: Grounding Object Semantics in Emergent Slot Representations.	CoRR	2024	DBLP DOI BibTeX RDF
19	Octave Larose, Sophie Kaleba, Humphrey Burchell, Stefan Marr	AST vs. Bytecode: Interpreters in the Age of Meta-Compilation.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
19	Sven Keidel, Sebastian Erdweg, Tobias Hombücher	Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
19	Di Liu, Yang Feng 0003, Yanyan Yan, Baowen Xu	Towards understanding bugs in Python interpreters.	Empir. Softw. Eng.	2023	DBLP DOI BibTeX RDF
19	Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt	Deriving Abstract Interpreters from Skeletal Semantics.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
19	Zhen Li, Ruqian Zhang, Deqing Zou, Ning Wang, Yating Li, Shouhuai Xu, Chen Chen 0001, Hai Jin 0001	Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers.	CoRR	2023	DBLP DOI BibTeX RDF
19	Walter Cazzola, Luca Favalli	The language mutation problem: Leveraging language product lines for mutation testing of interpreters.	J. Syst. Softw.	2023	DBLP DOI BibTeX RDF
19	Hang Xi, Sakriani Sakti	Exploring Difficulties Encountered by Professional Interpreters in Japanese-to-English and English-to-Japanese Simultaneous Translation.	O-COCOSDA	2023	DBLP DOI BibTeX RDF
19	Wanhong Huang 0001, Stefan Marr, Tomoharu Ugawa	Optimizing the Order of Bytecode Handlers in Interpreters using a Genetic Algorithm.	SAC	2023	DBLP DOI BibTeX RDF
19	Casper Bach Poulsen	Renamingless Capture-Avoiding Substitution for Definitional Interpreters.	Eelco Visser Commemorative Symposium	2023	DBLP DOI BibTeX RDF
19	Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen	Modular Abstract Definitional Interpreters for WebAssembly.	ECOOP	2023	DBLP DOI BibTeX RDF
19	Matteo Basso, Daniele Bonetta, Walter Binder	Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance.	GPCE	2023	DBLP DOI BibTeX RDF
19	Audrey Desjardins, Jena McWhirter, Justin Petelka, Simon Chandler, Yuna Shin, Ruby K. Peven, Philbert Widjaja	On the Making of Alternative Data Encounters: The Odd Interpreters.	CHI	2023	DBLP DOI BibTeX RDF
19	Yutao Hu, Suyuan Wang, Wenke Li, Junru Peng, Yueming Wu, Deqing Zou, Hai Jin 0001	Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?	ISSTA	2023	DBLP DOI BibTeX RDF
19	Juan Julián Merelo Guervós, Mario García-Valdez, Pedro A. Castillo	An Analysis of Energy Consumption of JavaScript Interpreters with Evolutionary Algorithm Workloads.	ICSOFT	2023	DBLP DOI BibTeX RDF
19	Zhen Li, Ruqian Zhang, Deqing Zou, Ning Wang, Yating Li, Shouhuai Xu, Chen Chen 0001, Hai Jin 0001	Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers.	ASE	2023	DBLP DOI BibTeX RDF
19	Yudai Hirose, Satoshi Ono	Black-box Adversarial Attack against Visual Interpreters for Deep Neural Networks.	MVA	2023	DBLP DOI BibTeX RDF
19	Irene Yoon 0001, Yannick Zakowski, Steve Zdancewic	Formal reasoning about layered monadic interpreters.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
19	Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses	Intrinsically-typed definitional interpreters à la carte.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
19	Ziyuan Wang, Dexin Bu, Aiyue Sun, Shanyi Gou, Yong Wang 0008, Lin Chen 0015	An Empirical Study on Bugs in Python Interpreters.	IEEE Trans. Reliab.	2022	DBLP DOI BibTeX RDF
19	Shangwei Guo, Siyuan Geng, Tao Xiang 0001, Hangcheng Liu, Ruitao Hou	ELAA: An efficient local adversarial attack using model interpreters.	Int. J. Intell. Syst.	2022	DBLP DOI BibTeX RDF
19	Matthew Sotoudeh	System-Specific Interpreters Make Megasystems Friendlier.	CoRR	2022	DBLP DOI BibTeX RDF
19	Guillermo Polito, Nahuel Palumbo, Soufyane Labsari, Stéphane Ducasse, Pablo Tesone	Interpreter Register Autolocalisation: Improving the Performance of Efficient Interpreters.	Programming	2022	DBLP DOI BibTeX RDF
19	Ming Fan 0002, Jiali Wei, Wuxia Jin, Zhou Xu 0003, Wenying Wei, Ting Liu 0002	One step further: evaluating interpreters using metamorphic testing.	ISSTA	2022	DBLP DOI BibTeX RDF
19	Fu Chia Yang, Christos Mousas, Nicoletta Adamo	Holographic Sign Language Interpreters.	SIGGRAPH Educator's Forum	2022	DBLP DOI BibTeX RDF
19	Yan Fan, Chengyu Wang 0001, Peng He, Yunhua Hu	Building Multi-turn Query Interpreters for E-commercial Chatbots with Sparse-to-dense Attentive Modeling.	WSDM	2022	DBLP DOI BibTeX RDF