1071 search results - page 114 / 215 » Programming with enumerable sets of structures |
128
click to vote
TCS
2008
15 years 2 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
141
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...
127
click to vote
SAS
2010
Springer
15 years 1 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
117
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...