170
click to vote
PADL
15 years 10 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...
160
click to vote
PADL
15 years 10 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...
159
click to vote
PADL
15 years 10 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 ...
152
click to vote
PADL
15 years 10 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...
151
click to vote
PADL
15 years 10 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