Modular Logic Metaprogramming

by Karl Klose and Klaus Ostermann

In Proceedings of the International Conference on 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 = {Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)},
  publisher = {ACM},
  location = {Reno, NV},
  year = {2010}
}