186
click to vote
PADL
15 years 11 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...
175
click to vote
PADL
15 years 11 months 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. ...
172
click to vote
PADL
15 years 11 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 ...
170
click to vote
PADL
15 years 11 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...
167
click to vote
PADL
15 years 11 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