Skip to main content
To Proof Maintenance & Beyond!
Search
Venues
API
About
kirancodes.me
PLDI 1991
Advice to Authors of Extended Abstracts
William W. Pugh
dblp
BibTeX
No abstract available.
Related papers
Advice on Structuring Compilers and Proving Them Correct
POPL 1973
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)
ESOP 2008
A theory of aspects
ICFP 2003
Extending AspectJ for separating regions
GPCE 2009
Pretenuring for Java
OOPSLA 2001
Profile-based pretenuring
TOPLAS 2007
Contributions to a computational theory of policy advice and avoidability
JFP 2017
Open Modules: Modular Reasoning About Advice
ECOOP 2005