Frame Rules from Answer Type for Code Pointers

Research output: Contribution to conference (unpublished) › Paper

2 Citations (Scopus)

Original language	English
Pages	309-319
Number of pages	11
DOIs	https://doi.org/10.1145/1111320.1111065
Publication status	Published - 1 Jan 2006
Event	33rd SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'06) - Duration: 1 Jan 2006 → …

Conference	33rd SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'06)
Period	1/01/06 → …

Access to Document

@conference{3aa64fcfaa014db8a5bc7455e9b53fb5,

title = "Frame Rules from Answer Type for Code Pointers",

author = "Hayo Thielecke",

year = "2006",

month = jan,

day = "1",

doi = "10.1145/1111320.1111065",

language = "English",

pages = "309--319",

note = "33rd SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'06) ; Conference date: 01-01-2006",

}