scientific article; zbMATH DE number 1058947

zbMath0882.68023MaRDI QIDQ4353361

No author found.

Publication date: 9 September 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

statetypeparametersemanticsenvironmentdenotational semanticsassignmentcontinuationprocedurefunctional programmingsyntaxlambda-calculusdomainside effectALGOLimperative languagesnap-backsubtypestoreL-valuecoersion

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (2)

Latent semantic analysis of game models using LSTM ⋮ Free-algebra models for the \(\pi \)-calculus

Uses Software

• Forsythe
• ALGOL 60
• Unnamed Item

This page was built for publication: