scientific article; zbMATH DE number 1759367
From MaRDI portal
Publication:4536314
zbMath0998.68651MaRDI QIDQ4536314
Bernhard Beckert, Martin Giese, Reiner Hähnle, Elmar Habermalz, Thomas Baar, Wolfram Menzel, Wolfgang Ahrendt, Peter H. Schmitt
Publication date: 25 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Towards ``mouldable code via nested code graph transformation, Verification of object-oriented programs: a transformational approach, Observable behavior of distributed systems: component reasoning for concurrent objects, A survey of emerging threats in cybersecurity, Precise quantitative information flow analysis -- a symbolic approach, A proof system for adaptable class hierarchies, Integration of a security type system into a program logic, Multimodal Separation Logic for Reasoning About Operational Semantics, Lazy behavioral subtyping, KeY, Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects, Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic
Uses Software
