899 search results - page 116 / 180 » A CTL-Based Logic for Program Abstractions |
100
Voted
CD
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
129
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
132
Voted
DALT
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
103
click to vote
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...
106
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...