Searching for authors named "Karl Lermer" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics
- … with Predicate Transformer Semantics Karl Lermer June 1999 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http…
- Cited by 1 (0 self) – Add To MetaCart
-
A Formal Model of Real-Time Program Compilation
- … are available via http://svrc.it.uq.edu.au A Formal Model of Real-Time Program Compilation Karl Lermer…
- Cited by 3 (2 self) – Add To MetaCart
-
Compilation as Refinement
- … Queensland 4072 Australia TECHNICAL REPORT No. 97-29 Compilation as refinement Karl Lermer Colin Fidge May…
- Cited by 10 (4 self) – Add To MetaCart
-
A Methodology for Compilation of High-Integrity Real-Time Programs
- …-time programs Karl Lermer Colin Fidge December 1996 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 Note: Most SVRC…
- Cited by 6 (2 self) – Add To MetaCart
-
Semantic Identification of Dead Control-Flow Paths
- … Hayes Colin Fidge Karl Lermer October 1999 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http…
- Cited by 2 (2 self) – Add To MetaCart
-
Semantic characterisation of dead controlflow paths
- …Semantic Characterisation of Dead Control-Flow Paths Ian Hayes 2 Colin Fidge 1 Karl Lermer 1 1…
- Cited by 4 (3 self) – Add To MetaCart
Showing 1 through 6.
