973 search results - page 32 / 195 » Construction of a Semantic Model for a Typed Assembly Langua... |
DLOG
2010
13 years 5 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
EACL
1993
ACL Anthology
13 years 9 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
PLDI
2005
ACM
14 years 1 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
FPCA
1989
13 years 11 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
COMPSAC
2002
IEEE
14 years 17 days ago
2002
IEEE
Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC’...