Overview of MC/LISP System

スポンサーリンク

概要

• 論文の詳細を見る

• A LISP system called MC/ LISP is described. It was developed as part of a multiple programming environment, a platform on which new programming paradigms are experimented. In this paper we focus on the implementation issues of MC/LISP. The model that MC/LISP is based on is characterized by two stacks, i.e. frame and control stacks and a single heap. It is a model that is intended to be implemented on stock hardware. We present the overall structure of MC/LISP together with the discussions which lead us to adopt the structure. The semantics of LISP programs as viewed in MC/LISP is described in two ways. We first give a brief description of the formal semantics of MC/LlSP which faithfully models the implementation. It corresponds to the description of the interpreter of MC/LISP. We then discuss compilation methods based on program transfor-mation. The two descriptions are intended to give abstract view of the computing model embodied in MC/ LISP.

• 一般社団法人情報処理学会の論文
• 1990-11-10

著者

• IDA Tetsuo

  Institute of Information Sciences and Electronics, University of Tsukuba

• Ida T

  Institute Of Information Sciences And Electronics University Of Tsukuba

• Ida Tetsuo

  Institute Of Information Sciences And Electronics University Of Tsukuba

• MATSUNO TOSHIHIRO

  Facom-Hitac Ltd.

関連論文

• Deterministic and Non-deterministic Lazy Conditional Narrowing and their Implementations
• Abstract Machine Approach to Operational Semantics of Prolog
• Collaborative Constraint Functional Logic Programming System in an Open Environment(Regular Section)
• Overflow Free and Variable Precision Computing in FLATS
• Overview of MC/LISP System
• Outside-In Conditional Narrowing
• Parallel Hash Algorithms for Virtual Key Index Tables
• Analysis of Parallel Hashing Algorithms with Key Deletion

スポンサーリンク