Search results for "Interpreter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	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
25	Werner Brockmann, Thomas Kosch, Erik Maehle	Rule-Based Routing in Massively Parallel Systems.	PDP	1996	DBLP DOI BibTeX RDF	rule-based routing, rule-based specification, fixed rule-interpreter, interchangeable rule-base, universal routing chip, state-of-the-art VLSI-technologies, single-chip ASIC, parallel algorithms, interconnection network, knowledge based systems, multiprocessor interconnection networks, routing algorithms, network routing, massively parallel systems
25	Vamsi Krishna, Abdel Ejnioui, N. Ranganathan	A tree matching chip.	VLSI Design	1996	DBLP DOI BibTeX RDF	tree matching chip, online interpreter systems, linear systolic array algorithms, fixed size linear array, Cadence design tools, parallel algorithms, VLSI, compilers, object recognition, image recognition, systolic arrays, digital signal processing chips, code optimization, 3D object recognition, vision systems, systolic architecture
25	Hideki Koike, Manuba Aida	A Bottom-Up Approach for Visualizing Program Behavior.	VL	1995	DBLP DOI BibTeX RDF	program behavior visualisation, program execution visualisation, concrete pictures, abstract picture, local pictures, local drawing rules, scaling mechanism, conceptual program structure, Scheme interpreter, visual programming, visual languages, program understanding, data visualisation, system monitoring, program interpreters, bottom-up approach
25	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control
25	Gerald M. Karam, Raymond J. A. Buhr	Starvation and Critical Race Analyzers for Ada.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
25	Anne F. Brindle, Richard N. Taylor, David F. Martin	A Debugger for Ada Tasking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking
25	Brent Hailpern, Tien Huynh, György E. Révész	Comparing Two Functional Programming Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	functional programming systems, graph reduction interpreter, DEL-style intermediate instruction set architecture, performance evaluation, benchmarks, functional programming, lambda calculus, functional languages, high level languages, execution times, performance comparison, FP, evaluation strategies, implementation language
25	Donald A. Varvel, Leonard D. Shapiro	The Computational Completeness of Extended Database Query Languages.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	computational completeness, extended database query languages, POSTGRES, GENESIS, Turing machine interpreter, traditional database languages, programming language, database management systems, query languages, computational power
25	Stefano Ceri, Georg Gottlob, Gio Wiederhold	Efficient Database Access from Prolog.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Prolog interpreter, memory-resident database, Prolog facts, subsumption rests, logic programming, relational database, relational databases, Prolog, pattern matching, program interpreters, secondary storage
25	Gene Fisher	An Overview of a Graphical Multilanguage Applications Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	graphical multilanguage applications environment, Pascal-class languages, multilanguage interpreter, interactive development, graphical program interface, software control panel, graphical design tool, executable block diagrams, user interfaces, user interfaces, software tools, software tools, programming environment, programming environments, program debugging, program debugging, program interpreters, engineering graphics, engineering graphics, program execution, engineering applications
25	Mark Kahrs	Implementation of an Interactive Programming System.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	Interactive programming systems, Tree factored interpreter, Incremental compilation
25	Charles E. Donaghey	CELLSIM: A digital simulation language for cell kinetic modelling.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Cell kinetics, Chemotherapy, Tumor, Simulation, Interpreter, Monte-Carlo, Computer languages
24	Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte	XML-based DEVS modeling and interpretation.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVSJAVA, XLSC, XML, reusability, DEVS
24	Yves Bertot	Structural Abstract Interpretation: A Formal Study Using Coq.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF
24	David A. Schmidt	State-transition machines for lambda-calculus expressions.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine
24	Benoît Fraikin, Marc Frappier	Efficient Symbolic Execution of Large Quantifications in a Process Algebra.	ICFEM	2007	DBLP DOI BibTeX RDF
24	Jouko Kokko, Erkki Kemppainen, Aulikki Rautavaara	Technology and Regional Social Structures: Evaluation of Remote Sign Language Interpretation in Finland.	HCI (5)	2007	DBLP DOI BibTeX RDF	Interpretation service, hard of hearing people, Disability, ICT
24	Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer	From Interpretation to Compilation.	CEFP	2007	DBLP DOI BibTeX RDF
24	Barnaby Fisher, James Cussens	Inductive Mercury Programming.	ILP	2006	DBLP DOI BibTeX RDF
24	Daniel A. Ashlock, Stephen P. Gent, Kenneth Mark Bryden	Evolution of L-systems for compact virtual landscape generation.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
24	Hyosook Jung, Seongbin Park	Context Awareness for Music Information Retrieval Using JXTA Technology.	OTM Workshops	2005	DBLP DOI BibTeX RDF
24	Andrew Moss, Henk L. Muller	Efficient Code Generation for a Domain Specific Language.	GPCE	2005	DBLP DOI BibTeX RDF
24	Hak-Keung Lam, Frank H. F. Leung	Digit and command interpretation for electronic book using neural network and genetic algorithm.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
24	Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua	a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines.	PPPJ	2004	DBLP DOI BibTeX RDF	J2ME/CLDC, selective dynamic compilation, threaded interpretation, Java, performance, embedded systems, virtual machine, acceleration, code reuse, KVM
24	M. Anton Ertl, David Gregg	Retargeting JIT Compilers by using C-Compiler Generated Executable Code.	IEEE PACT	2004	DBLP DOI BibTeX RDF
24	Norman Ramsey, Cristina Cifuentes	A transformational approach to binary translation of delayed branches.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	program transformation, program analysis, Binary translation
24	Gábor Alberti, Helga M. Szabó	Discourse-Semantic Analysis of Hungarian Sign Language.	TSD	2002	DBLP DOI BibTeX RDF
24	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
24	Rodrigo Machado, Rafael H. Bordini	Running AgentSpeak(L) Agents on SIM_AGENT.	ATAL	2001	DBLP DOI BibTeX RDF
24	Daniel Mange, Eduardo Sanchez, André Stauffer, Gianluca Tempesti, Pierre Marchal, Christian Piguet	Embryonics: a new methodology for designing field-programmable gate arrays with self-repair and self-replicating properties.	IEEE Trans. Very Large Scale Integr. Syst.	1998	DBLP DOI BibTeX RDF
24	William L. Harrison, Samuel N. Kamin	Modular Compilers Based on Monad Transformers.	ICCL	1998	DBLP DOI BibTeX RDF	Semantics-Based Compilation, Pass Separation, Compilers, Partial Evaluation, Monads, Programming Language Semantics, Monad Transformers
24	Wim Vanhoof, Bern Martens	To Parse or Not To Parse.	LOPSTR	1997	DBLP DOI BibTeX RDF
24	Hermano P. Moura	An Implementation of Action Semantics (Summaray).	PLILP	1992	DBLP DOI BibTeX RDF
24	Suresh Jagannathan, Gul Agha	A Reflective Model of Inheritance.	ECOOP	1992	DBLP DOI BibTeX RDF
24	Fosca Giannotti, Manuel V. Hermenegildo	A Technique for Recursive Invariance Detection and Selective Program Specification.	PLILP	1991	DBLP DOI BibTeX RDF	Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
24	Kevin C. Schott	A Dual-Algorithm Performance Monitoring System (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
24	Kemal Koymen	A Datalog Interface for SQL (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	SQL, Datalog
24	Afke van Rijn	A Natural Language Interface for a Flexible Assembly Cell.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
24	Stephen Morrisson, Marion Kee, Kenneth Goodman	Analysis.	Mach. Transl.	1989	DBLP DOI BibTeX RDF	f-structure, lexical mapping rule, structural mapping rule, universal parsing
24	Clinton R. Foulk	Teaching assembly language on the Macintosh (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Macintosh
24	James R. Cordy, T. C. Nicholas Graham	Design of an interpretive environment for Turing.	PLDI	1987	DBLP DOI BibTeX RDF	TURING
24	Jonas Barklund	Efficient interpretation of Prolog programs.	PLDI	1987	DBLP DOI BibTeX RDF	Prolog
24	Manfred Jackel	ADA Concurrency Specified by Graph Grammars.	WG	1986	DBLP DOI BibTeX RDF
24	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
24	Anders Haraldsson	A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp.	POPL	1978	DBLP DOI BibTeX RDF
24		XQuery Interpreter.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
24	Tomas Trescak, Inmaculada Rodríguez, Marc Esteva	General Shape Grammar Interpreter for Intelligent Designs Generations.	CGIV	2009	DBLP DOI BibTeX RDF
24	Gautam Shroff, Puneet Agarwal, Premkumar T. Devanbu	InstantApps: A WYSIWYG model driven interpreter for web applications.	ICSE Companion	2009	DBLP DOI BibTeX RDF
24	Jonathan Cooper, Steve McKeever	Experience report: a Haskell interpreter for cellML.	ICFP	2007	DBLP DOI BibTeX RDF	cellML, haskell
24	Timothy V. Fossum	Classes as first class objects in an environment-passing interpreter.	ITiCSE	2005	DBLP DOI BibTeX RDF	first-class, programming languages, classes, properties
24	Sara Miner More, Tim Pevzner, Alin Deutsch, Scott B. Baden, Paul Kube	Building an XQuery interpreter in a compiler construction course.	SIGCSE	2005	DBLP DOI BibTeX RDF	XML, XQuery, compiler construction, capstone courses
24	Sumihiro Kawano, Takao Kurokawa	Facial and Head Movements of a Sign Interpreter and Their Application to Japanese Sign Animation.	ICCHP	2004	DBLP DOI BibTeX RDF
24	Martin C. Carlisle, Keith Shomper	ROBOT interpreter.	ACM J. Educ. Resour. Comput.	2002	DBLP DOI BibTeX RDF	Ada, robots, Lego Mindstorms
24	Harald J. Zainzinger	Testing Embedded Systems by Using a C++ Script Interpreter.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF
24	Oliver Diessel, Usama Malik	An FPGA Interpreter with Virtual Hardware Management.	IPDPS	2002	DBLP DOI BibTeX RDF
24	Sergei M. Abramov, Robert Glück	Combining Semantics with Non-standard Interpreter Hierarchies.	FSTTCS	2000	DBLP DOI BibTeX RDF
24	Todd A. Proebsting	Optimizing an ANSI C Interpreter with Superoperators.	POPL	1995	DBLP DOI BibTeX RDF	C
24	Shie-Jue Lee, Chih-Hung Wu	Building an Expert System Language Interpreter with the Rule Network Technique.	ISMIS	1993	DBLP DOI BibTeX RDF
24	Burt M. Leavenworth	Proxy: an interpreter for rapid prototyping.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
24	Shaun Futch, David N. Chin, Matthew McGranaghan, Jinn-Guey Lay	Spatial-Linguistic Reasoning in LEI (Locality and Elevation Interpreter).	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
24	Alessandro Berarducci, Corrado Böhm	A Self-Interpreter of Lambda Calculus Having a Normal Form.	CSL	1992	DBLP DOI BibTeX RDF
24	Yves Bertot	Implementation of an Interpreter for a Parallel Language in Centaur.	ESOP	1990	DBLP DOI BibTeX RDF
24	Leone Dunn, Maria E. Orlowska	A Natural Language Interpreter for Construction of Conceptual Schemas.	CAiSE	1990	DBLP DOI BibTeX RDF
24	Derek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers	The Formal Definition of Modula-2 and Its Associated Interpreter.	VDM Europe	1988	DBLP DOI BibTeX RDF
24	R. Beckmann, Kay-Ulrich Felgentreu	The Impact of the LCC-Optimization on the Performance of a Static Scope LISP Interpreter.	SIGSMALL/PC	1988	DBLP DOI BibTeX RDF	LISP
24	David Notkin, William G. Griswold	Enhancement through extension: the extension interpreter.	PLDI	1987	DBLP DOI BibTeX RDF
24	Alfons Geser, Heinrich Hußmann	Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution.	ESOP	1986	DBLP DOI BibTeX RDF
24	José Carlos Ferreira Maia Neves	A logic interpreter to handle time and negation in logic data bases.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF	Logic data base, Open world, Prolog, Query-by-example, Time stamping, Assumption, Negative information
24	Thomas R. Addis	A Relation-Based Language Interpreter for Content Addressable File Store.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	content addressing
24	James D. Mooney	The VALI (Variable Language Interpreter).	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
17	Stefan Brunthaler 0001	Efficient inline caching without dynamic translation.	SAC	2010	DBLP DOI BibTeX RDF	inline caching, type feedback, interpreter, interpreters, python, bytecode
17	Jiafu Xu, Fangmin Song	Quantum programming languages: A tentative study.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	quantum programming languages, language paradigm, imperative programming language, declarative programming language, lexical analyzer, syntactic analyzer, interpreter, assembler
17	Jiafu Xu, Fanming Song	Quantum programming languages.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	quantum programming language, imperative paradigm, declarative paradigm, lexical analyzer, syntactic analyzer, primitive function, combining form, compilation, interpreter, code transformer
17	Ben Stephenson, Wade Holst	A technique for utilizing optimization potential during multicode identification.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	Java, optimization, virtual machine, interpreter, bytecode
17	Ben Stephenson, Wade Holst	Advancements in multicode optimization.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	java, optimization, virtual machine, interpreter, bytecode
17	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
17	Francisco Ortín Soler, Juan Manuel Cueva Lovelle	Implementing a real computational-environment jump in order to develop a runtime-adaptable reflective platform.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	generic interpreter, aspect-oriented programming, reflection, runtime adaptability, meta-object protocol
17	Jean-Philippe Valois, Myriam Côté, Mohamed Cheriet	Online Recognition of Sketched Electrical Diagrams.	ICDAR	2001	DBLP DOI BibTeX RDF	hand-drawn, recognition, sketching, interpreter, structural, diagrams, on-line, pen, electrical, beautification, ink
17	Jason I. Hong, James A. Landay	SATIN: a toolkit for informal ink-based applications.	UIST	2000	DBLP DOI BibTeX RDF	SATIN, recognizer, gesture, recognition, sketching, interpreter, informal, toolkits, pen, ink
17	Robert Bernecky	The Role of Dynamic Programming & Control Structures in Performance.	APL	1995	DBLP DOI BibTeX RDF	flow control structures, interpreter overhead, optimization, performance, APL, APL, dynamic programming, J, puzzles, control structures
17	D. Peter Sanderson, Ravi Sharma, Roman Rozin, Siegfried Treu	The Hierarchical Simulation Language HSL: A Versatile Tool for Process-Oriented Simulation.	ACM Trans. Model. Comput. Simul.	1991	DBLP DOI BibTeX RDF	HSL, simulation programming language, C++, modularity, process, hierarchy, interpreter, inheritance
17	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
17	Karl J. Ottenstein, Linda M. Ottenstein	The Program Dependence Graph in a Software Development Environment.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	Internal program representation, Debugging, Interpreter, Program slice, Data flow, Control flow, Code optimization, Software complexity metrics
17	Harold Hoehne, Robert Piloty	Design Verification at the Register Transfer Language Level.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Compiler-interpreter system, computer description language, hardware design automation, register transfer language (RTL), simulation, error detection, design verification
17	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
16	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
16	Michiaki Tatsubori, Akihiko Tozawa, Toyotaro Suzumura, Scott Trent, Tamiya Onodera	Evaluation of a just-in-time compiler retrofitted for PHP.	VEE	2010	DBLP DOI BibTeX RDF	dynamic scripting languages, just-in-time compiler, php
16	Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson 0001	Agile specifications.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	specification statement, formal methods, test-driven development, agile methods, refinement calculus
16	Yosi Ben-Asher, Nadav Rotem	The effect of unrolling and inlining for Python bytecode optimizations.	SYSTOR	2009	DBLP DOI BibTeX RDF	optimizations, Python, bytecode, dynamic languages
16	Marzio Sala, William F. Spotz, Michael A. Heroux	PyTrilinos: High-performance distributed-memory solvers for Python.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	multilevel preconditioners, nonlinear solvers, Object-oriented programming, script languages, direct solvers
16	Johannes Henkel, Christoph Reichenbach, Amer Diwan	Developing and debugging algebraic specifications for Java classes.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Algebraic interpretation, specification discovery, algebraic specifications
16	Boris Feigin, Alan Mycroft	Jones optimality and hardware virtualization: a report on work in progress.	PEPM	2008	DBLP DOI BibTeX RDF	Jones optimality, virtual machines, virtualization, full abstraction
16	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
16	Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci	The architecture and design of a malleable object-oriented prolog engine.	SAC	2008	DBLP DOI BibTeX RDF	prolog, finite state machine, object-oriented design
16	Anne Marie Piper, James D. Hollan	Supporting medical conversations between deaf and hearing individuals with tabletop displays.	CSCW	2008	DBLP DOI BibTeX RDF	computer-supported cooperative health care, speech recognition, assistive technology, multimodal interfaces, deafness, multitouch, tabletop groupware
16	Kah Seng Tay, Kimberle Koile	Improving digital ink interpretation through expected type prediction and dynamic dispatch.	ICPR	2008	DBLP DOI BibTeX RDF
16	Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte	An XML-based language for DEVS components.	WSC	2008	DBLP DOI BibTeX RDF
16	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
16	Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Ou Wei, Aarti Gupta	SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.	SAS	2008	DBLP DOI BibTeX RDF