3516 search results - page 349 / 704 » Programming Languages: Application and Interpretation |
165
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
196
click to vote
PSSS
2003
15 years 8 months ago
2003
The semantic web is a promising application-area for the Prolog programming language for its non-determinism and patternmatching. In this paper we outline an infrastructure for loa...
162
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
We argue that programming high-end stream-processing applications requires a form of coordination language that enables the designer to represent interactions between stream-proce...
153
click to vote
ESOP
2004
Springer
16 years 5 days ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
265
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...