Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017

Fabio Fioravanti (Editor), John Patrick Gallagher (Editor), Maurizio Proietti (Editor)

Research output: Book/ReportAnthologyResearch

Abstract

Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017.
Original languageEnglish
PublisherSocietatis Mathematicae Polonae
Publication statusPublished - 2020
SeriesFundamenta Informaticae
Number4
Volume173
ISSN0169-2968

Keywords

  • Logic
  • Program development
  • Program transformation

Cite this