764 search results - page 80 / 153 » On the Expressibility of Stable Logic Programming |
ICALP
2009
Springer
16 years 4 days ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
CADE
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
107
click to vote
APLAS
2006
ACM
15 years 3 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
125
click to vote
CONCUR
1991
Springer
15 years 3 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
116
click to vote
COMPSAC
2009
IEEE
15 years 29 days ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...