107 search results - page 1 / 22 » Specifying the Correctness of Binding-Time Analysis |
POPL
1993
ACM
13 years 9 months ago
1993
ACM
PEPM
1994
ACM
13 years 9 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
TAPSOFT
1995
Springer
13 years 9 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
PEPM
1997
ACM
13 years 9 months ago
1997
ACM
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
BROADNETS
2006
IEEE
13 years 11 months ago
2006
IEEE
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...