scientific article
From MaRDI portal
Publication:3997397
zbMath0744.68016MaRDI QIDQ3997397
No author found.
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ConferenceProceedingsproof theorylogical frameworksprogramming methodologyProgramming conceptsformal description of programming conceptsProgramming methodsSea of Galilee (Israel)theorem proving languages
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (15)
Automata-theoretic semantics of idealized Algol with passive expressions ⋮ Modular Inference of Linear Types for Multiplicity-Annotated Arrows ⋮ Constraining interference in an object-based design method ⋮ Uniqueness logic ⋮ Behavioral interface description of an object-oriented language with futures and promises ⋮ An approach to literate and structured formal developments ⋮ The difference between splitting in \(n\) and \(n+1\) ⋮ Linearity and uniqueness: an entente cordiale ⋮ Fairness and partial order semantics ⋮ Modeling concurrency with interval traces ⋮ Preface to the special volume ⋮ Fifty years of Hoare's logic ⋮ Usage counting analysis for lazy functional languages ⋮ Towards a unified view of bisimulation: A comparative study ⋮ Linda-based applicative and imperative process algebras
This page was built for publication:
