1538 search results - page 33 / 308 » Programming with Patterns |
POPL
2009
ACM
14 years 10 months ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...
SSR
2001
13 years 11 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
SIGSOFT
2009
ACM
14 years 4 months ago
2009
ACM
The interplay of multiple objects in object-oriented programming often follows specific protocols, for example certain orders of method calls and/or control structure constraints...
SIGCSE
1998
ACM
14 years 2 months ago
1998
ACM
The field of software patterns has seen an explosion in interest in the last three years. Work to date has been on the recognition, cataloging, and finding of patterns with litt...
JUCS
2007
13 years 9 months ago
2007
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...