scientific article; zbMATH DE number 51768

MaRDI QIDQ4002147zbMATH OpenFDO

Authors T. Gergely, L. Ury

Publication date 23 January 1993

zbMATH Keywords

classical first-order logiccomputabilitycontinuous denotational semanticsdynamic logicsmany-sorted first-order languageprogram schemesprogram specificationprogram verificationprogramming language designprogramming languagesprogramming theoryprogramming verificationreasoning about computer programsstackstemporal logictheory of programstime logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1070624
• First-order functional languages and intensional logic
• scientific article; zbMATH DE number 1980915
• Theories of Programming Languages
• First-order specifications of programmable data types
• Foundations of programmology
• scientific article; zbMATH DE number 4145877
• First order compiler: A deterministic logic program synthesis algorithm

Cited in

(6)

• A view of programming languages as symbiosis of meaning and computations
• A formalization of programs in first-order logic with a discrete linear order
• Changing a Semantics: Opportunism or Courage?
• scientific article; zbMATH DE number 1088217 (Why is no real title available?)
• Recursive Programs as Definitions in First-Order Logic
• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics

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