Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Eric Goubault |
Schedulers as Abstract Interpreter of Higher Dimensional Automata. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Gennaro Costagliola, Genoveffa Tortora, Maurizio Tucci, M. Busillo |
GISQL - A Query Language Interpreter for Geopraphical Information Systems. |
VDB |
1995 |
DBLP BibTeX RDF |
|
16 | John Barr, Laurie A. Smith King |
An environment for interpreter-based programming language projects. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
SCHEME |
16 | Gabriele Sonnenberger |
Der Wit-Interpreter: ein Textanalysesystem, das seine eigene Wissensbasis durch die Analyse von Texten erweitert. |
|
1995 |
RDF |
|
16 | Stephen Weeks, Suresh Jagannathan, James Philbin |
A Concurrent Abstract Interpreter. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
16 | L. Thorne McCarty, Leon A. Shklar |
A PROLOG Interpreter for First-Order Intuitionistic Logic. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
16 | Filomena Ferrucci, Vincenzo Loia, Giuliano Pacini, Maria I. Sessa |
A Sleeper-based Prolog Interpreter with Loop Checks. |
GULP-PRODE (2) |
1994 |
DBLP BibTeX RDF |
|
16 | Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi |
A Bottom-Up Interpreter for a Database Language with Updates and Transactions. |
GULP-PRODE (2) |
1994 |
DBLP BibTeX RDF |
|
16 | Kaj Grønbæk, Jawahar Malhotra |
Building Tailorable Hypermedia Systems: The Embedded-Interpreter Approach. |
OOPSLA |
1994 |
DBLP DOI BibTeX RDF |
|
16 | A. Josep Velasco, Lluís Ribas, Elena Valderrama, R. Gracia |
A Fuzzy Rule Interpreter to Build Expert Systems Based on Fuzzy Logic. An Application in Company Diagnosis. |
Fuzzy Days |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Thomas E. Cheatham, Haiming Gao, Dan C. Stefanescu |
A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Atsushi Togashi, Glenn Mansfield, Norio Shiratori |
An Intelligent LOTOS interpreter in AMLOG. |
ICLP Workshop: Applications of Logic Programming to Software Engineering |
1994 |
DBLP BibTeX RDF |
|
16 | I. Stephan |
An SLOU Prolog Interpreter. |
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming |
1994 |
DBLP BibTeX RDF |
|
16 | Peter B. Kessler |
A Client-Side Stub Interpreter. |
Workshop on Interface Definition Languages |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Franco Fiore, Fosca Giannotti |
An abstract interpreter for the specification language LOTOS. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
16 | Uwe Samstag-Schnock, Charles T. Meadow |
PBS: An Economical Natural Language Query Interpreter. |
J. Am. Soc. Inf. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Louis Imbert, Jacques Cohen, Marie-Dominique Weeger |
An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP. |
J. Log. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Robert M. Harlan, David M. Patrone |
Parsing as search: an easy-to-understand RTN interpreter. |
ACM SIGCSE Bull. |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Vicente Benjumea, Manuel Roldán, José M. Troya |
A Prolog interpreter for OR parallelism evaluation on distributed systems. |
PDP |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Nobuyasu Osato |
An action interpreter of a robot control agent. |
IROS |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Christine Kohring |
Ein flexibler Interpreter für ausfürhrbare Anforderungsdokumente. |
Requirements Engineering |
1993 |
DBLP BibTeX RDF |
|
16 | Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Jao-Chiang Pong, Duen-Tay Huang |
An Estelle interpreter for incremental protocol verification. |
ICNP |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Gregory John Michaelson |
Interpreter prototypes from formal language definitions. |
|
1993 |
RDF |
|
16 | Willi Klösgen |
Problems for knowledge discovery in databases and their treatment in the statistics interpreter explora. |
Int. J. Intell. Syst. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Kenneth A. Lambert |
An ALGOL object code interpreter in Scheme. |
ACM SIGCSE Bull. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Marco Avvenuti, Paolo Corsini, Graziano Frosini |
Transputer-based implementation and evaluation of parallel Prolog interpreter. |
Inf. Softw. Technol. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | M. Hart, Robert H. Davis |
Cryptic crossword clue interpreter. |
Inf. Softw. Technol. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | André van Delft |
Programming languages: an interpreter-based approach : S N Kamin Addison-Wesley (1990) Hfl 76 ∼ £21.95 640pp hardback. |
Inf. Softw. Technol. |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Andrea Sohn, Jean-Luc Gaudiot, Michel Guyot |
Parallelism Profiling of an Ops5 Production System Interpreter. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Takayasu Ito, Tomohiro Seino |
P-Continuation Based Implementation of PaiLisp Interpreter. |
Parallel Symbolic Computing |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Peter Barth |
CLP(PB), A Meta-Interpreter in CLP(R). |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Knut Hinkelmann |
Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAM. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
16 | John Hughes 0001, Alex Ferguson |
A Loop-Detecting Interpreter for Lazy, Higher-Order Programs. |
Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Ping-Sheng Tseng |
Network Parallel Computing with a Command Interpreter. |
ICPP (2) |
1992 |
DBLP BibTeX RDF |
|
16 | Georg Peltz |
An Interpreter for General Netlist Design Rule Checking. |
DAC |
1992 |
DBLP BibTeX RDF |
|
16 | Sujatha Nagarajan |
Mimicking human language processing features using fuzzy syntax-semantics analyzer and semantic interpreter. |
|
1992 |
RDF |
|
16 | William Campbell |
A C interpreter for Scheme-an exercise in object-oriented design. |
Softw. Eng. J. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Alfonseca 0001, David Selby, Ron Wilks |
The APL IL Interpreter Generator. |
IBM Syst. J. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Taisuke Sato, Fumio Motoyoshi |
A Complete Top-Down Interpreter for First Order Programs. |
ISLP |
1991 |
DBLP BibTeX RDF |
|
16 | Laxmikant V. Kalé, Balkrishna Ramkumar |
Implementation of a Parallel Prolog Interpreter on Multiprocessors. |
IPPS |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Yoav Shoham |
AGENT0: A Simple Agent Language and Its Interpreter. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
16 | Carsten Kehler Holst, John Hughes 0001 |
A Loop-Detecting Interpreter for Lazy Programs. |
Functional Programming |
1991 |
DBLP DOI BibTeX RDF |
|
16 | D. Rayko, Kirill Vershinin, Igor Romanenko |
Algebraic Program Interpreter APREX2. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Chung-Kwong Yuen, Weng-Fai Wong |
A self interpreter for BaLinda Lisp. |
ACM SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Dimitris Karagiannis, Wolfgang Salzmann |
SML: symbolic manipulation language. A graphic-orientid language for the description of a logic interpreter. |
Inf. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Samuel N. Kamin |
Programming languages - an interpreter-based approach. |
|
1990 |
RDF |
|
16 | Yoichi Yamashita, Hiroyuki Fujiwara, Yasuo Nomura, Nobuyoshi Kaiki, Riichiro Mizoguchi |
A support environment based on rule interpreter for synthesis by rule. |
ICSLP |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Juha Röning, Tapio Taipale, Matti Pietikäinen |
A 3-D scene interpreter for indoor navigation. |
IROS |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Alfred Kayser, Jan van Oorschot |
DScheme, an Imbedable Interpreter. |
DEXA |
1990 |
DBLP BibTeX RDF |
|
16 | Daniel V. Oppenheim |
Quill: An Interpreter for Creating Music-objects within the Dmix Environment. |
ICMC |
1990 |
DBLP BibTeX RDF |
|
16 | Siamak Masnavi |
Automatic Visualization of the Dynamic Behaviour of Programs by Animation of the Language Interpreter. |
VL |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Colin J. Fidge |
A LOTOS Interpreter for Simulating Real-Time Behaviour. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
16 | Paolo Corsini, Graziano Frosini, Luigi Rizzo |
Implementing a parallel PROLOG interpreter by using OCCAM and transputers. |
Microprocess. Microsystems |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Masami Hagiya |
Meta-Circular Interpreter for a Strongly Typed Language. |
J. Symb. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
16 | C. McDonald, Lloyd Allison |
Denotational Semantics of a Command Interpreter and Their Implementation in Standard ML. |
Comput. J. |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Michael A. Jenkins |
Q'Nial; A Portable Interpreter for the Nested Interactive Array Language, Nial. |
Softw. Pract. Exp. |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Victor B. Schneider |
Converting a Portable Pascal-code Interpreter to a Code Generator. |
Softw. Pract. Exp. |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Timothy A. Budd |
The Design of an Object-oriented Command Interpreter. |
Softw. Pract. Exp. |
1989 |
DBLP DOI BibTeX RDF |
|
16 | M. Nussbaum |
An Interpreter for Large Knowledge Bases. |
ACM Conference on Computer Science |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Joseph E. Lang |
An interpreter for Backus's formal functional programming language. |
ACM Conference on Computer Science |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Dick H. J. Epema |
A VM Performance Analyzer, Interpreter and Adviser. |
Int. CMG Conference |
1989 |
DBLP BibTeX RDF |
|
16 | Chao-Lin Liu, Keh-Yih Su |
A Quantitative Comparison Between an LR Parser and an ATN Interpreter. |
ROCLING |
1989 |
DBLP BibTeX RDF |
|
16 | Haruhiro Katayose, Keishi Takami, Toshiyuki Fukuoka, Seiji Inokuchi |
Music Interpreter in the Kansei Music System. |
ICMC |
1989 |
DBLP BibTeX RDF |
|
16 | Richard F. Hobson, J. D. Hoskin, R. W. Spilsbury |
Opportunities for System and User Features in a New APL Interpreter. |
APL |
1989 |
DBLP DOI BibTeX RDF |
APL |
16 | Steffen Leo Hansen |
På vej mod en fagsproglig tekstfortolker? (Towards a specialized text interpreter?) [In Danish]. |
NODALIDA |
1989 |
DBLP BibTeX RDF |
|
16 | Uwe Glässer |
Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern. |
Transputer-Anwender-Treffen |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Leon Sterling, L. Ümit Yalçinalp |
Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
16 | F. Dardel, P. Bensoussan |
DNAid: a Macintosh full screen editor featuring a built-in regular expression interpreter for the search of specific patterns in biological sequences using finite state automata. |
Comput. Appl. Biosci. |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Chris McDonald, Trevor I. Dix |
Support for Graphs of Processes in a Command Interpreter. |
Softw. Pract. Exp. |
1988 |
DBLP DOI BibTeX RDF |
|
16 | R. E. M. Cooper, G. Jones |
A Microprogrammed occam Interpreter for the HLH Orion. |
Softw. Pract. Exp. |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Luigi Logrippo, Abdellatif Obaid, J. P. Briand, M. C. Fehri |
An Interpreter for LOTOS, a Specification Language for Distributed Systems. |
Softw. Pract. Exp. |
1988 |
DBLP DOI BibTeX RDF |
|
16 | L. Ümit Yalçinalp, Leon Sterling |
An Integrated Interpreter for Explaining Prolog's Successes and Failures. |
META |
1988 |
DBLP BibTeX RDF |
|
16 | A. Bruffaerts, E. Henin |
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
16 | Bruce T. Smith, Donald W. Loveland |
A Simple Near-Horn Prolog Interpreter. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
16 | Vincent F. Russo, Simon M. Kaplan |
A C++ Interpreter for Scheme. |
C++ Conference |
1988 |
DBLP BibTeX RDF |
|
16 | Pierre Jouvelot, David K. Gifford |
The FX-87 Interpreter. |
ICCL |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Renaud Guillemot, Luigi Logrippo |
Derivation of Useful Execution Trees from LOTOS by using an Interpreter. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
16 | Stefan Lüttringhaus |
An Interpreter with Lazy Evaluation for Prolog with Functions. |
CSL |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Mavis K. Lee, Johann Christoph Freytag, Guy M. Lohman |
Implementing an Interpreter for Functional Rules in a Query Optimizer. |
VLDB |
1988 |
DBLP BibTeX RDF |
|
16 | Jean H. Gallier, Stan Raatz |
Hornlog: A Graph-Based Interpreter for General Horn Clauses. |
J. Log. Program. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Derek Coleman, Robin M. Gallimore, Victoria Stavridou |
The design of a rewrite rule interpreter from algebraic specifications. |
Softw. Eng. J. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Mario Mango Furnari |
Pascal Implementation of a LISP Interpreter. |
ACM SIGPLAN Notices |
1987 |
DBLP DOI BibTeX RDF |
Pascal LISP |
16 | Robert M. O'Keefe |
An interactive simulation description interpreter. |
Comput. Oper. Res. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Thomas C. McMillan |
A small lisp interpreter as a project in a programming language course. |
ACM SIGCSE Bull. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Chris S. McDonald |
fsh - A Functional UNIX Command Interpreter. |
Softw. Pract. Exp. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Pierluigi Civera, Gianluca Piccinini, Maurizio Zamboni |
Design considerations on a VLSI Prolog interpreter. |
Microprocess. Microprogramming |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Eliot E. Miranda |
BrouHaHa - A Portable Smalltalk Interpreter. |
OOPSLA |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Hartmut Freitag, Michael Reinfrank |
An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Gregor Engels, Andy Schürr |
A Hybrid Interpreter in a Software Development Environment. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Dennis S. Martin |
A miniLISP interpreter. |
SIGCSE |
1987 |
DBLP DOI BibTeX RDF |
LISP, LISP |
16 | Armand Prieditis, Jack Mostow |
PROLEARN: Towards a Prolog Interpreter that Learns. |
AAAI |
1987 |
DBLP BibTeX RDF |
|
16 | Thomas Pittman |
Two-level hybrid interpreter/native code execution for combined space-time program efficiency. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Laurent Fribourg |
SLOG: A Logic Interpreter for Equational Clauses. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Pierluigi Civera, F. Maddaleno, Gianluca Piccinini, Maurizio Zamboni |
An Experimental VLSI Prolog Interpreter: Preliminary Measurements and Results. |
ISCA |
1987 |
DBLP DOI BibTeX RDF |
|
16 | A. M. Helliwell |
Implementation of a highly portable Pascal interpreter using indirect threaded code techniques. |
|
1987 |
RDF |
|
16 | John F. Sowa, Eileen C. Way |
Implementing a Semantic Interpreter Using Conceptual Graphs. |
IBM J. Res. Dev. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | François Baccelli, Philippe Mussi |
An Asynchronous Parallel Interpreter for Arithmetic Expressions and Its Evaluation. |
IEEE Trans. Computers |
1986 |
DBLP DOI BibTeX RDF |
stochastic grammars, paraDlel parsing, performance evaluation, distributed systems, parallel compiling, Branching process |
16 | Ajit Narayanan |
Slip intoLISP: How to choose aLISP interpreter. |
Artif. Intell. Rev. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Andrew P. Bernat |
An interactive interpreter/graphic-simulator for IBM S/370 architecture assembly language. |
ACM SIGCSE Bull. |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Hans P. Zima |
A Constraint Language and Its Interpreter. |
Comput. Lang. |
1986 |
DBLP DOI BibTeX RDF |
|