O. Lecarme, M. Pellissier, and M.-C. Thomas. Computer-aided production of language implementation systems: A review and classification. Software--- Practice and Experience, 12(9):785--824, 1982. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Axiomatic Bootstrapping: A guide for compiler hackers - Appel (1994) (2 citations) (Correct)
....like 154 datatype layouts D, not like calling sequences C. This should not be surprising, as the record type a,b is indeed a kind of type constructor (just like a datatype) and the layout into bits of ML data types is exactly what D was supposed to characterize. 6 Related work Lecarme et al. [4] present a good explanation of a theory of bootstrapping using T diagrams, a notation invented by Bratman [2] and formalized by Earley and Sturgis [3] This theory is simple and elegant, and the diagrams are pretty to look at. It is very successful in describing the steps needed to produce a ....
O. Lecarme, M. Pellissier, and M.-C. Thomas. Computer-aided production of language implementation systems: A review and classification. Software--- Practice and Experience, 12(9):785--824, 1982.
An Implementation of the Haskell Language - Spinellis (1990) (Correct)
....user friendly functional language environment is stressed in [Lei84] who outlines the experience of using the InterLISP environment. The various styles of LISP environments are summarised in [San78] A formal classification of the various types of writing language for an interpreter is given in [LPT82, p. 802] The ways interpretation can be implemented are categorised in [Kli81] as follows: CLASS (Classical) The instruction at the address of the program counter is executed. DTC (Direct Threaded Code) The instruction pointed by the address of the program counter is executed. ITC (Indirect ....
Olivier Lecarme, Mireille Pellissier, and Marie-Claude Thomas. Computer-aided production of language implementation systems: A review and classification. Software---Practice and Experience, 12:785--824, 1982.
Axiomatic Bootstrapping: A guide for compiler hackers - Appel (1994) (2 citations) (Correct)
....like datatype layouts D, not like calling sequences C. This should not be surprising, as the record type a,b is indeed a kind of type constructor (just like a datatype) and the layout into bits of ML data types is exactly what D was supposed to characterize. 7 Related work Lecarme et al. [4] present a good explanation of a theory of bootstrapping using T diagrams, a notation invented by Bratman[2] and formalized by Earley and Sturgis[3] This theory is simple, elegant, and the diagrams are pretty to look at. It is very successful in describing the steps needed to produce a compiler ....
Olivier Lecarme, Mireille Pellissier, and MarieClaude Thomas. Computer-aided production of language implementation systems: A review and classification. Software---Practice and Experience, 12(9):785--824, 1982.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC