Journal of Logical and Algebraic Methods in ProgrammingVolume 95, February 2018, Page 147Guest editors' forewordAuthor links open overlay panelThomas Hildebrandt, Marino MiculanShow moreShareCitehttps://doi.org/10.1016/j.jlamp.2017.12.001Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)© 2017 Elsevier Inc.