The following pages link to (Q3787422):
Displaying 17 items.
- Modular verification of multithreaded programs (Q557795) (← links)
- A general framework for architecture composability (Q736458) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- Applications of coarse-grained dataflow in computational mechanis (Q1189315) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- Applying abstraction and formal specification in numerical software design (Q1903758) (← links)
- Stepwise refinement of heap-manipulating code in Chalice (Q1941869) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Synchronizing Model and Program Refactoring (Q2999312) (← links)
- Alias burying: Unique variables without destructive reads (Q4791056) (← links)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
- Specifications can make programs run faster (Q5044738) (← links)
- First order data types and first order logic (Q5096240) (← links)
- Verification of Concurrent Systems with VerCors (Q5175776) (← links)
- Calculating modules in contextual logic program refinement (Q5437648) (← links)
- Type classes with existential types (Q5687911) (← links)
