MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Program Interpreters." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1,475 documents found, showing 1 through 10. Next 10 →

ATOM

A FUNCTIONAL PROGRAMMING INTERPRETER BY
by Arch Douglas Robison, Arch Douglas Robison, Arch Douglas Robison — 1987
… Robison March 1987 C’ILU-ENG-87-1714 ~~~~~~ *\ *tL A FUNCTIONAL PROGRAMMING INTERPRETER bv Arch Douglas…
Add To MetaCart

Near-concrete program interpretation
by Paritosh Shroff, Christian Skalka, Scott F. Smith — 2006
…Near-Concrete Program Interpretation Paritosh Shroff 1 , Christian Skalka 2 , and Scott F. Smith 1…
Cited by 1 (1 self) – Add To MetaCart

Assertion-Based Debugging of Imperative Programs By Interpretation
by François Bourdoncle — 1993 — In: Proc. ESEC ’93
…Assertion-based debugging of imperative programs by abstract interpretation Franois Bourdoncle…
Add To MetaCart

An application of rational trees in a logic programming interpreter for a procedural language
by Manuel Carro — 2004
… of an interpreter for a procedural language written in a logic programming language. This is possible in languages…
Cited by 1 (0 self) – Add To MetaCart

Efficient First Order Functional Program Interpreter With Time Bound Certifications
by J.-Y. Marion, J.-Y. Moyen — 2000
…Ecient rst order functional program interpreter with time bound certications J.-Y. Marion J…
Cited by 9 (6 self) – Add To MetaCart

FOLPI, A Forestry-Oriented Linear Programming Interpreter
by Oscar García, New Zealand, Forest Service — 1984 — University of Tokyo
…FOLPI, A Forestry-Oriented Linear Programming Interpreter ∗ Oscar García Forest Research Institute…
Cited by 4 (2 self) – Add To MetaCart

Linear programming interpretations of Mather’s variational principle
by L. C. Evans, D. Gomes — 2002
…LINEAR PROGRAMMING INTERPRETATIONS OF MATHER’S VARIATIONAL PRINCIPLE L. C. Evans 1 and D. Gomes 2…
Cited by 2 (2 self) – Add To MetaCart

Towards Computer-Verified Proofs of Correctness of Logic-Programming Interpreters Using Derivations
by Vernon Ralph Austel, Vernon Ralph Austel, Herbert Enderton, Eli Gafni, Carlo Zaniolo, D. Stott Parker, Committee Chair — 1997
… of logic-programming interpreters using derivations by Vernon Ralph Austel Doctor of Philosophy…
Add To MetaCart

Experiments in Program Compilation by Interpreter Specialization
by Scott Thibault, Laurent Bercot, Charles Consel, Renaud Marlet, Gilles Muller, Julia Lawall — 1998
… ISSN 1166-8687 1212 EXPERIMENTS IN PROGRAM COMPILATION BY INTERPRETER SPECIALIZATION SCOTT THIBAULT…
Cited by 4 (3 self) – Add To MetaCart

Performance Measurement of Interpreted Programs
by Tia Newhall, Barton P. Miller — 1998 — in Proceedings of Euro-Par'98 Conference
…Performance Measurement of Interpreted Programs ? Tia Newhall and Barton P. Miller Computer…
Cited by 7 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB