2409 search results - page 405 / 482 » On Extended Regular Expressions |
131
click to vote
PARLE
1992
15 years 8 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
143
click to vote
DLS
2007
15 years 8 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
117
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
139
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
148
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...