Raphael, B. (1966) The structure of programming languages. Communications of the ACM , 9, 155-156. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The HOL Light manual (1.1) - Harrison (2000) (4 citations) (Correct)
....interactive and interpretive mode. When it is started it presents its prompt ( # ) Caml Light version 0.74 # (In order to exit the system, simply type ctrl d or quit( at the prompt. When CAML presents you with its prompt, you can type in expressions, terminated 2 Compare Naur s remarks (Raphael 1966) that he can write any program in a single statement Output = P rogram(Input) 2.2. BASIC USE OF CAML 11 by two successive semicolons, and it will evaluate them and print the result. In computing jargon, the CAML system sits in a read eval print loop: it repeatedly reads an expression, evaluates ....
Raphael, B. (1966) The structure of programming languages. Communications of the ACM , 9, 155-156.
The HOL Light manual (1.0) - Harrison (1998) (4 citations) (Correct)
....interactive and interpretive mode. When it is started it presents its prompt ( # ) Caml Light version 0.74 # (In order to exit the system, simply type ctrl d or quit( at the prompt. When CAML presents you with its prompt, you can type in expressions, terminated 2 Compare Naur s remarks (Raphael 1966) that he can write any program in a single statement Output = P rogram(Input) 2.2. BASIC USE OF CAML 11 by two successive semicolons, and it will evaluate them and print the result. In computing jargon, the CAML system sits in a read eval print loop: it repeatedly reads an expression, evaluates ....
Raphael, B. (1966) The structure of programming languages. Communications of the ACM , 9, 155--156.
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