A formal model of real-time program compilation (Q1603710): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Q1402476 / rank | |||
Property / author | |||
Property / author: Colin J. Fidge / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: TALx86 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Refinement Calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3998243 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Data refinement of predicate transformers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4250651 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A sequential real-time refinement calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4315825 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Specification, verification and prototyping of an optimized compiler / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal form approach to compiler design / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4370262 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4537138 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996918 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Types and invariants in the refinement calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Algebraic Approach to Compiler Design / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4370268 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4692526 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:50, 4 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A formal model of real-time program compilation |
scientific article |
Statements
A formal model of real-time program compilation (English)
0 references
15 July 2002
0 references
refinement calculus
0 references
program compilation
0 references
program semantics
0 references
real-time programming
0 references
program verification
0 references
0 references