205
click to vote
PADL
16 years 1 days 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...
199
click to vote
PADL
16 years 1 days 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...
194
click to vote
PADL
16 years 1 days 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 ...
189
click to vote
PADL
16 years 1 days 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...
189
click to vote
PADL
16 years 1 days ago
2004 Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
|
Programming Languages