5090 search results - page 361 / 1018 » Constructing Strategies for Programming |
293
click to vote
POPL
2009
ACM
16 years 7 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 ...
159
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
136
Voted
GI
2004
Springer
15 years 11 months ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
186
click to vote
IAT
2003
IEEE
15 years 11 months ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
135
click to vote
ACMIDC
2009
15 years 10 months ago
2009
This paper presents early work on the "Jots" system, integrated with the Scratch programming environment, which aims to help learners reflect on their learning processes...