Вы здесь

Главная

интерпретатор

Связанные издания:

A Bottom-Up Interpreter for a Higher-Order Logic Programming Language
A Client-Side Stub Interpreter
A Combination of Clausal and Non Clausal Temporal Logic Programs
A Complete Top-down Interpreter for First Order Programs
A Language and Tool for Generating Efficient Virtual Machine Interpreters
A Language Prototyping Tool Based on Semantic Building Blocks
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages
An ALGOL Object Code Interpreter in Scheme
An Implementation of Action Semantics (Summary)
An Implementation Technique for the Abstract Interpretation of Prolog
An Interpreter for Diagrammatic Languages Based on SR Grammars
A Note on Specialization of Interprets
A Simple near-Horn Prolog Interpreter
Assembler Utility Functions for APL2/PC
Association Sequences as Self-Modifying Functions
A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter
A Symmetric Approach to Compilation and Decompilation
A Theory of Generic Interpreters
A Tool for Abstract Interpretation: Dynamic Programming
Attribute-grammar interpreter for inexact reasoning
Backus - FP: ein funktionales Programmiersystem
Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell
Building Incremental Programs usig Partial Evaluation
Building Tailorable Hypermedia Systems: The Embedded-Interpreter Approach
Combining Semantics with Non-standard Interpreter Hierarchies
Dataflow Assembly Language Programming System
Datalog and TwoGroups and C++
Developing Efficient Interpreters Based on Formal Language Specifications
DSL Implementation in MetaOCaml, Template Haskell, and C++
Dynamic Extensibility in a Statically-Compiled Object-Oriented Language
Efficient Interpretation of State Charts
Efficient Loop Handling in a Stream-oriented Unravelling Dataflow Interpreter
Essential LISP
Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAM
Foundations of Software Science and Computation Structures: Proc./20th International Conference, FOSSACS 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Generating Transformers for Deforestation and Supercompilation
Generation Garbage Collection for Lazy Graph Reduction
HL - View. Programmierumgebung fur eine Benutzerschnittstelle
ILIAS, a Sequential Language for Parallel Matrix Computations
Implementing a Methodology for Formally Verifying RISC Processors in HOL
Implementing a parallel PROLOG interpreter by using OCCAM and transputers
Integration Partial Evaluators into Interpreters
Interpreter Verification for a Functional Language
LISP-SP: A Portable INTERLISP Subset Interpreter for Mini-Computers
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2020, Deerfield Beach,FL,USA, January 2020
Manual of FranzScheme
Memoring for Logic Programs
Mint Tutorial and User Manual
Multiple Interpretations of the Logical Structure of Legal Rules: Implement or Boon to Legal Expert Systems?
Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution