Frame Rules from Answer Type for Code Pointers

Hayo Thielecke

Research output: Contribution to conference (unpublished)Paper

2 Citations (Scopus)
Original languageEnglish
Pages309-319
Number of pages11
DOIs
Publication statusPublished - 1 Jan 2006
Event33rd SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'06) -
Duration: 1 Jan 2006 → …

Conference

Conference33rd SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'06)
Period1/01/06 → …

Cite this