10899 search results - page 419 / 2180 » The GP Programming System |
319
Voted
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
165
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
208
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
174
click to vote
ECSQARU
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
186
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...