3468 search results - page 52 / 694 » An open logical framework |
77
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
83
Voted
OORASE
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
116
Voted
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
106
click to vote
HCI
2009
14 years 10 months ago
2009
Abstract. The current paper presents the evaluation framework and plans developed for the evaluation of the applications to be developed in the context of the
78
Voted
STACS
2007
Springer
15 years 6 months ago
2007
Springer
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of