Search results for "Interpreter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Theo D'Hondt	Are Bytecodes an Atavism?	S3	2008	DBLP DOI BibTeX RDF	Virtual machines, interpreters, bytecodes
16	Gary Wassermann, Zhendong Su 0001	Static detection of cross-site scripting vulnerabilities.	ICSE	2008	DBLP DOI BibTeX RDF	static analysis, web applications, cross-site scripting, input validation
16	Pedro de Almeida	Generating APL printouts with a2ps: (any to PostScript).	ACM SIGAPL APL Quote Quad	2007	DBLP DOI BibTeX RDF
16	Anderson Faustino da Silva, Vítor Santos Costa	Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System.	ICLP	2007	DBLP DOI BibTeX RDF
16	Martin Ruckert	Teaching compiler construction and language design: making the case for unusual compiler projects with postscript as the target language.	SIGCSE	2007	DBLP DOI BibTeX RDF	design of programming languages, compiler construction, postscript, lex, Yacc
16	Steven L. Tanimoto, Nathan Evans, Adam Carlson	Sequential Input Graphical Model Assessment Diagrams for Analysis of Student Activity Data.	ICALT	2007	DBLP DOI BibTeX RDF
16	Rodrigo Mantovaneli Pessoa, Camilo Zardo Calvi, José Gonçalves Pereira Filho, Cléver Ricardo Guareis de Farias, Ricardo Neisse	Semantic Context Reasoning Using Ontology Based Models.	EUNICE	2007	DBLP DOI BibTeX RDF	ontologies, Context-aware, context modeling, context reasoning
16	Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan 0001	Automating Belief Revision for AgentSpeak.	DALT	2006	DBLP DOI BibTeX RDF
16	Alberto Finzi, Thomas Lukasiewicz	Game-Theoretic Agent Programming in Golog Under Partial Observability.	KI	2006	DBLP DOI BibTeX RDF
16	Daniel L. Moise, Kenny Wong	Extracting Facts from Perl Code.	WCRE	2006	DBLP DOI BibTeX RDF
16	Rahul Balani, Chih-Chieh Han, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Mani B. Srivastava	Multi-level software reconfiguration for sensor networks.	EMSOFT	2006	DBLP DOI BibTeX RDF	sensor networks, virtual machine, reconfiguration, multi-tasking, reprogramming
16	Bei Shui Liao, Huaxin Huang, Ji Gao	An Extended BDI Agent with Policies and Contracts.	PRIMA	2006	DBLP DOI BibTeX RDF
16	Rafael H. Bordini, Jomi Fred Hübner, Daniel M. Tralamazza	Using Jason to Implement a Team of Gold Miners.	CLIMA	2006	DBLP DOI BibTeX RDF
16	Bernd Brassel, Sebastian Fischer 0001, Frank Huch	A Program Transformation for Tracing Functional Logic Computations.	LOPSTR	2006	DBLP DOI BibTeX RDF
16	Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan 0001	Belief revision for AgentSpeak agents.	AAMAS	2006	DBLP DOI BibTeX RDF	AgentSpeak, Jason, belief revision, BDI
16	Lorenz Huelsbergen	Fast evolution of custom machine representations.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
16	Evelyne Contejean, Pierre Corbineau	Reflecting Proofs in First-Order Logic with Equality.	CADE	2005	DBLP DOI BibTeX RDF
16	Joo Geok Tan, Daqing Zhang 0001, Xiaohang Wang 0002, Heng Seng Cheng	Enhancing Semantic Spaces with Event-Driven Context Interpretation.	Pervasive	2005	DBLP DOI BibTeX RDF
16	Paulo Quaresma, Irene Rodrigues 0001	A Logic Programming Based Approach to QA@CLEF05 Track.	CLEF	2005	DBLP DOI BibTeX RDF
16	Alexander Pokahr, Lars Braubach, Winfried Lamersdorf	A BDI architecture for goal deliberation.	AAMAS	2005	DBLP DOI BibTeX RDF	goal deliberation, BDI agents
16	Thomas Kotzmann, Hanspeter Mössenböck	Escape analysis in the context of dynamic compilation and deoptimization.	VEE	2005	DBLP DOI BibTeX RDF	deoptimization, scalar replacement, stack allocation, synchronization removal, Java, optimization, just-in-time compilation, escape analysis
16	Lingli Zhang, Chandra Krintz	Adaptive code unloading for resource-constrained JVMs.	LCTES	2004	DBLP DOI BibTeX RDF	code unloading, JVM, code-size reduction, JIT, resource-constrained devices
16	Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meuter, Jessie Dedecker, Theo D'Hondt	On the Performance of SOAP in a Non-trivial Peer-to-Peer Experiment.	Component Deployment	2004	DBLP DOI BibTeX RDF
16	Andrew P. Tolmach, Sergio Antoy, Marius Nita	Implementing functional logic languages using multiple threads and stores.	ICFP	2004	DBLP DOI BibTeX RDF	functional logic languages, multi-versioned stores, residuation, narrowing
16	Dag Björklund, Johan Lilius	Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation.	ACSD	2004	DBLP DOI BibTeX RDF
16	Barbara Staudt Lerner	Verifying process models built using parameterized state machines.	ISSTA	2004	DBLP DOI BibTeX RDF	Little-JIL, SMC, finite state machine, software process, work flow, LTSA
16	Luigi Liquori, Bernard P. Serpette	iRho: an imperative rewriting calculus.	PPDP	2004	DBLP DOI BibTeX RDF	certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics
16	Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini	Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange.	AAMAS	2004	DBLP DOI BibTeX RDF
16	Brian Davis, John Waldron	A survey of optimisations for the Java Virtual Machine.	PPPJ	2003	DBLP DOI BibTeX RDF
16	Beum-Seuk Lee, Xiaoqing Wu, Fei Cao, Shih-Hsi Liu, Wei Zhao 0002, Chunmin Yang, Barrett R. Bryant, Jeffrey G. Gray	T-Clipse: an integrated development environment for two-level grammar.	eTX	2003	DBLP DOI BibTeX RDF
16	Gabriele Taentzer	AGG: A Graph Transformation Environment for Modeling and Validation of Software.	AGTIVE	2003	DBLP DOI BibTeX RDF
16	Adolfo Duran, Ana Cavalcanti 0001, Augusto Sampaio	Refinement Algebra for Formal Bytecode Generation.	ICFEM	2002	DBLP DOI BibTeX RDF
16	Richard L. Drechsler, John M. Mocenigo	The Yoix Scripting Language as a Tool for Building Web-Based Systems.	NETWORKING Workshops	2002	DBLP DOI BibTeX RDF	Java, web applications, scripting language, application development
16	Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri	Visual Requirements Validation: Case Study in a Corba-Supported Environment.	RE	2002	DBLP DOI BibTeX RDF
16	Michael Codish, Harald Søndergaard	Meta-circular Abstract Interpretation in Prolog.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
16	Brigitte Pientka	A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming.	ICLP	2002	DBLP DOI BibTeX RDF
16	Yuji Chiba	Tranlating Java to C without Inserting Class Initialization Tests.	IPDPS	2002	DBLP DOI BibTeX RDF
16	Benjamin Grégoire, Xavier Leroy	A compiled implementation of strong reduction.	ICFP	2002	DBLP DOI BibTeX RDF	beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq
16	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Mapping Modular SOS to Rewriting Logic.	LOPSTR	2002	DBLP DOI BibTeX RDF
16	Ayal Z. Pinkus, Serge Winitzki	YACAS: A Do-It-Yourself Symbolic Algebra Environment.	AISC	2002	DBLP DOI BibTeX RDF
16	Rafael H. Bordini, Ana L. C. Bazzan, Rafael de Oliveira Jannone, Daniel M. Basso, Rosa Maria Vicari, Victor R. Lesser	AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling.	AAMAS	2002	DBLP DOI BibTeX RDF	BDI programming languages, decision-theoretic scheduling, intention selection
16	Roger Kehr, Hendrik Mieves	SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs.	E-smart	2001	DBLP DOI BibTeX RDF
16	Noriko Sugimoto, Hiroki Ishizaka, Takeshi Shinohara	An Efficient Derivation for Elementary Formal Systems Based on Partial Unification.	Discovery Science	2001	DBLP DOI BibTeX RDF
16	Laurie A. Smith King, John Barr, Ben Coleman	What could be more SLic?: projects for the programming languages course.	SIGCSE	2001	DBLP DOI BibTeX RDF
16	Olivier Danvy, Bernd Grobauer, Morten Rhiger	A Unifying Approach to Goal-Directed Evaluation.	SAIG	2001	DBLP DOI BibTeX RDF
16	Oliver Diessel, George J. Milne	Behavioural Language Compilation with Virtual Hardware Management.	FPL	2000	DBLP DOI BibTeX RDF
16	Leonidas Fegaras, Chandrasekhar Srinivasan, Arvind Rajendran, David Maier 0001	lambda-DB: An ODMG-Based Object-Oriented DBMS.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
16	Tilman P. Otto	An APL ompiler.	APL	2000	DBLP DOI BibTeX RDF	APL
16	Wai-Mee Ching	The design and implementation of an APL dialect, ELI.	APL	2000	DBLP DOI BibTeX RDF	APL
16	Henning Makholm	On Jones-Optimal Specialization for Strongly Typed Languages.	SAIG	2000	DBLP DOI BibTeX RDF
16	Christopher Lee 0001, Yangsheng Xu	Message-Based Evaluation in Scheme for High-Level Robot Control.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	message-based evaluation, high-level robot control, Scheme programming language, garbage collection, robot control, robot architecture
16	Kim B. Bruce	Formal semantics and interpreters in a principles of programming languages course.	SIGCSE	1999	DBLP DOI BibTeX RDF
16	Gopal Gupta 0001, Enrico Pontelli, Amado Lara-Rodríguez, Roberto Felix-Cardenas	Automatic Generation of Provably Correct Parallelizing Compilers.	ICPP	1998	DBLP DOI BibTeX RDF
16	Marc Gengler, Matthieu Martel	Self-Applicable Partial Evaluation for the pi-Calculus.	PEPM	1997	DBLP DOI BibTeX RDF	meta-intepretation, parallelism, partial evaluation, pi-calculus, binding-time analysis
16	Peter Thiemann 0001, Michael Sperber	Polyvariant Expansion and Compiler Generators.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, partial evaluation, automatic program transformation
16	Cheng-Hsueh A. Hsieh, John C. Gyllenhaal, Wen-mei W. Hwu	Java Bytecode to Native Code Translation: The Caffeine Prototype and Preliminary Results.	MICRO	1996	DBLP DOI BibTeX RDF	Java
16	Michael Sperber, Peter Thiemann 0001	Realistic Compilation by Partial Evaluation.	PLDI	1996	DBLP DOI BibTeX RDF	compilation of higher-order functional languages, semantics-directed compiler generation, partial evaluation
16	Sheng Liang, Paul Hudak, Mark P. Jones	Monad Transformers and Modular Interpreters.	POPL	1995	DBLP DOI BibTeX RDF
16	M. Anton Ertl	Stack Caching for Interpreters.	PLDI	1995	DBLP DOI BibTeX RDF	C, FORTH
16	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
16	E. Thomas Schubert	A Hybrid Model for Reasoning about Composed Hardware Systems.	CAV	1994	DBLP DOI BibTeX RDF
16	Ross A. Bagley, Philip A. Wilsey, Nael B. Abu-Ghazaleh	Composing Functional Unit Blocks for Efficient Interpretation of MIMD Code Sequences on SIMD Processors.	CONPAR	1994	DBLP DOI BibTeX RDF
16	Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley	Report on the UCD Microcoded Viper Verification Project.	HUG	1993	DBLP DOI BibTeX RDF
16	Patricia Charlton	A Reflective Strategic Problem Solving Model.	ISMIS	1993	DBLP DOI BibTeX RDF
16	Harry G. Mairson	A Constructive Logic of Multiple Subtyping.	POPL	1993	DBLP DOI BibTeX RDF
16	David H. Steinbrook, Eugene E. McDonnell	From Trees into Boxes.	APL	1993	DBLP DOI BibTeX RDF	APL, J
16	Chris Fickert, Thomas A. Sudkamp	Unification based FP interpreters.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	FP
16	Roman Maeder	AlgBench: An Object-Oriented Symbolic Core System.	DISCO	1992	DBLP DOI BibTeX RDF
16	Micha Meier, Joachim Schimpf	An Architecture for Prolog Extensions.	ELP	1992	DBLP DOI BibTeX RDF
16	Claudio Delrieux, Pablo R. Azero Alcocer, Fernando Tohmé	Toward integrating imperative and logic programming paradigms: WYSIWYG approach to PROLOG programming.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	Prolog
16	Marco Pellegrini 0001, Raimondo Sepe	SetLog, a tool for experimenting with new semantics.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
16	Jonathan P. Bowen, Jifeng He 0001, Paritosh K. Pandya	An Approach to Verifiable Compiling Specification and Prototyping.	PLILP	1990	DBLP DOI BibTeX RDF
16	Katherine A. Yelick, Joseph L. Zachary	Moded Type Systems for Logic Programming.	POPL	1989	DBLP DOI BibTeX RDF
16	Zvi M. Kedem, Alexander Tuzhilin	Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models.	PODS	1989	DBLP DOI BibTeX RDF
16	Edil S. T. Fernandes	Microarchitecture modelling through ADL.	MICRO	1988	DBLP BibTeX RDF
16	Alberto Martelli, Gianfranco Rossi	Enhancing Prolog to Support Prolog Programming Environments.	ESOP	1988	DBLP DOI BibTeX RDF
16	Manuel Alfonseca 0001, David Selby	APL2 - A RISC Business.	APL	1988	DBLP DOI BibTeX RDF	IBM System/370, APL, RISC, IBM PC
16	Yutaka Miyabe, Csaba Biegl, Kazuhiko Kawamura	Methodologies for a Real-Time Intelligent Supervisory System for a Hot Strip Mill Finisher.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
16	Henry Lieberman	Reversible Object-Oriented Interpreters.	ECOOP	1987	DBLP DOI BibTeX RDF
16	Gerlinde Schreiber	Operational Semantics and a Distributed Implementation of CSP.	MFPS	1987	DBLP DOI BibTeX RDF
16	Youji Kohda, Jiro Tanaka	Deriving a Compilation Method for Parallel Logic Languages.	LP	1987	DBLP DOI BibTeX RDF
16	Rolf Bahlke, Gregor Snelting	The PSG System: From Formal Language Definitions to Interactive Programming Environments.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
16	Laurent Fribourg	Oriented Equational Clauses as a Programming Language.	ICALP	1984	DBLP DOI BibTeX RDF
16	James Sprowl, Periyasamy Balasubramanian, Taizoon Chinwalla, Martha W. Evens, Henriette Klawans	An expert system for drafting legal documents.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF
16	I. M. Kipps	Experience with Porting Techniques on a COBOL 74 Compiler.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	COBOL
16	Robert C. Gammill, Lynn Thorp	Distributed processing of problem-solving applications for farmers.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
16	Leonidas J. Guibas, Douglas K. Wyatt	Compilation and Delayed Evaluation in APL.	POPL	1978	DBLP DOI BibTeX RDF
16	Dennis J. Aigner	Letters to the editor: An interpretive input routine for linear programming.	Commun. ACM	1967	DBLP DOI BibTeX RDF
16	Zhuang Li, Levon Haroutunian, Raj Tumuluri, Philip R. Cohen, Gholamreza Haffari	Improving Cross-Domain Low-Resource Text Generation through LLM Post-Editing: A Programmer-Interpreter Approach.	CoRR	2024	DBLP DOI BibTeX RDF
16	Minpeng Liao, Wei Luo, Chengxi Li 0014, Jing Wu, Kai Fan	MARIO: MAth Reasoning with code Interpreter Output - A Reproducible Pipeline.	CoRR	2024	DBLP DOI BibTeX RDF
16	Sirui Hong, Yizhang Lin, Bang Liu, Bangbang Liu, Binhao Wu, Danyang Li, Jiaqi Chen, Jiayi Zhang, Jinlin Wang, Li Zhang, Lingyao Zhang, Min Yang, Mingchen Zhuge, Taicheng Guo, Tuo Zhou, Wei Tao, Wenyi Wang, Xiangru Tang, Xiangtao Lu, Xiawu Zheng, Xinbing Liang, Yaying Fei, Yuheng Cheng, Zongze Xu, Chenglin Wu	Data Interpreter: An LLM Agent For Data Science.	CoRR	2024	DBLP DOI BibTeX RDF
16	Frank Bart ter Haar, Frank Ruis, Bastian Thomas van Manen	A 3D World Interpreter System for Safe Autonomous Crane Operation.	Robotics	2024	DBLP DOI BibTeX RDF
16	José A. Riaza	Tau Prolog: A Prolog Interpreter for the Web.	Theory Pract. Log. Program.	2024	DBLP DOI BibTeX RDF
16	Jinshan Zeng, Xianchao Tong, Xianglong Yu, Wenyan Xiao, Qing Huang	InterpretARA: Enhancing Hybrid Automatic Readability Assessment with Linguistic Feature Interpreter and Contrastive Learning.	AAAI	2024	DBLP DOI BibTeX RDF
16	Zhuang Li, Levon Haroutunian, Raj Tumuluri, Phil Cohen 0001, Gholamreza Haffari	Improving Cross-Domain Low-Resource Text Generation through LLM Post-Editing: A Programmer-Interpreter Approach.	EACL (Findings)	2024	DBLP BibTeX RDF
16	Volnei da S. Klehm, Eduardo Drummond Sardinha, Vicente Ferreira de Lucena Jr., Rayol Mendonca-Neto, Luiz Cordovil	A comparative analysis between Lua interpreter variants compiled to WASM, JavaScript and native.	ICCE	2024	DBLP DOI BibTeX RDF
16	Conrad Watt, Maja Trela, Peter Lammich, Florian Märkl	WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
16	Venus Chan	Research on Computer-Assisted Interpreter Training: A Review of Studies from 2013 to 2023.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Yu An, Ruihai Dong	Understanding the Effect of Different Prior Knowledge on CNN Fault Interpreter.	IEEE Access	2023	DBLP DOI BibTeX RDF
16	Mahmood Yenkimaleki, Vincent J. van Heuven, Mostafa Hosseini	The effect of fluency strategy training on interpreter trainees' speech fluency: Does content familiarity matter?	Speech Commun.	2023	DBLP DOI BibTeX RDF