scientific article
From MaRDI portal
Publication:3686011
zbMath0569.68005MaRDI QIDQ3686011
Gerald J. Sussman, Julie Sussman, Harold Abelson
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
programming languagesabstractionfunctional programmingsoftware engineeringLispSchemeprogramming concepts
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68Nxx)
Related Items (23)
Unnamed Item ⋮ Game theoretic analysis of call-by-value computation ⋮ Wrapper semantics of an object-oriented programming language with state ⋮ A foundation for higher-order concurrent constraint programming ⋮ Qualitative and quantitative simulation: bridging the gap ⋮ \texttt{MEEP}: a flexible free-software package for electromagnetic simulations by the FDTD method ⋮ A first order logic of effects ⋮ The expressive power of Structural Operational Semantics with explicit assumptions ⋮ New architectures for constructed complex systems ⋮ Obtaining lazy evaluation with continuations in SCHEME ⋮ Game-theoretic analysis of call-by-value computation ⋮ Sound and complete concolic testing for higher-order functions ⋮ Improving the lazy Krivine machine ⋮ Computing structure: Sets, structures, and invariants in LISP ⋮ A theory for program and data type specification ⋮ From eager or lazy constrained data acquisition: A general framework ⋮ Denotational semantics of an object-oriented programming language with explicit wrappers ⋮ A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ ⋮ A ``geometric view of the dynamics of trajectories of computer programs ⋮ A Process-Model for Linear Programs ⋮ Towards an integration science. The influence of Richard Bellman on our research. ⋮ Bisimilarity in term graph rewriting. ⋮ Pattern-directed invocation with changing equations
This page was built for publication:
