Output details
11 - Computer Science and Informatics
University of Sussex
Return to search
Output 0 of 0 in the submission
Chapter title
Program logics for homogeneous meta-programming
Type
C - Chapter in book
Publisher of book
Springer Verlag
Book title
Logic for Programming, Artificial Intelligence, and Reasoning
ISBN of book
3642175104
Year of publication
2010
Number of additional authors
3
Additional information
<11>This paper led to an invited lecture at the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM) affiliated with POPL 2012 (PEPM is one of the two leading conferences in the subject). LPAR is an ERA (2010) rank A conference.
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Foundations of Software Systems
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-