scientific article; zbMATH DE number 4200180

MaRDI QIDQ3348897zbMATH OpenFDO

Authors Ana Gil-Luezas

Publication date 1989

zbMATH Keywords

\(\lambda \) -abstraction\(\mu \) - recursiondenotational semanticsfirst order dynamic logic for regular programslogic of programsnondeterminismpropositional \(\mu \) -calculusschematic functional programming language

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Logical analysis of demonic nondeterministic programs
• Hoare's logic for nondeterministic regular programs: A nonstandard approach
• scientific article; zbMATH DE number 4123706
• Partiality and nondeterminacy in program proofs
• Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic)

Cited in

(27)

• While-programs with nondeterministic assignments and the logic ALNA
• Partiality and nondeterminacy in program proofs
• A functional logic for higher level reasoning about computation
• A fully abstract semantics for a higher-order functional language with nondeterministic computation
• Hoare's logic for nondeterministic regular programs: A nonstandard approach
• Recursive programs and denotational semantics in absolute logics of programs
• Relative completeness for logics of functional programs
• scientific article; zbMATH DE number 3878326 (Why is no real title available?)
• scientific article; zbMATH DE number 5007860 (Why is no real title available?)
• scientific article; zbMATH DE number 5007864 (Why is no real title available?)
• $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
• A logic for the description of non-deterministic programs and their properties
• Functional behavior of nondeterministic and concurrent programs
• scientific article; zbMATH DE number 4123706 (Why is no real title available?)
• scientific article; zbMATH DE number 1231463 (Why is no real title available?)
• Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages
• scientific article; zbMATH DE number 512893 (Why is no real title available?)
• scientific article; zbMATH DE number 1163990 (Why is no real title available?)
• Logical relations and nondeterminism
• A functional calculus for specification and verification of nondeterministic interactive systems
• Programming Languages and Systems
• A Virtual Machine for Functional Logic Computations
• Logical analysis of demonic nondeterministic programs
• Nondeterministic three-valued logic: isotonic and guarded truth-functions
• On basic semantics of untyped functional programs
• A logic for Miranda
• An elementary proof for some semantic characterizations of nondeterministic Floyd-Hoare logic

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