scientific article; zbMATH DE number 1058947

MaRDI QIDQ4353361zbMATH OpenFDO

Authors

Publication date 9 September 1997

zbMATH Keywords

ALGOLassignmentcoersioncontinuationdenotational semanticsdomainenvironmentfunctional programmingimperative languageL-valuelambda-calculusparameterproceduresemanticsside effectsnap-backstatestoresubtypesyntaxtype

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)

Recommendations

• scientific article; zbMATH DE number 3999254
• Semantical analysis of specification logic. II
• Objects, interference, and the Yoneda embedding

Cited in

(19)

• Semantical analysis of specification logic. II
• Full abstraction for the second order subset of an Algol-like language
• Objects and classes in Algol-like languages
• A formal algorithmic language FALGOL. Thirty years after
• Latent semantic analysis of game models using LSTM
• Free-algebra models for the \(\pi \)-calculus
• Automata-theoretic semantics of idealized Algol with passive expressions
• On the semantics of the bad-variable constructor in Algol-like languages
• scientific article; zbMATH DE number 3890703 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 3970088 (Why is no real title available?)
• scientific article; zbMATH DE number 4086980 (Why is no real title available?)
• scientific article; zbMATH DE number 4104365 (Why is no real title available?)
• scientific article; zbMATH DE number 1231473 (Why is no real title available?)
• A model for syntactic control of interference
• scientific article; zbMATH DE number 3999254 (Why is no real title available?)
• From Algol to polymorphic linear lambda-calculus
• The far side of the cube. An elementary introduction to game semantics
• Elementary data structures in ALGOL-like languages

Describes a project that uses

Uses Software

• ALGOL 60
• ALGOL 68
• Forsythe

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353361)