6960 search results - page 1113 / 1392 » Continuity Analysis of Programs |
133
click to vote
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...
134
click to vote
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
131
Voted
GPCE
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
124
click to vote
ICALP
2004
Springer
15 years 9 months 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...
142
Voted
ICSR
2004
Springer
15 years 9 months ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...