899 search results - page 51 / 180 » A CTL-Based Logic for Program Abstractions |
RTA
2010
Springer
15 years 5 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
123
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a reļ¬nement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
134
click to vote
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
108
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efļ¬cient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...