scientific article; zbMATH DE number 51768

MaRDI QIDQ4002147zbMATH OpenFDO

Authors T. Gergely, L. Ury

Publication date 23 January 1993

zbMATH Keywords

stacksprogramming languagesclassical first-order logictemporal logicprogram verificationprogram specificationcomputabilityprogramming language designprogram schemesdynamic logicsprogramming theorytheory of programstime logicmany-sorted first-order languagecontinuous denotational semanticsprogramming verificationreasoning about computer programs

Mathematics Subject Classification ID

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

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

(5)

• Changing a Semantics: Opportunism or Courage?
• A formalization of programs in first-order logic with a discrete linear order
• A view of programming languages as symbiosis of meaning and computations
• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
• Recursive Programs as Definitions in First-Order 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 Q4002147)