A formal model of real-time program compilation (Q1603710): Difference between revisions

@@ Property / author @@
+Colin J. Fidge
@@ Property / author: Colin J. Fidge / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TALx86
@@ Property / describes a project that uses: TALx86 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998243
@@ Property / cites work: Q3998243 / rank @@
+Normal rank
@@ Property / cites work @@
+Data refinement of predicate transformers
@@ Property / cites work: Data refinement of predicate transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250651
@@ Property / cites work: Q4250651 / rank @@
+Normal rank
@@ Property / cites work @@
+A sequential real-time refinement calculus
@@ Property / cites work: A sequential real-time refinement calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315825
@@ Property / cites work: Q4315825 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification, verification and prototyping of an optimized compiler
+Normal rank
@@ Property / cites work @@
+Normal form approach to compiler design
@@ Property / cites work: Normal form approach to compiler design / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370262
@@ Property / cites work: Q4370262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537138
@@ Property / cites work: Q4537138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+Types and invariants in the refinement calculus
@@ Property / cites work: Types and invariants in the refinement calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
+Normal rank
@@ Property / cites work @@
+An Algebraic Approach to Compiler Design
@@ Property / cites work: An Algebraic Approach to Compiler Design / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4370268
@@ Property / cites work: Q4370268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692526
@@ Property / cites work: Q4692526 / rank @@
+Normal rank