3713 search results - page 556 / 743 » Constructing a Calculus of Programs |
165
click to vote
ADBIS
2007
Springer
15 years 9 months ago
2007
Springer
ODRA (Object Database for Rapid Application development) is an object-oriented application development environment currently being constructed at the Polish-Japanese Institute of I...
118
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
139
click to vote
CC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
127
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
142
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...