10899 search results - page 96 / 2180 » The GP Programming System |
POPL
1989
ACM
14 years 29 days ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
ICAD
2004
13 years 10 months ago
2004
This paper provides a summary of previous work done in the area of external auditory representations of programs (known as program auralisation). A brief historical review is give...
ENTCS
2002
13 years 8 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
Book
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...
LPNMR
2007
Springer
14 years 3 months ago
2007
Springer
We describe an answer-set programming solver smodels− , derived from smodels by eliminating some lookahead computations. We show that for some classes of programs smodels− outp...