31 search results - page 7 / 7 » Verifying aspect advice modularly |
145
Voted
JFP
2007
15 years 2 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...