Search results for "interpreters"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
2	Carl Friedrich Bolz, Michael Leuschel, David Schneider	Towards a jitting VM for prolog execution.	PPDP	2010	DBLP DOI BibTeX RDF	logic programming, interpreters, partial evaluation, jit
2	Stefan Brunthaler	Efficient inline caching without dynamic translation.	SAC	2010	DBLP DOI BibTeX RDF	inline caching, type feedback, interpreter, interpreters, python, bytecode
2	Daniel A. Sadilek, Guido Wachsmuth	Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
2	Sumit Gulwani, Bill McCloskey, Ashish Tiwari	Lifting abstract interpreters to quantified logical domains.	POPL	2008	DBLP DOI BibTeX RDF	logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter
2	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
2	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
2	Alexei Lisitsa, Andrei P. Nemytykh	A Note on Specialization of Interpreters.	CSR	2007	DBLP DOI BibTeX RDF	program verification, cache coherence protocols, Program specialization, supercompilation
2	Sumit Gulwani, Ashish Tiwari	Combining abstract interpreters.	PLDI	2006	DBLP DOI BibTeX RDF	Nelson-Oppen combination, logical product, reduced product, abstract interpreter
2	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
2	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
2	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
2	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
2	Kevin Casey, David Gregg, M. Anton Ertl, Andrew Nisbet	Towards Superinstructions for Java Interpreters.	SCOPES	2003	DBLP DOI BibTeX RDF
2	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
2	David Gregg, M. Anton Ertl	A Language and Tool for Generating Efficient Virtual Machine Interpreters.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
2	Stephan Diehl, Claudia Bieg	A new approach for implementing stand-alone and Web-based interpreters for Java.	PPPJ	2003	DBLP DOI BibTeX RDF	Java, interpreter
2	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
2	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
2	M. Anton Ertl, David Gregg	The Behavior of Efficient Virtual Machine Interpreters on Modern Architectures.	Euro-Par	2001	DBLP DOI BibTeX RDF
2	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
2	Gabor Karsai	Structured Specification of Model Interpreters.	ECBS	1999	DBLP DOI BibTeX RDF	Software synthesis, model-integrated computing
2	Kim B. Bruce	Formal semantics and interpreters in a principles of programming languages course.	SIGCSE	1999	DBLP DOI BibTeX RDF
2	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 Distrib. Syst.	1997	DBLP DOI BibTeX RDF	MIMD on SIMD, variable instruction issue, scheduling instruction execution, interpretation, SIMD computers
2	Renaud Marlet, Scott Thibault, Charles Consel	Mapping Software Architectures to Efficient Implementations via Partial Evaluation. (PDF / PS)	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
2	Theodore H. Romer, Dennis Lee, 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
2	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
2	Sheng Liang, Paul Hudak, Mark P. Jones	Monad Transformers and Modular Interpreters.	POPL	1995	DBLP DOI BibTeX RDF
2	Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella	Application and user interface migration from BASIC to Visual C++. (PDF / PS)	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, graphical systems, program interpreters, program interpreters, user interface migration, BASIC, BASIC, BASIC, GUI builder, application migration, Visual C++
2	Guy L. Steele Jr.	Building Interpreters by Composing Monads.	POPL	1994	DBLP DOI BibTeX RDF
2	Arnd Poetzsch-Heffter	Developing Efficient Interpreters Based on Formal Language Specifications.	CC	1994	DBLP DOI BibTeX RDF
2	Ralf Lämmel, Günter Riedewald	Provable Correctness of Prototype Interpreters in LDL.	CC	1994	DBLP DOI BibTeX RDF
2	Chris Fickert, Thomas Sudkamp	Unification based FP interpreters.	SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	FP
2	Gustaf Neumann	A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation.	RCLP	1991	DBLP DOI BibTeX RDF
2	Richard A. Frost	Application programming as the construction of language interpreters.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
2	Henry Lieberman	Reversible Object-Oriented Interpreters.	ECOOP	1987	DBLP DOI BibTeX RDF
2	Stan Shebs, Robert R. Kessler	Automatic design and implementation of language data types.	PLDI	1987	DBLP DOI BibTeX RDF
2	Jack W. Davidson, Joseph V. Gresh	Cint: a RISC interpreter for the C programming language.	PLDI	1987	DBLP DOI BibTeX RDF	C, RISC
2	Janalee O'Bagy, Ralph E. Griswold	A recursive interpreter for the Icon programming language.	PLDI	1987	DBLP DOI BibTeX RDF	ICON
2	Jonas Barklund	Efficient interpretation of Prolog programs.	PLDI	1987	DBLP DOI BibTeX RDF	Prolog
2	Raghu Karinthi, Mark Weiser	Incremental re-execution of programs.	PLDI	1987	DBLP DOI BibTeX RDF
1	James H. Hill, Aniruddha S. Gokhale	Using Template Metaprogramming to Enhance Reuse in Visitor-Based Model Interpreters.	ECBS	2012	DBLP DOI BibTeX RDF
1	Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni	Obfuscation by partial evaluation of distorted interpreters.	PEPM	2012	DBLP DOI BibTeX RDF
1	Keiko Nakata	Resumption-based big-step and small-step interpreters for While with interactive I/O	DSL	2011	DBLP DOI BibTeX RDF
1	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
1	Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko	HMC: Verifying Functional Programs Using Abstract Interpreters.	CAV	2011	DBLP DOI BibTeX RDF
1	Stergios Papadimitriou, Constantinos Terzidis, Seferina Mavroudi, Spiridon D. Likothanassis	ScalaLab: An Effective Scala-Based Scientific Programming Environment for Java.	Computing in Science and Engineering	2011	DBLP DOI BibTeX RDF	Groovy, class loaders, Java, interpreters, Matlab, scripting, functional languages, binding, scientific programming, dynamic languages, Scala
1	Nian-Shing Chen, Leong Ko	An Online Synchronous Test for Professional Interpreters.	Educational Technology & Society	2010	DBLP BibTeX RDF
1	Julien Cohen, Jean-Louis Giavitto, Olivier Michel	Variable elimination for building interpreters	CoRR	2010	DBLP BibTeX RDF
1	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
1	Gábor Alberti, Márton Károly, Judit Kleiber	The Realis Model of Human Interpreters and Its Application in Computational Linguistics.	ICSOFT	2010	DBLP BibTeX RDF
1	Dominik Gessenharter	UML Activities at Runtime - Experiences of Using Interpreters and Running Generated Code.	ER Workshops	2010	DBLP DOI BibTeX RDF
1	Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny	Defunctionalized Interpreters for Call-by-Need Evaluation.	FLOPS	2010	DBLP DOI BibTeX RDF
1	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
1	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
1	Matthew Might	Abstract Interpreters for Free.	SAS	2010	DBLP DOI BibTeX RDF
1	Ariel Ortiz	Building server-side web language processors.	SIGCSE	2010	DBLP DOI BibTeX RDF	compilers, programming languages, interpreters, web development, web frameworks
1	David A. Patterson	Software knows best: portable parallelism requires standardized measurements of transparent hardware.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	standardized
1	Mathieu Boespflug	From Self-Interpreters to Normalization by Evaluation	CoRR	2009	DBLP BibTeX RDF
1	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
1	Gautam Shroff, Puneet Agarwal, Premkumar T. Devanbu	Instant multi-tier web applications without tears.	ISEC	2009	DBLP DOI BibTeX RDF	muli-tier development, model driven architecture, interpreters
1	Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt	Expressive scoping of distributed aspects.	AOSD	2009	DBLP DOI BibTeX RDF	aspect-oriented programming, distribution, scheme, operational semantics, scope, dynamic deployment
1	James H. Andrews, Fatima Hussain	Johar: a framework for developing accessible applications.	ASSETS	2009	DBLP DOI BibTeX RDF	accessible computing, application programs
1	Markus Voelter	Using domain specific languages for product line engineering.	SPLC	2009	DBLP DOI BibTeX RDF
1	Stefano Ferilli, Marenglen Biba, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito	Plugging Taxonomic Similarity in First-Order Logic Horn Clauses Comparison.	AI*IA	2009	DBLP DOI BibTeX RDF
1	Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon	Extensible Proof-Producing Compilation.	CC	2009	DBLP DOI BibTeX RDF
1	Christoph Rösener	A Linguistic Intelligent System for Technology Enhanced Learning in Vocational Training - The ILLU Project.	EC-TEL	2009	DBLP DOI BibTeX RDF	Natural Language Processing, Language Learning, Vocational training
1	Mireille Ducassé	(C)LP Tracing and Debugging.	ICLP	2009	DBLP DOI BibTeX RDF
1	Philipp Adler, Wolfram Amme	Type-Separated Bytecode - Its Construction and Evaluation.	RV	2009	DBLP DOI BibTeX RDF
1	Magnus O. Myreen, Michael J. C. Gordon	Verified LISP Implementations on ARM, x86 and PowerPC.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Carla Beatris Valentini, Cláudia A. Bisol, Cristiane Dalla Santa	Software Junctus: Joining Sign Language and Alphabetical Writing.	WCCE	2009	DBLP DOI BibTeX RDF	Computerized learning environment, authorship software, alphabetical writing, sign language, deafness
1	Manuel Alfonseca	Program Interpreters.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Matthias Blume, Mike Rainey, John H. Reppy	Calling variadic functions from a strongly-typed language.	ML	2008	DBLP DOI BibTeX RDF	compilers, interpreters, foreign-function interfaces
1	Theo D'Hondt	Are Bytecodes an Atavism?	S3	2008	DBLP DOI BibTeX RDF	Virtual machines, interpreters, bytecodes
1	Éric Tanter	Expressive scoping of dynamically-deployed aspects.	AOSD	2008	DBLP DOI BibTeX RDF
1	Ali Assaf, Jacques Noyé	Dynamic AspectJ.	DLS	2008	DBLP DOI BibTeX RDF	aspect scheduling, context-awareness, aspect-oriented programming, AspectJ, dynamic AOP
1	Éric Tanter	Contextual values.	DLS	2008	DBLP DOI BibTeX RDF
1	Akim Demaille, Roland Levillain, Benoît Perrot	A set of tools to teach compiler construction.	ITiCSE	2008	DBLP DOI BibTeX RDF	object oriented programming, design patterns, tools, compiler design, educational projects
1	Gregory B. Prokopski, Clark Verbrugge	Analyzing the performance of code-copying virtual machines.	OOPSLA	2008	DBLP DOI BibTeX RDF	code-copying, performance, virtual machines, dynamic analysis, compiler optimization, branch prediction
1	Patrice Godefroid, Adam Kiezun, Michael Y. Levin	Grammar-based whitebox fuzzing.	PLDI	2008	DBLP DOI BibTeX RDF	software testing, program verification, grammars, automatic test generation
1	Kah Seng Tay, Kimberle Koile	Improving digital ink interpretation through expected type prediction and dynamic dispatch.	ICPR	2008	DBLP DOI BibTeX RDF
1	Denis Caromel, Mario Leyton	A transparent non-invasive file data model for algorithmic skeletons.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Daniel Patel, Christopher Giertsen, John Thurmond, John Gjelberg, M. Eduard Gröller	The Seismic Analyzer: Interpreting and Illustrating 2D Seismic Data.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
1	Gregory B. Prokopski, Clark Verbrugge	Compiler-Guaranteed Safety in Code-Copying Virtual Machines.	CC	2008	DBLP DOI BibTeX RDF
1	Yves Bertot	Structural Abstract Interpretation: A Formal Study Using Coq.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF
1	Koen V. Hindriks, Peter Novák	Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines.	MATES	2008	DBLP DOI BibTeX RDF
1	Carl Friedrich Bolz, Adrian Kuhn, Adrian Lienhard, Nicholas D. Matsakis, Oscar Nierstrasz, Lukas Renggli, Armin Rigo, Toon Verwaest	Back to the Future in One Week - Implementing a Smalltalk VM in PyPy.	S3	2008	DBLP DOI BibTeX RDF
1	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
1	Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni	Cells in Silico: A Holistic Approach.	SFM	2008	DBLP DOI BibTeX RDF
1	Steve Barker, Michael Leuschel, Mauricio Varea	Efficient and flexible access control via Jones-optimal logic program specialisation.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Access control, Program transformation, Deductive databases, Partial evaluation, Meta-programming
1	Søren Debois	Imperative-program transformation by instrumented-interpreter specialization.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Interpretive approach, Moore automata, Program transformation, Partial evaluation, Code duplication
1	Tina Yu, Dave Wilkinson	A Co-Evolutionary Fuzzy System for Reservoir Well Logs Interpretation.	Evolutionary Computation in Practice	2008	DBLP DOI BibTeX RDF	reservoir modeling and characterization, co-operative co-evolution, well logs interpretation, fuzzy logic, genetic programming, time series
1	Mark Hills, Traian Serbanuta, Grigore Rosu	A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	U. Pattananupong, N. 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
1	David Herman, Cormac Flanagan	Status report: specifying javascript with ML.	ML	2007	DBLP DOI BibTeX RDF	definitional interpreters, JavaScript, standard ML
1	Xipeng Shen, Michael L. Scott, Chengliang Zhang, Sandhya Dwarkadas, Chen Ding, Mitsunori Ogihara	Analysis of input-dependent program behavior using active profiling.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	active profiling, program phase analysis and prediction, memory management, dynamic optimization
1	Mark Hills, 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
1	Mathew Zaleski, Angela Demke Brown, Kevin Stoodley	YETI: a graduallY extensible trace interpreter.	VEE	2007	DBLP DOI BibTeX RDF	interpreter, trace, JIT compiler, mixed-mode
1	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