Saarikivi, Olli; Heljanko, Keijo LCTD: test-guided proofs for C programs on LLVM. (English) Zbl 1392.68149 J. Log. Algebr. Methods Program. 85, No. 6, 1292-1317 (2016). MSC: 68N30 PDF BibTeX XML Cite \textit{O. Saarikivi} and \textit{K. Heljanko}, J. Log. Algebr. Methods Program. 85, No. 6, 1292--1317 (2016; Zbl 1392.68149) Full Text: DOI
Rot, Jurriaan; Bonsangue, Marcello Structural congruence for bialgebraic semantics. (English) Zbl 1353.68173 J. Log. Algebr. Methods Program. 85, No. 6, 1268-1291 (2016). MSC: 68Q55 PDF BibTeX XML Cite \textit{J. Rot} and \textit{M. Bonsangue}, J. Log. Algebr. Methods Program. 85, No. 6, 1268--1291 (2016; Zbl 1353.68173) Full Text: DOI
Pun, Ka I; Steffen, Martin; Stolz, Volker Effect-polymorphic behaviour inference for deadlock checking. (English) Zbl 1392.68148 J. Log. Algebr. Methods Program. 85, No. 6, 1234-1267 (2016). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., J. Log. Algebr. Methods Program. 85, No. 6, 1234--1267 (2016; Zbl 1392.68148) Full Text: DOI
Johansen, Christian ST-structures. (English) Zbl 1353.68208 J. Log. Algebr. Methods Program. 85, No. 6, 1201-1233 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{C. Johansen}, J. Log. Algebr. Methods Program. 85, No. 6, 1201--1233 (2016; Zbl 1353.68208) Full Text: DOI
Jeltsch, Wolfgang Abstract categorical semantics for resourceful functional reactive programming. (English) Zbl 1353.68043 J. Log. Algebr. Methods Program. 85, No. 6, 1177-1200 (2016). MSC: 68N18 03B44 03B70 18C50 PDF BibTeX XML Cite \textit{W. Jeltsch}, J. Log. Algebr. Methods Program. 85, No. 6, 1177--1200 (2016; Zbl 1353.68043) Full Text: DOI
Iosif-Lazăr, Alexandru F.; Wąsowski, Andrzej Trustworthy variant derivation with translation validation for safety critical product lines. (English) Zbl 1392.68145 J. Log. Algebr. Methods Program. 85, No. 6, 1154-1176 (2016). MSC: 68N30 68T15 PDF BibTeX XML Cite \textit{A. F. Iosif-Lazăr} and \textit{A. Wąsowski}, J. Log. Algebr. Methods Program. 85, No. 6, 1154--1176 (2016; Zbl 1392.68145) Full Text: DOI
Beohar, Harsh; Mousavi, Mohammad Reza Input-output conformance testing for software product lines. (English) Zbl 1392.68144 J. Log. Algebr. Methods Program. 85, No. 6, 1131-1153 (2016). MSC: 68N30 PDF BibTeX XML Cite \textit{H. Beohar} and \textit{M. R. Mousavi}, J. Log. Algebr. Methods Program. 85, No. 6, 1131--1153 (2016; Zbl 1392.68144) Full Text: DOI
Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano Reduction of event structures under history preserving bisimulation. (English) Zbl 1392.68281 J. Log. Algebr. Methods Program. 85, No. 6, 1110-1130 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Armas-Cervantes} et al., J. Log. Algebr. Methods Program. 85, No. 6, 1110--1130 (2016; Zbl 1392.68281) Full Text: DOI
Uustalu, Tarmo (ed.); Vain, Jüri (ed.) Guest editors’ foreword. (English) Zbl 1356.00066 J. Log. Algebr. Methods Program. 85, No. 6, 1109 (2016). MSC: 00B25 68-06 PDF BibTeX XML Cite \textit{T. Uustalu} (ed.) and \textit{J. Vain} (ed.), J. Log. Algebr. Methods Program. 85, No. 6, 1109 (2016; Zbl 1356.00066) Full Text: DOI