3473 search results - page 296 / 695 » Aspect-Oriented Programming with C |
151
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
157
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
172
click to vote
REFLECTION
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a general technique to support reflection in C++, exploiting template metaprogramming techniques. The technique is used for building an object interface to rel...
161
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
182
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
We introduce new techniques for studying the structure of partial k-trees. In particular, we show that the complements of partial k-trees provide an intuitively-appealing character...