scientific article; zbMATH DE number 3187218
From MaRDI portal
Publication:5723489
zbMath0115.12702MaRDI QIDQ5723489
Publication date: 1964
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)
Related Items
Data structure and storage allocation, A functional correspondence between call-by-need evaluators and lazy abstract machines, The design of a pascal compiler, Abstract machine modelling to produce portable software—a review and evaluation, Storage administration in a virtual memory Simula system, Evalquote in simple Fortran: A tutorial on interpreting Lisp, Implementing the ALGOL 68 heap, On termination problems for finitely interpreted ALGOL-like programs, Compilation of linear partial differential equations into finite-difference programs, Improving the lazy Krivine machine, On the correctness of the Krivine machine, Testing ALGOL 60 compilers, Computation, hypercomputation, and physical science, A language for inquiring about the run-time behaviour of programs, PASCAL in LCF: Semantics and examples of proof, A new implementation technique for applicative languages, Organizing the description of a relational data base, A run-time mechanism for referencing variables, The design and implementation of parametric types in Pascal, A minimalist approach to objects, Possibilities for refining an object program compiled with an ALGOL translator
Uses Software
