scientific article; zbMATH DE number 3624758

MaRDI QIDQ4187283zbMATH OpenFDO

Authors Jerald S. Schwarz

Publication date 1979

zbMATH Keywords

Denotational SemanticsOperational SemanticsParallelismProgramming Language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25) Semantics in the theory of computing (68Q55)

Cited in

(4)

• Towards a foundation for semantics in complete metric spaces
• Recursive programs and denotational semantics in absolute logics of programs
• A denotational semantics for shared-memory parallelism and nondeterminism
• A linear-history semantics for languages for distributed programming

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 Q4187283)