158
click to vote
PADL
15 years 9 months ago
2004 Springer 
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
152
click to vote
PADL
15 years 9 months ago
2004 Springer 
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
143
click to vote
PADL
15 years 9 months ago
2004 Springer 
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
141
click to vote
PADL
15 years 9 months ago
2004 Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
139
Voted
PADL
15 years 9 months ago
2004 Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
|
Programming Languages