590 search results - page 68 / 118 » From Relational Specifications to Logic Programs |
DIAGRAMS
2004
Springer
14 years 17 days ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
MSS
2000
IEEE
14 years 1 months ago
2000
IEEE
The Jiroâ„¢ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...
ECBS
1996
IEEE
14 years 1 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...