Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:4002147

Jump to:navigation, search

zbMath0799.68006MaRDI QIDQ4002147

T. Gergely, L. Ury

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

stacks program specification programming languages temporal logic computability classical first-order logic program verification programming language design program schemes dynamic logics programming theory theory of programs time logic many-sorted first-order language continuous denotational semantics programming verification reasoning about computer programs

Mathematics Subject Classification ID

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

Related Items (2)

Changing a Semantics: Opportunism or Courage? ⋮ Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4002147&oldid=17697051"