SIGPLAN Conferences and Workshops最新文献_第3页

Efficient interpretation of Prolog programs Prolog程序的有效解释

SIGPLAN Conferences and Workshops Pub Date : 1987-07-01 DOI: 10.1145/29650.29664

Jonas Barklund

引用次数: 4

Constructive real interpretation of numerical programs 数值程序的建设性实解

SIGPLAN Conferences and Workshops Pub Date : 1987-07-01 DOI: 10.1145/29650.29673

H. Boehm

引用次数: 31

A recursive interpreter for the Icon programming language Icon编程语言的递归解释器

SIGPLAN Conferences and Workshops Pub Date : 1987-07-01 DOI: 10.1145/29650.29665

Janalee O'Bagy, R. Griswold

引用次数: 15

Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter 对称Lisp解释器中的并行性、持久性和元清洁性

SIGPLAN Conferences and Workshops Pub Date : 1987-07-01 DOI: 10.1145/29650.29679

D. Gelernter, S. Jagannathan, T. London

{"title":"Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter","authors":"D. Gelernter, S. Jagannathan, T. London","doi":"10.1145/29650.29679","DOIUrl":"https://doi.org/10.1145/29650.29679","url":null,"abstract":"Symmetric Lisp is a programming language designed around first-class environments, where an environment is a dictionary that associates names with definitions or values. In this paper we describe the logical structure of the Symmetric Lisp interpreter. In other interpreted languages, the interpreter is a virtual machine that evaluates user input on the basis of its own internal state. The Symmetric Lisp interpreter, on the other hand, is a simple finite-state machine with no internal state. Its role is to attach user input to whatever environment the user has specified; such environments are transparent objects created by, maintained by and fully accessible to the user. The interpreter's semantics are secondary to the semantics of environments in Symmetric Lisp: it is the environment-object to which an expression is attached, not the interpreter, that controls the evaluation of expressions.This arrangement has several consequences. Because environments in Symmetric Lisp are governed by a parallel evaluation rule, the Symmetric Lisp interpreter is a parallel interpreter. A Symmetric Lisp environment evaluates to another environment; a session with the interpreter therefore yields a well-defined environment object as its result. Users are free to write routines that manage these interpreter-created objects - routines that list the elements of a namespace, coalesce environments, maintain multiple name definitions and so on precisely because environment objects may be freely inspected and manipulated. Because a named environment may contain other named environments as elements, interpreter-created objects may be regarded as hierarchical file systems. Because of the parallel evaluation semantics of environments, the interpreter is well-suited as an interface to a concurrent, language-based computer system that uses Symmetric Lisp as its base language. We argue that - in short - a basic semantic simplification in Symmetric Lisp promises a correspondingly basic increase in power at the user-interpreter interface.","PeriodicalId":414056,"journal":{"name":"SIGPLAN Conferences and Workshops","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131839144","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

The type inference and coercion facilities in the scratchpad II interpreter scratchpad II解释器中的类型推断和强制转换功能

SIGPLAN Conferences and Workshops Pub Date : 1987-07-01 DOI: 10.1145/29650.29656

R. Sutor, R. Jenks

引用次数: 28

A Fortran 77 interpreter for mutation analysis 用于突变分析的Fortran 77解释器

SIGPLAN Conferences and Workshops Pub Date : 1987-07-01 DOI: 10.1145/29650.29669

A. Offutt, K. N. King

引用次数: 44

Cint: a RISC interpreter for the C programming language C语言的RISC解释器

SIGPLAN Conferences and Workshops Pub Date : 1987-07-01 DOI: 10.1145/29650.29670

J. Davidson, J. Gresh

{"title":"Cint: a RISC interpreter for the C programming language","authors":"J. Davidson, J. Gresh","doi":"10.1145/29650.29670","DOIUrl":"https://doi.org/10.1145/29650.29670","url":null,"abstract":"Cint is an interpretation system for the C programming language. Like most interpretation systems, it provides \"load and go\" type execution as well as enhanced debugging and performance analysis tools. Cint consists of two phases--a translator and an interpreter. The translator compiles the source program into code for a virtual machine. The interpreter then loads and executes this code. While providing services similar to traditional interpreters, Cint differs from them in two important ways. First, the virtual machine languages used by many interpreters are quite large; machines with 100 to 200 operations are common. In contrast, Cint's virtual machine has only 63 operations. Second, to achieve acceptable execution speeds, interpreters are often implemented in the assembly language of the host machine. Cint, however, is written entirely in C and is therefore portable. In fact, it has been transported to four machines without modification. Despite the compact size of the virtual machine language and the high-level language implementation, Cint's execution speed is comparable to that of other interpreters. This paper describes the design of the virtual machine, the implementation of the interpreter, and the performance of the system.","PeriodicalId":414056,"journal":{"name":"SIGPLAN Conferences and Workshops","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116106683","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 14

Selective interpretation as a technique for debugging computationally intensive programs 选择性解释作为调试计算密集型程序的一种技术

SIGPLAN Conferences and Workshops Pub Date : 1987-07-01 DOI: 10.1145/29650.29662

B. B. Chase, R. Hood

引用次数: 7

Integrating code generation and optimization 集成代码生成和优化

SIGPLAN Conferences and Workshops Pub Date : 1986-07-01 DOI: 10.1145/12276.13335

C. Fraser, A. L. Wendt

引用次数: 29

Implementing RUSSELL 实现罗素

SIGPLAN Conferences and Workshops Pub Date : 1986-07-01 DOI: 10.1145/12276.13330

Hans-Juergen Boehm, Alan J. Demers

引用次数: 19