Publication:2754051
From MaRDI portal
zbMath0974.68033MaRDI QIDQ2754051
Publication date: 11 November 2001
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Related Items
Characteristic formulae for liveness properties of non-terminating CakeML programs, Towards verification of C\(\#\) programs: a three-level approach, An extensible encoding of object-oriented data models in HOL. With an application to IMP++, Coalgebras and monads in the semantics of Java, Verified software units
Uses Software