scientific article
From MaRDI portal
Publication:2764132
zbMath0977.68588MaRDI QIDQ2764132
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2029/20290284
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Theory of programming languages (68N15) Computing methodologies and applications (68U99) General topics in artificial intelligence (68T01)
Related Items (10)
Weakest pre-condition reasoning for Java programs with JML annotations ⋮ Specification and verification challenges for sequential object-oriented programs ⋮ Verification conditions for source-level imperative programs ⋮ A dynamic logic for deductive verification of multi-threaded programs ⋮ Characteristic formulae for liveness properties of non-terminating CakeML programs ⋮ A program logic for resources ⋮ Lazy behavioral subtyping ⋮ Compositionality for quantitative specifications ⋮ Refinement checking on parametric modal transition systems ⋮ Coalgebras and monads in the semantics of Java
Uses Software
This page was built for publication:
