182
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...
171
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. ...
160
click to vote
PADL
15 years 11 months ago
2004 Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
142
click to vote
PADL
15 years 11 months ago
2004 Springer
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...
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...
|
Programming Languages