scientific article; zbMATH DE number 1615264
From MaRDI portal
Publication:2723934
Recommendations
- Correct Hardware Design and Verification Methods
- Model checking and functional program transformations
- scientific article; zbMATH DE number 1796127
- Correctness of Context-Moving Transformations for Term Rewriting Systems
- A higher-order abstract syntax approach to verified transformations on functional programs
- scientific article; zbMATH DE number 3872657
- Transformations for compositional verification of assumption-commitment properties
- Verification of graph transformation systems with context-free specifications
Cited in
(6)- Equivalence checking of two functional programs using inductive theorem provers
- Transforming programs into recursive functions
- Correctness of Context-Moving Transformations for Term Rewriting Systems
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Folding left and right matters: Direct style, accumulators, and continuations
- Deaccumulation techniques for improving provability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2723934)
