scientific article; zbMATH DE number 3513288

MaRDI QIDQ4092932zbMATH OpenFDO

Authors Jean E. Vuillemin

Publication date 1975

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Cited in

(14)

• A relative PCF-definability result for strongly stable functions and some corollaries
• scientific article; zbMATH DE number 1531361 (Why is no real title available?)
• An algebraic interpretation of the K-calculus; and an application of a labelled -calculus
• IO and OI. II
• A theory for nondeterminism, parallelism, communication, and concurrency
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• IO and OI. I
• The IO- and OI-hierarchies
• Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
• Adherences of languages
• Projecting sequential algorithms on strongly stable functions
• Definition of the semantics of programming language constructs in terms of ?-calculus. I
• Completeness results for the equivalence of recursive schemas
• Program transformations and algebraic semantics

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