Items where Author is "Mosses, PD"

VAN BINSBERGEN, L.T., MOSSES, P.D. and SCULTHORPE, N., 2019. Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, pp. 184-212. ISSN 2352-2208

SCULTHORPE, N., TORRINI, P. and MOSSES, P.D., 2016. A modular structural operational semantics for delimited continuations. Electronic Proceedings in Theoretical Computer Science, 212, pp. 63-80. ISSN 2075-2180

VAN BINSBERGEN, L.T., SCULTHORPE, N. and MOSSES, P.D., 2016. Tool support for component-based semantics. In: L. FUENTES, D. BATORY and K. CZARNECKI, eds., Modularity companion '16: Companion proceedings of the 15th International Conference on Modularity, Málaga, Spain, 14-17 March 2016. New York: Association for Computing Machinery (ACM), pp. 8-11. ISBN 9781450340335

CHURCHILL, M., MOSSES, P.D., SCULTHORPE, N. and TORRINI, P., 2015. Reusable Components of Semantic Specifications. In: S. CHIBA, E. TANTER, E. ERNST and R. HIRSCHFELD, eds., Transactions on aspect-oriented software development XII. Lecture notes in computer science, 8989 . Berlin: Springer, pp. 132-179. ISBN 9783662467336