Modular Logic Metaprogramming

by Karl Klose and Klaus Ostermann

In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM, 2010.

Citation as BibTeX

@inproceedings{klose10modular,
  title = {Modular Logic Metaprogramming},
  author = {Klose, Karl and Ostermann, Klaus},
  booktitle = {Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)},
  publisher = {ACM},
  location = {Reno, NV},
  year = {2010}
}