10899 search results - page 96 / 2180 » The GP Programming System |
126
click to vote
POPL
1989
ACM
15 years 10 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
162
click to vote
ICAD
2004
15 years 7 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...
167
click to vote
ENTCS
2002
15 years 6 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...
279
click to vote
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...
143
click to vote
LPNMR
2007
Springer
16 years 12 days 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...