Searching for authors named "Steve King" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Additions welcome
- …1 Introduction Mondex spec: errata and clarifications Steve King Version of 19 August 2004…
- Add To MetaCart
-
Standardizing Z Semantics - Case for Support
- … This project's investigators are Dr Keith Mander and Steve King. Dr Keith Mander has been Head…
- Add To MetaCart
-
An iterator construct for the refinement calculus
- …An Iterator Construct for the Refinement Calculus Steve King Department of Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
Predictable Memory Utilization in the Ravenscar-Java Profile
- …, automatic fund transfers and medical Jagun Kwon, Andy Wellings, and Steve King Department of Computer…
- Add To MetaCart
-
Assessment of the Java Programming Language for Use in High Integrity Systems
- … Wellings, and Steve King Department of Computer Science University of York, UK {jagun, andy, king…
- Cited by 5 (3 self) – Add To MetaCart
-
A Safe Mobile Code Representation and Run-time Architecture for High-Integrity Real-Time Java Programs
- … to overcome some of the problems mentioned above, and to Jagun Kwon, Andy Wellings, and Steve King Real…
- Cited by 1 (1 self) – Add To MetaCart
-
Type-constrained Generics for Z
- … , and Steve King 1 1 Department of Computer Science, University of York, UK fsam,ian,kingg@(email omitted); 2…
- Cited by 1 (1 self) – Add To MetaCart
-
Ravenscar-Java: A High Integrity Profile for Real-Time Java
- …. Copyright 2002 ACM 1-58113-599-8/02/0011…$5.00. Jagun Kwon, Andy Wellings, and Steve King Department…
- Cited by 24 (5 self) – Add To MetaCart
-
Is Proof More Cost Effective Than Testing
- …Is Proof More Cost Effective than Testing? Steve King, Jonathan Hammond, Rod Chapman, and Andy…
- Cited by 23 (7 self) – Add To MetaCart
-
Typechecking Z
- …Typechecking Z Ian Toyn 1 , Samuel H. Valentine 1 , Susan Stepney 2 , and Steve King 1 1…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
