4722 search results - page 717 / 945 » Representation-independent program analysis |
ASIASIM
2004
Springer
14 years 1 months ago
2004
Springer
A network security simulator becomes more useful for the study on the cyber incidents and their defense mechanisms, as cyber terrors have been increasingly popular. Until now, netw...
EUROPAR
2004
Springer
14 years 1 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...
FMCO
2004
Springer
14 years 1 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 ...
GPCE
2004
Springer
14 years 1 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...
ICALP
2004
Springer
14 years 1 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...