scientific article; zbMATH DE number 51768

zbMATH Open0799.68006MaRDI QIDQ4002147FDOQ4002147

Authors: T. Gergely, L. Ury 

Publication date: 23 January 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

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

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)