125 search results - page 7 / 25 » Importing HOL into Isabelle HOL |
TPHOL
2002
IEEE
14 years 8 days 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
13 years 11 months ago
1995
IEEE
ENTCS
2010
13 years 7 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...
CONCURRENCY
2004
13 years 7 months ago
2004
CADE
2008
Springer
14 years 7 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 ...