scientific article; zbMATH DE number 1390329

zbMath0954.68045MaRDI QIDQ4934618

Jifeng He, C. A. R. Hoare

Publication date: 17 January 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

rooted edge-labeled graphs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Data structures (68P05)

Related Items (6)

Program logic and equivalence in the presence of garbage collection. ⋮ A graph-based generic type system for object-oriented programs ⋮ Automated verification of shape, size and bag properties via user-defined predicates in separation logic ⋮ Reasoning about Assignments in Recursive Data Structures ⋮ Graph transformations for object-oriented refinement ⋮ Graph-Based Object-Oriented Hoare Logic

This page was built for publication: