- IDEALS Home
- →
- College of Engineering
- →
- Dept. of Computer Science
- →
- Research and Tech Reports - Computer Science
- →
- Browse Research and Tech Reports - Computer Science by Contributor
Browse Research and Tech Reports - Computer Science by Contributor "Stefanescu, Andrei"
Now showing items 1-4 of 4
-
(2012-03)Matching logic has been recently proposed as an alternative program verification approach. Unlike Hoare logic, where one defines a language-specific proof system that needs to be proved sound for each language separately, ...
application/pdf
PDF (166kB)
-
(2011-11-16)Matching logic allows to specify structural properties about program configurations by means of special formulae, called patterns, and to reason about them by means of pattern matching. This paper proposes rewriting ...
application/pdf
PDF (285kB)
-
(2012-02-24)This paper presents a nine-rule *language-independent* proof system that takes an operational semantics as axioms and derives program properties, including ones corresponding to Hoare triples. This eliminates the ...
application/pdf
PDF (165kB)
-
(2012-02)This paper presents a nine-rule language-independent proof system that takes an operational semantics as axioms and derives program properties, including ones corresponding to Hoare triples. This eliminates the need ...
application/pdf
PDF (149kB)
Now showing items 1-4 of 4