Searching for "Subtypes for Specifications." – sorted by Relevance.
109 documents found, showing 1 through 10.
Next 10 →
-
Subtypes for Specification
- … of situations. 2 Predicate Subtypes Types in specification languages are often interpreted as sets of values…
- Cited by 2 (0 self) – Add To MetaCart
-
Subtypes for Specifications: Predicate Subtyping in PVS
- … for Specifications: Predicate Subtyping in PVS John Rushby Sam Owre N. Shankar Abstract---A specification language…
- Cited by 23 (4 self) – Add To MetaCart
-
http://www.fz-juelich.de/nic-series/volume34 Sub-type Specific Sites for SMAD Receptor Binding
- …John von Neumann Institute for Computing Sub-type Specific Sites for SMAD Receptor Binding…
- Add To MetaCart
-
Forcing Behavioral Subtyping Through Specification Inheritance
- …Forcing Behavioral Subtyping Through Specification Inheritance Krishna Kishore Dhara and Gary T…
- Cited by 106 (32 self) – Add To MetaCart
-
Forcing Behavioral Subtyping Through Specification Inheritance
- …Forcing Behavioral Subtyping Through Specification Inheritance Krishna Kishore Dhara and Gary T…
- Add To MetaCart
-
Type Handling in a Fully Integrated Programming and Specification Language
- … of discussion questions concerning the use of types and subtypes in the specification portion of the language…
- Add To MetaCart
-
Equational reasoning with subtypes
- … logic as a specification language, we investigate the proof theory of behavioral subtyping for object…
- Cited by 5 (1 self) – Add To MetaCart
-
Typed Homomorphic Relations Extended with Subtypes
- … theory of incomplete, hierarchical specifications with subtypes. Typed logical relations are generalized…
- Cited by 13 (11 self) – Add To MetaCart
-
Reasoning About Oject-Oriented Programs That Use Subtypes
- …-03. It will appear in the ECOOP/OOPSLA '90 Proceedings. Keywords: verification, specification, subtype, message…
- Add To MetaCart
-
An extension of Standard ML modules with Subtyping And Inheritance
- … will only give a brief summary of subtyping. More detailed discussion of subtyping for specifications…
- Cited by 57 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
