Browse by Journal

C

Clark, Tony (2015) XPL: a language for modular homogeneous language embedding. Science of Computer Programming, 98 (4) . pp. 589-616. ISSN 0167-6423 [Article] (doi:10.1016/j.scico.2014.08.005)

H

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Lutz, Bianca (2012) ASPfun: a typed functional active object calculus. Science of Computer Programming, 77 (7-8) . pp. 823-847. ISSN 0167-6423 [Article] (doi:10.1016/j.scico.2010.12.008)

K

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Kerber, Manfred (2021) Applying the Isabelle insider framework to airplane security. Science of Computer Programming, 206 , 102623. ISSN 0167-6423 [Article] (doi:10.1016/J.SCICO.2021.102623)

T

Tratt, Laurence (2007) Model transformations in MT. Science of Computer Programming, 68 (3) . pp. 169-186. ISSN 0167-6423 [Article] (doi:10.1016/j.scico.2007.05.003)