The following pages link to (Q5674962):
Displaying 14 items.
- A survey of state vectors (Q458456) (← links)
- A demonstrably correct compiler (Q749202) (← links)
- Correctness proofs of syntax-directed processing descriptions by attributes (Q754662) (← links)
- Complex structures and composite models - An essay on methodology (Q1071699) (← links)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- Mechanizing structural induction. II: Strategies (Q1134541) (← links)
- Correctness of the compiling process based on axiomatic semantics (Q1138902) (← links)
- More on advice on structuring compilers and proving them correct (Q1156472) (← links)
- Completeness results for the equivalence of recursive schemas (Q1232171) (← links)
- PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
- Verified compilation of floating-point computations (Q2352505) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (Q2802499) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)