Searching for authors named "Karl Lermer" – sorted by Relevance.
-
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

