|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1211 occurrences of 748 keywords
|
|
|
Results
Found 1493 publication records. Showing 1493 according to the selection in the facets
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 |
|
Displaying result #201 - #300 of 1493 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|