GENA - A Tool for Generating Prolog Analyzers from Specifications

Christian Fecht. GENA - A Tool for Generating Prolog Analyzers from Specifications. In Alan Mycroft, editor, Static Analysis, Second International Symposium, SAS 95, Glasgow, UK, September 25-27, 1995, Proceedings. Volume 983 of Lecture Notes in Computer Science, pages 418-419, Springer, 1995.

@inproceedings{Fecht95,
  title = {GENA - A Tool for Generating Prolog Analyzers from Specifications},
  author = {Christian Fecht},
  year = {1995},
  tags = {Prolog},
  researchr = {https://researchr.org/publication/Fecht95},
  cites = {0},
  citedby = {0},
  pages = {418-419},
  booktitle = {Static Analysis, Second International Symposium, SAS 95, Glasgow, UK, September 25-27, 1995, Proceedings},
  editor = {Alan Mycroft},
  volume = {983},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60360-3},
}