5090 search results - page 711 / 1018 » Constructing Strategies for Programming |
142
click to vote
SAC
2004
ACM
16 years 3 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
191
click to vote
ADBIS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
196
click to vote
EKAW
2004
Springer
16 years 2 days ago
2004
Springer
This paper describes a particular knowledge acquisition tool for the construction and maintenance of the knowledge model of an intelligent system for emergency management in the fi...
186
click to vote
FLOPS
2004
Springer
16 years 2 days ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
153
click to vote
ICALP
2004
Springer
16 years 2 days ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...