scientific article; zbMATH DE number 947806

MaRDI QIDQ4716201zbMATH OpenFDO

Authors Stephan Merz

Publication date 20 November 1996

zbMATH Keywords

programming languagesemanticsincompletenesssafetymodel constructionfixpoint operatorspropositional temporal logicfirst-order temporal logicproofs-as-programsparallel composition of modules

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cited in

(14)

• Temporal object-oriented programming
• scientific article; zbMATH DE number 4182845 (Why is no real title available?)
• scientific article; zbMATH DE number 148938 (Why is no real title available?)
• Programming in metric temporal logic
• scientific article; zbMATH DE number 776126 (Why is no real title available?)
• LOGSPACE and PTIME characterized by programming languages
• Hybrid languages and temporal logic
• Temporal logic programs with variables
• scientific article; zbMATH DE number 4070871 (Why is no real title available?)
• MetateM: An introduction
• Logical foundations for more expressive declarative temporal logic programming languages
• Logspace and logtime leaf languages
• Temporal logic with recursion
• Programming language elements for proof construction

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