BibSLEIGH — interpreter tag

interpreter

interpreter

Tag #interpreter

79 papers:

ICML-2017-BosnjakRNR #programming: Programming with a Differentiable Forth Interpreter (MB, TR, JN, SR0), pp. 547–556.
ICSME-2016-Quante #case study: Use Cases of a Generic Model Interpreter in an Automotive Software Setting (JQ), pp. 539–542.
SCAM-2016-Quante #abstraction #framework: A Program Interpreter Framework for Arbitrary Abstractions (JQ), pp. 91–96.
FSCD-2016-GimenezO #2d #automaton #interactive: Interaction Automata and the ia2d Interpreter (SG, DO), p. 11.
FASE-2016-RiescoOF #maude #named: CafeInMaude: A CafeOBJ Interpreter in Maude (AR0, KO0, KF), pp. 377–380.
SEFM-2015-NicolaMPST #interactive #modelling #twitter: Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (RDN, AM, MP, AS, FT), pp. 327–343.
GaM-2015-BakFPR #graph #programming language: A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.
CGO-2015-DeweyKH #javascript #parallel: A parallel abstract interpreter for JavaScript (KD, VK, BH), pp. 34–45.
FLOPS-2014-BarkatiWJ #multi #named: Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing — System Description (KB, HW, PJ), pp. 69–85.
OSDI-2014-WangLZCT #framework #kernel #named: Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (XW, DL, NZ, AC, ZT), pp. 33–47.
PPoPP-2014-OdairaCT #hardware #memory management #ruby #transaction: Eliminating global interpreter locks in ruby through hardware transactional memory (RO, JGC, HT), pp. 131–142.
CGO-2013-GartleyPSG #case study #design #experience #framework #profiling #robust #scalability: Experiences in designing a robust and scalable interpreter profiling framework (IG, MP, VS, NG), p. 10.
GCM-2010-GolasBEE11 #graph transformation #semantics #visual notation: A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).
KEOD-2011-AlbertiK #database: The Implemented Human Interpreter as a Database (GA, MK), pp. 379–385.
TOOLS-EUROPE-2011-HillsKSV #visitor: A Case of Visitor versus Interpreter Pattern (MH, PK, TvdS, JJV), pp. 228–243.
CC-2011-Brunthaler #scheduling: Interpreter Instruction Scheduling (SB), pp. 164–178.
CIKM-2010-KimKLB #performance #semantics: Efficient wikipedia-based semantic interpreter by exploiting top-k processing (JWK, AK, DL, SB), pp. 1813–1816.
ESOP-2010-KoprowskiB #named #parsing: TRX: A Formally Verified Parser Interpreter (AK, HB), pp. 345–365.
FASE-2008-CamaraSC #composition #named: Clint: A Composition Language Interpreter (JC, GS, CC), pp. 423–427.
ICFP-2007-CooperM #case study #experience #haskell: Experience report: a Haskell interpreter for cellML (JC, SM), pp. 247–250.
GPCE-2006-BradyH #compilation #staged: A verified staged interpreter is a verified compiler (EB, KH), pp. 111–120.
ITiCSE-2005-Fossum: Classes as first class objects in an environment-passing interpreter (TVF), pp. 261–265.
ASE-2005-UbayashiMMT #aspect-oriented #modelling: A parameterized interpreter for modeling different AOP mechanisms (NU, GM, HM, TT), pp. 194–203.
CC-2005-CaseyGE #generative #named: Tiger — An Interpreter Generation Tool (KC, DG, MAE), pp. 246–249.
LOPSTR-2003-BiernackiD #logic: From Interpreter to Logic Engine by Defunctionalization (DB, OD), pp. 143–159.
SAC-2003-BeattyCGN #embedded #java: An Optimized Java Interpreter for Connected Devices and Embedded Systems (AB, KC, DG, AN), pp. 692–697.
VMCAI-2003-GoriL: Properties of a Type Abstract Interpreter (RG, GL), pp. 132–145.
RTA-2002-Lippi #interactive #visual notation: in² : A Graphical Interpreter for Interaction Nets (SL), pp. 380–386.
ECOOP-2002-NeumannZ #case study #design #implementation #parsing #rdf #xml: Pattern-Based Design and Implementation of an XML and RDF Parser and Interpreter: A Case Study (GN, UZ), pp. 392–414.
ASPLOS-2002-OgataKN #bytecode #java #optimisation: Bytecode fetch optimization for a Java interpreter (KO, HK, TN), pp. 58–67.
CC-2002-ErtlG: Building an Interpreter with Vmgen (MAE, DG), pp. 5–8.
ESOP-2002-GoubaultMP #float #precise: Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.
ICSE-2000-CassLSMWO #named #process: Little-JIL/Juliette: a process definition language and interpreter (AGC, BSL, SMSJ, EKM, AEW, LJO), pp. 754–757.
OOPSLA-1997-Lorenz #case study #design pattern #using: Tiling Design Patterns — A Case Study Using the Interpreter Pattern (DHL), pp. 206–217.
TRI-Ada-1997-FofanovRS #interactive #named: ASIStint: An Interactive ASIS Interpreter (VF, SR, AS), pp. 205–209.
ITiCSE-1996-Jimenez-PerisP #visualisation: A Modula-2 interpreter/visualizer (RJP, MPM), p. 232.
PDP-1996-NapoliGF #community #concurrent #implementation #lisp: A Paralation Model Implementation Based on a Concurrent Lisp Interpreter Community (CDN, MG, MMF), pp. 429–436.
PEPM-1995-Goubault #automaton #higher-order: Schedulers as Abstract Interpreter of Higher Dimensional Automata (EG), pp. 134–145.
POPL-1995-Proebsting #c #optimisation: Optimizing an ANSI C Interpreter with Superoperators (TAP), pp. 322–332.
CC-1994-CheathamGS #analysis #tool support: A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter (TC, HG, DCS), pp. 188–202.
ILPS-1994-McCartyS #first-order #logic #prolog: A PROLOG Interpreter for First-Order Intuitionistic Logic (LTM, LAS), p. 685.
ICRE-1993-Kohring #german: Ein flexibler Interpreter für ausfürhrbare Anforderungsdokumente (CK), pp. 193–208.
PDP-1993-BenjumeaRT #distributed #evaluation #parallel #prolog: A Prolog interpreter for OR parallelism evaluation on distributed systems (VB, MR, JMT), pp. 105–112.
SEKE-1992-SohnGG #parallel #profiling: Parallelism Profiling of an Ops5 Production System Interpreter (AS, JLG, MG), pp. 534–543.
PLILP-1992-Hoa #bottom-up #higher-order #logic programming #programming language: A Bottom-Up Interpreter for a Higher-Order Logic Programming Language (AHBH), pp. 326–340.
DAC-1992-Peltz #design: An Interpreter for General Netlist Design Rule Checking (GP), pp. 305–310.
ISLP-1991-SatoM #first-order #source code #top-down: A Complete Top-Down Interpreter for First Order Programs (TS, FM), pp. 35–53.
CAiSE-1990-DunnO #concept #natural language: A Natural Language Interpreter for Construction of Conceptual Schemas (LD, MEO), pp. 175–194.
ESOP-1990-Bertot #implementation #parallel: Implementation of an Interpreter for a Parallel Language in Centaur (YB), pp. 57–69.
SIGMOD-1988-DelcambreE #relational #self: A Self-Controlling Interpreter for the Relational Production Language (LMLD, JNE), pp. 396–403.
VLDB-1988-LeeFL #functional #implementation #query: Implementing an Interpreter for Functional Rules in a Query Optimizer (MKL, JCF, GML), pp. 218–229.
VDME-1988-AndrewsGLP: The Formal Definition of Modula-2 and Its Associated Interpreter (DJA, AG, SPAL, JRP), pp. 167–177.
CSL-1988-Luttringhaus #evaluation #lazy evaluation #prolog: An Interpreter with Lazy Evaluation for Prolog with Functions (SL), pp. 199–225.
JICSCP-1988-SmithL88 #prolog: A Simple Near-Horn Prolog Interpreter (BTS, DWL), pp. 794–809.
OOPSLA-1987-Miranda #named #smalltalk: BrouHaHa — A Portable Smalltalk Interpreter (EM), pp. 354–365.
PLDI-1987-Clark #editing #syntax: The JADE interpreter: a RISC interpreter for syntax directed editing (CFC), pp. 222–228.
PLDI-1987-DavidsonG #c #named #programming language: Cint: a RISC interpreter for the C programming language (JWD, JVG), pp. 189–198.
PLDI-1987-FaustiniW: An eductive interpreter for Lucid (AAF, WWW), pp. 86–91.
PLDI-1987-GelernterJL #lisp #parallel #persistent #symmetry: Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter (DG, SJ, TL), pp. 274–282.
PLDI-1987-Krall #implementation #performance #prolog: Implementation of a high-speed Prolog interpreter (AK), pp. 125–131.
PLDI-1987-NotkinG: Enhancement through extension: the extension interpreter (DN, WGG), pp. 45–55.
PLDI-1987-OBagyG #programming language #recursion: A recursive interpreter for the Icon programming language (JO, REG), pp. 138–149.
PLDI-1987-OffuttK #analysis #fortran #mutation testing: A Fortran 77 interpreter for mutation analysis (AJO, KNK), pp. 177–188.
PLDI-1987-Pittman #execution #hybrid #performance: Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
PLDI-1987-Robison #functional #programming: The Illinois functional programming interpreter (ADR), pp. 64–73.
PLDI-1987-SkedzielewskiYO #debugging #interactive #named: DI: an interactive debugging interpreter for applicative languages (SKS, RKY, RRO), pp. 102–112.
PLDI-1987-SutorJ #type inference: The type inference and coercion facilities in the scratchpad II interpreter (RSS, RDJ), pp. 56–63.
ESEC-1987-EngelsS #development #hybrid: A Hybrid Interpreter in a Software Development Environment (GE, AS), pp. 80–88.
ESOP-1986-GeserH #case study #experience #specification #term rewriting: Experiences with the RAP System — A Specification Interpreter Combining Term Rewriting and Resolution (AG, HH), pp. 339–350.
SLP-1985-Fribourg85 #logic programming #named #programming language: SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting (LF), pp. 172–184.
POPL-1984-HoffmannO #equation #implementation: Implementation of an Interpreter for Abstract Equations (CMH, MJO), pp. 111–121.
DAC-1984-PowellE: The icewater language and interpreter (PADP, MIE), pp. 98–102.
ILPC-1984-BekkersCRU84 #memory management #prolog: A Memory Management Machine for Prolog Interpreter (YB, BC, OR, LU), pp. 343–353.
ILPC-1984-Kacsuk84 #data flow #parallel #prolog: A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model (PK), pp. 195–205.
POPL-1982-Henson #generative #semantics: Completion Semantics, Interpreter Generation (MCH, RT), pp. 242–254.
ILPC-1982-FurukawaNM82 #concurrent #programming #prolog: Prolog Interpreter Based on Concurrent Programming (KF, KN, YM), pp. 38–44.
LISP-1980-McDermott #lisp #performance: An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP (DVM), pp. 154–162.
POPL-1979-HoffmanO #generative #pattern matching #using: Interpreter Generation Using Tree Pattern Matching (CMH, MJO), pp. 169–179.
ICSE-1979-AsirelliDLMMPST #development #flexibility: A Flexible Environment for Program Development Based on a Symbolic Interpreter (PA, PD, GL, AM, UM, GP, FS, FT), pp. 251–264.