8132 search results - page 40 / 1627 » Dependability, Abstraction, and Programming |
ICLP
1997
Springer
15 years 2 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
SIGADA
1998
Springer
15 years 1 months ago
1998
Springer
CLIMA
2006
14 years 11 months ago
2006
Abstract. The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules...
ECOOPWEXCEPTION
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
151
click to vote
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...