125 search results - page 7 / 25 » Importing HOL into Isabelle HOL |
102
click to vote
TPHOL
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
TPHOL
1995
IEEE
15 years 3 months ago
1995
IEEE
ENTCS
2010
14 years 11 months ago
2010
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
70
Voted
CONCURRENCY
2004
14 years 11 months ago
2004
106
click to vote
CADE
2008
Springer
15 years 12 months ago
2008
Springer
Abstract. This paper presents verified quantifier elimination procedures for dense linear orders (DLO), for real and for integer linear arithmetic. The DLO procedures are new. All ...