1151 search results - page 119 / 231 » Collaborative Programming: Applications of Logic and Automat... |
125
click to vote
CSL
2008
Springer
15 years 5 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
159
Voted
ASP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
107
click to vote
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
105
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
132
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...