1702 search results - page 63 / 341 » Doomed program points |
234
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...
145
Voted
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
Well-designed object-oriented programs typically consist of a few key classes that work tightly together to provide the bulk of the functionality. As such, these key classes are e...
147
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic pr...
148
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
145
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...