Browse by Journal
![]() | See full list of headings |
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)