3738 search results - page 486 / 748 » Parametrized Logic Programming |
124
Voted
ASP
2001
Springer
15 years 5 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
112
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
85
Voted
OORASE
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
119
Voted
ICLP
1993
Springer
15 years 4 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
95
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...