Specification and verification of meta-programs

Authors:
Martin Berger
Affiliations:
University of Sussex, Brighton, United Kingdom
Venue:
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Year:
2012

Citing 4
Cited 0

Template meta-programming for Haskell

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Multistage programming: its theory and applications

Multistage programming: its theory and applications
Domain specific language implementation via compile-time meta-programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
Program logics for homogeneous meta-programming

LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

This talk gives an overview of meta-programming, with an emphasis on recent developments in extending existing specification and verification technology to meta-programs.