|
|
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 |
111 | David Gelernter, Suresh Jagannathan, Thomas London |
Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 274-282, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
LISP |
96 | Mathew Zaleski, Angela Demke Brown, Kevin Stoodley |
YETI: a graduallY extensible trace interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 3rd International Conference on Virtual Execution Environments, VEE 2007, San Diego, California, USA, June 13-15, 2007, pp. 83-93, 2007, ACM, 978-1-59593-630-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
interpreter, trace, JIT compiler, mixed-mode |
74 | Kazunori Ogata, Hideaki Komatsu, Toshio Nakatani |
Bytecode fetch optimization for a Java interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), San Jose, California, USA, October 5-9, 2002., pp. 58-67, 2002, ACM Press, 1-58113-574-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
pipelined interpreter, stack caching, Java, performance, superscalar processor, PowerPC, bytecode interpreter |
66 | Tetsuo Yokoyama, Robert Glück |
A reversible programming language and its invertible self-interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, pp. 144-153, 2007, ACM, 978-1-59593-620-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Janus, non-standard interpreter hierarchy, reversible programming language, self-interpreter, reversible computing, program inversion |
58 | Marita Dücker, Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedl |
A generic system for interactive real-time animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 263-270, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
interactive real-time animation, interactive design environment, interactive analysis environment, editor animator, editor interpreter, interpreter-animator interaction, logical level executions, animator triggering, Pictorial Janus visual programming language, architecture, interface, automation, visual languages, visual languages, liveness, interactive animation, generic system, debugging environment |
57 | Koichi Sasada |
YARV: yet another RubyVM: innovating the ruby interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 158-159, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
interpreter implementation, scripting language, Ruby |
55 | Edwin C. Brady, Kevin Hammond |
A verified staged interpreter is a verified compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 111-120, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming |
55 | Kazunori Ueda |
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic: Logic Programming and Beyond ![In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, pp. 138-161, 2002, Springer, 3-540-43959-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
55 | A. Jefferson Offutt, K. N. King |
A Fortran 77 interpreter for mutation analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 177-188, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
FORTRAN |
51 | Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza |
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(11), pp. 1597-1609, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
program construction systems, relational languages, Ada Relational Translator, compiler-interpreter, semantic analyzer, Multi-Micro Line, data structures, data structures, Ada, relational databases, relational databases, prototyping, programming environments, programming environments, interpreter, program compilers, kernel, relational algebra, program interpreters, ART, parser, debugger, MML, configuration control |
49 | Martin Nilsson 0001, Hidehiko Tanaka |
The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 95-104, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Committed choice, Fleng, GHC, Parallel, Logic Programming, Prolog, Interpreter |
49 | Ariel Ortiz |
Language design and implementation using ruby and the interpreter pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2008, Portland, OR, USA, March 12-15, 2008, pp. 48-52, 2008, ACM, 978-1-59593-799-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
s-expression, design patterns, interpreter, ruby |
49 | Ting-Wei Hou, Fuh-Gwo Chen |
An anomaly in an interpreter using GCC source-code-level register allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 42(4), pp. 9-13, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GCC source-code-level register allocation, performance, interpreter |
49 | Yevgen Borodin |
A flexible VXML interpreter for non-visual web access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2006, Portland, Oregon, USA, October 23-25, 2006, pp. 301-302, 2006, ACM, 1-59593-290-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
VXML, VXMLSurf, voice browsing, user interface, interpreter, screen-reader, web navigation, voiceXML, non-visual |
49 | Jing Zhang 0003 |
Metamodel-driven model interpreter evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 214-215, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
interpreter evolution, model transformation, domain-specific modeling |
47 | Sandra Baldassarri, Eva Cerezo, Francisco Royo-Santas |
Automatic Translation System to Spanish Sign Language with a Virtual Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (1) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I, pp. 196-199, 2009, Springer, 978-3-642-03654-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Sign language translation, animation, emotion, virtual characters |
47 | Naoyasu Ubayashi, Genki Moriyama, Hidehiko Masuhara, Tetsuo Tamai |
A parameterized interpreter for modeling different AOP mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 194-203, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AOP, join point models |
47 | David Gregg, M. Anton Ertl, Andreas Krall |
Implementing an Efficient Java Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings, pp. 613-620, 2001, Springer, 3-540-42293-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Trong Wu, Shu-chiung Huang |
A Timed Petri Net Interpreter: An Alternative Method for Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers, pp. 652-660, 2000, Springer, 3-540-43074-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
47 | K. Lall, J. William Atwood |
A microprogrammed interpreter for concurrent Euclid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 22nd Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1989, Dublin, Ireland, August 14-16, 1989, pp. 1-10, 1989, ACM/IEEE, 0-89791-324-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Concurrent Euclid |
47 | Hiroshi G. Okuno, Nobuyasu Osato, Ikuo Takeuchi |
Firmware approach to fast Lisp interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 20st Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1987, Colorado Springs, Colorado, USA, December 1-4, 1987, pp. 1-11, 1987, ACM/IEEE, 0-89791-250-0. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
47 | Antony A. Faustini, William W. Wadge |
An eductive interpreter for Lucid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 86-91, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
LUCID |
47 | Christopher F. Clark |
The JADE interpreter: a RISC interpreter for syntax directed editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 222-228, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
RISC |
41 | Michael Bebenita, Andreas Gal, Michael Franz |
Implementing fast JVM interpreters using Java itself. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 145-154, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
interpreter design, metacircular/self-interpreters, minimal trusted computing base, Java virtual machine |
41 | Kevin Williams 0001, Albert Noll, Andreas Gal, David Gregg |
Optimization strategies for a java virtual machine interpreter on the cell broadband engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 5th Conference on Computing Frontiers, 2008, Ischia, Italy, May 5-7, 2008, pp. 189-198, 2008, ACM, 978-1-60558-077-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
java, virtual machine, interpreter, language implementation |
40 | Olivier Danvy, Pablo E. Martínez López |
Tagging, Encoding, and Jones Optimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 335-347, 2003, Springer, 3-540-00886-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Tia Newhall, Barton P. Miller |
Performance Measurement of Interpreted Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 146-156, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
40 | Denis Béchet |
Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings, pp. 77-91, 1996, Springer, 3-540-61055-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
alternative values, strongly-typed language, interpreters, partial evaluation, type specialization |
40 | Michelle L. Crane, Jürgen Dingel |
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, October 27-30, 2008, Richmond Hill, Ontario, Canada, pp. 8, 2008, IBM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Fabrizio Riguzzi |
A Top Down Interpreter for LPAD and CP-Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings, pp. 109-120, 2007, Springer, 978-3-540-74781-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang |
An Interpreter for Framed Tempura and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 251-260, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
temporal logic programming, projection, framing, normal form |
40 | Michael Winikoff |
An AgentSpeak Meta-interpreter and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers, pp. 123-138, 2005, Springer, 3-540-32616-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Roberta Gori, Giorgio Levi |
Properties of a Type Abstract Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 132-145, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Dariusz Biernacki, Olivier Danvy |
From Interpreter to Logic Engine by Defunctionalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, pp. 143-159, 2003, Springer, 3-540-22174-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Stephen K. Skedzielewski, Robert Kim Yates, R. R. Oldehoeft |
DI: an interactive debugging interpreter for applicative languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 102-112, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
40 | Jack W. Davidson, Joseph V. Gresh |
Cint: a RISC interpreter for the C programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 189-198, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
C, RISC |
40 | Janalee O'Bagy, Ralph E. Griswold |
A recursive interpreter for the Icon programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 138-149, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
ICON |
40 | Andreas Krall |
Implementation of a high-speed Prolog interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 125-131, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
40 | Arch Douglas Robison |
The Illinois functional programming interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 64-73, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
FP |
40 | Christoph M. Hoffmann, Michael J. O'Donnell |
Implementation of an Interpreter for Abstract Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 111-121, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Kevin Williams 0001, Jason McCandless, David Gregg |
Dynamic interpretation for dynamic scripting languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010, pp. 278-287, 2010, ACM, 978-1-60558-635-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
interpreter optimization, dynamic languages, type specialization |
33 | Chun-Chieh Lin, Chuen-Liang Chen |
Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPEAC ![In: High Performance Embedded Architectures and Compilers, Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings, pp. 369-383, 2008, Springer, 978-3-540-77559-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
embedded system, memory management, interpreter, Java virtual machine, power-saving, NAND flash memory, cache miss, code placement |
33 | Kevin Casey, M. Anton Ertl, David Gregg |
Optimizing indirect branch prediction accuracy in virtual machine interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(6), pp. 37, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
code replication, superinstruction, Interpreter, branch prediction, branch target buffer |
33 | Fuh-Gwo Chen, Ting-Wei Hou |
Instruction-coated translation: an approach to restructure directly threaded interpreters with low cohesion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(8), pp. 29-33, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
module cohesion, software architecture and restructuring, threaded interpreter |
33 | Stephan Diehl 0001, Claudia Bieg |
A new approach for implementing stand-alone and Web-based interpreters for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, PPPJ 2003, Kilkenny City, Ireland, June 16-18, 2003, pp. 31-34, 2003, ACM, 0-9544145-1-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
Java, interpreter |
33 | M. Anton Ertl, David Gregg |
Optimizing indirect branch prediction accuracy in virtual machine interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 278-288, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
code replication, superinstruction, interpreter, branch prediction, branch target buffer |
33 | César F. Acebal, Raúl Izquierdo Castanedo, Juan Manuel Cueva Lovelle |
Good design principles in a compiler university course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 37(4), pp. 62-73, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
JJTree, object orientation, design patterns, interpreter, compiler design, JavaCC |
33 | Frédéric Boussinot, Laurent Hazard |
Reactive scripts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 270-277, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
broadcast event-driven interpreter, responsive systems, reactive script interpretor, complex behaviors, current interpretor reaction, associated methods, nonblocking order, method execution, SL synchronous language, ROM Reactive Object Model, Reactive-C language, parallel programming, objects, real time programming |
33 | Vasiliy Fofanov, Sergey Rybin, Alfred Strohmeier |
ASIStint: An Interactive ASIS Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 205-209, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Ada, Ada, interpreter, ASIS |
33 | Claudia Di Napoli, Maurizio Giordano, Mario Mango Furnari |
A Paralation Model Implementation Based on a Concurrent Lisp Interpreter Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 429-436, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
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 |
33 | Ashok Kumar, Vishv M. Malhotra |
A Look-Ahead Interpreter for Sequential Prolog and Its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings, pp. 470-484, 1987, Springer, 3-540-18625-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Prolog, Interpreter, Look-ahead |
33 | Yaohan Chu |
Architecture of a Hardware Data Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 28(2), pp. 101-109, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
data declarations, direct-execution computer, hardware interpreter, high-level language computer, Computer architecture, memory structure |
32 | Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau |
High performance annotation-aware JVM for Java cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 52-61, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
superoperators, virtual machine, high performance, Java card |
32 | David Gregg, M. Anton Ertl |
A Language and Tool for Generating Efficient Virtual Machine Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain-Specific Program Generation ![In: Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers, pp. 196-215, 2003, Springer, 3-540-22119-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | G. Somers, R. N. Whyte |
Hand posture matching for Irish Sign language interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICT ![In: Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, Dublin, Ireland, September 24-26, 2003, pp. 439-444, 2003, Trinity College Dublin. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Thomas R. Dean, Yuling Chen |
Design Recovery of a Two Level System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 11th International Workshop on Program Comprehension (IWPC 2003), May 10-11, 2003, Portland, Oregon, USA, pp. 23-32, 2003, IEEE Computer Society, 0-7695-1883-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Kevin Casey, David Gregg, M. Anton Ertl, Andrew Nisbet |
Towards Superinstructions for Java Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings, pp. 329-343, 2003, Springer, 3-540-20145-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Mads Sig Ager, Olivier Danvy, Mayer Goldberg |
A Symmetric Approach to Compilation and Decompilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Essence of Computation ![In: The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday], pp. 296-331, 2002, Springer, 3-540-00326-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Nael B. Abu-Ghazaleh, Philip A. Wilsey |
On the Structure of Concurrent Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Emir Pasalic, Walid Taha, Tim Sheard |
Tagless staged interpreters for typed languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 218-229, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming |
32 | Jan Hoogerbrugge, Lex Augusteijn |
Pipelined Java Virtual Machine Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 35-49, 2000, Springer, 3-540-67263-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | John K. Ousterhout, Jacob Y. Levy, Brent B. Welch |
The Safe-Tcl Security Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Agents and Security ![In: Mobile Agents and Security, pp. 217-234, 1998, Springer, 3-540-64792-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VII Proceedings - Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, USA, October 1-5, 1996., pp. 150-159, 1996, ACM Press, 0-89791-767-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Java, Tcl |
32 | Thom W. Frühwirth |
Annotated Constraint Logic Programming Applied to Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 230-243, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Gilberto Filé, Sabina Rossi |
Static Analysis of Prolog with Cut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings, pp. 134-145, 1993, Springer, 3-540-56944-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Wai-Mee Ching, Rick Nelson, Nungjane Shi |
An Empirical Study of the Performance of the APL370 Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Conference Proceedings on APL as a Tool of Thought, APL 1989, New York City, NY, USA, August 7-10, 1989., pp. 87-93, 1989, ACM, 0-89791-327-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
APL |
32 | Giuseppe Cattaneo, Vincenzo Loia |
A common-LISP implementation of an extended Prolog system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(4), pp. 87-102, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, LISP |
32 | G. Scott Owen |
RT Prolog: a real time Prolog written in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 684, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Ada, Prolog |
32 | Ahmed Amine Jerraya, Patrick Varinot, Robert Jamier, Bernard Courtois |
Principles of the SYCO compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, NV, USA, June, 1986., pp. 715-721, 1986, IEEE Computer Society Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
32 | Jiro Tanaka, Takashi Yokomori, Makoto Kishishita |
AND-OR Queuing in Extended Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 156-167, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
32 | Michal Adamaszek, Piotr Chrzastowski-Wachtel, Anna Niewiarowska |
VIPER, a Student-Friendly Visual Interpreter of Pascal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSEP ![In: Informatics Education - Supporting Computational Thinking, Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008, Torun, Poland, July 1-4, 2008, Proceedings, pp. 192-203, 2008, Springer, 978-3-540-69923-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Kevin Casey, David Gregg, M. Anton Ertl |
Tiger - An Interpreter Generation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 246-249, 2005, Springer, 3-540-25411-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Karen Osmond, Olav Beckmann, Tony Field, Paul H. J. Kelly |
A Domain-Specific Interpreter for Parallelizing a Large Mixed-Language Visualisation Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers, pp. 347-361, 2005, Springer, 978-3-540-69329-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | M. Anton Ertl, David Gregg |
Building an Interpreter with Vmgen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 5-8, 2002, Springer, 3-540-43369-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Scott Webster |
An Interpreter for Adaptable Supply Chain Planning Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIWoRC ![In: 2000 Academia / Industry Working Conference on Research Challenges (AIWoRC 2000), Next Generation Enterprises: Virtual Organizations and Mobile / Pervasive Technologies, 27-29 April 2000, Buffalo, NY, USA, pp. 299-310, 2000, IEEE Computer Society, 0-7695-0628-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer |
Compiler/Interpreter Generator System LISA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | François Paradis, Anne-Marie Vercoustre, Brendan Hills |
A Virtual Document Interpreter for Reuse pf Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EP ![In: Electronic Publishing, Artistic Imaging, and Digital Typography, 7th International Conference on Electronic Publishing, EP '98, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo, France, March 30 - April 3, 1998, Proceedings, pp. 487-498, 1998, Springer, 3-540-64298-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Sarah Mallet, Mireille Ducassé |
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 328-330, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder |
Interpreter Verification for a Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings, pp. 77-88, 1994, Springer, 3-540-58715-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Alain Hui-Bon-Hoa |
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 326-340, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
32 | Lois M. L. Delcambre, James N. Etheredge |
A Self-Controlling Interpreter for the Relational Production Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 1-3, 1988., pp. 396-403, 1988, ACM Press, 978-0-89791-268-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
RPL |
32 | Robert S. Sutor, Richard D. Jenks |
The type inference and coercion facilities in the scratchpad II interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 56-63, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
SCRATCHPAD |
32 | J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid |
Structure of a LOTOS interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, SIGCOMM 1986, Stowe, Vermont, United States, August 5-7, 1986, pp. 167-175, 1986, ACM, 0-89791-201-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
32 | David Miles |
An experiment in the design of a BASIC interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 20th Annual Southeast Regional Conference, 1982, Knoxville, Tennessee, USA, April 1-3, 1982, pp. 259, 1982, ACM, 0-89791-071-0. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
32 | Fabio Niephaus, Tim Felgentreff, Robert Hirschfeld |
GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOOOLPS@ECOOP ![In: Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS@ECOOP 2018, Amsterdam, Netherlands, July 16-21, 2018, pp. 30-35, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Jan Heering, Paul Klint |
The efficiency of the equation interpreter compared with the UNH Prolog interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 21(2), pp. 18-21, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
25 | Linda Dailey Paulson |
News Briefs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 41(2), pp. 23-25, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SiSi system, sign-language interpreter, Do Not Track program, breath-operated interface Linda Dailey Paulson, wireless technology |
25 | Yunhe Shi, Kevin Casey, M. Anton Ertl, David Gregg |
Virtual machine showdown: Stack versus registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 4(4), pp. 2:1-2:36, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
register architecture, stack architecture, virtual machine, Interpreter |
25 | Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001 |
Lifting abstract interpreters to quantified logical domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 235-246, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter |
25 | Morris Matsa, Eric Perkins, Abraham Heifets, Margaret Gaitatzes Kostoulas, Daniel Silva 0001, Noah Mendelsohn, Michelle Leger |
A high-performance interpretive approach to schema-directed parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, pp. 1093-1114, 2007, ACM, 978-1-59593-654-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML, performance, compiler, interpreter, parsing, schema |
25 | Michael Pitzer, Heinz Dobler |
An Object-Oriented and Generic Compiler Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 130-137, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Visitor, Compiler, Design Patterns, Genericity, Interpreter, Attributed Grammars, Compiler Generator, EBNF |
25 | Harry H. Cheng, Dung T. Trang |
Object-oriented interactive mechanism design and analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 21(3), pp. 237-246, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fourbar linkage, Ch, C/C++ interpreter, Mechanisms |
25 | Zhaoqing Wang, Harry H. Cheng |
Portable C/C++ Code for Portable XML Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(1), pp. 76-81, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Ch, C/C++ Interpreter, Portable Code, Portable Data, XML |
25 | Sumit Gulwani, Ashish Tiwari 0001 |
Combining abstract interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 376-386, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Nelson-Oppen combination, logical product, reduced product, abstract interpreter |
25 | Frédéric Peschanski, Samuel Hym |
A stackless runtime environment for a Pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006, pp. 57-67, 2006, ACM, 978-1-59593-332-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
garbage collection, interpreter, operational semantics, Pi-calculus |
25 | Qian Wang 0024, Gopal Gupta 0001 |
Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1419-1426, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
horn logical semantics, semantics, domain specific languages, interpreter |
25 | Yunhe Shi, David Gregg, Andrew Beatty, M. Anton Ertl |
Virtual machine showdown: stack versus registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005, pp. 153-163, 2005, ACM, 1-59593-047-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
register architecture, stack architecture, virtual machine, interpreter |
25 | Robert Glück, Youhei Kawada, Takuya Hashimoto |
Transforming interpreters into inverse interpreters by partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003, pp. 10-19, 2003, ACM, 1-58113-667-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application |
25 | Ben Stephenson, Wade Holst |
Multicodes: optimizing virtual machines using bytecode sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 328-329, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Java, optimization, virtual machine, interpreter, JVM, bytecode |
25 | Jianshe Zhai, Georges Fafiotte |
On Building a Simulating Translation Environment for Multilingual Conversation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Advances in Multimodal Interfaces - ICMI 2000, Third International Conference, Beijing, China, October 14-16, 2000, Proceedings, pp. 287-292, 2000, Springer, 3-540-41180-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Multilingual Dialogue, Interpreter Simulation, Wizard or Oz, Client/Server, Spoken Language Translation |
Displaying result #1 - #100 of 1493 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|