Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: C | H | K | T
Number of items: 4.

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 logoORCID: 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 logoORCID: 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)

This list was generated on Sat Jan 28 05:01:23 2023 GMT.