899 search results - page 99 / 180 » A CTL-Based Logic for Program Abstractions |
111
Voted
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
115
click to vote
CORR
2008
Springer
15 years 19 days ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
128
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
94
Voted
CD
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...
ICLP
1994
Springer
15 years 4 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...