Real-time rewriting semantics of orc - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Musab AlTurki, José Meseguer. Real-time rewriting semantics of orc. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 131-142, ACM, 2007. [doi]

The following publications are possibly variants of this publication:

Executable rewriting logic semantics of Orc and formal analysis of Orc programsMusab A. AlTurki, José Meseguer. jlp, 84(4):505-533, 2015. [doi]

A rewriting logic approach to operational semanticsTraian-Florin Serbanuta, Grigore Rosu, José Meseguer. iandc, 207(2):305-340, 2009. [doi]

runs on WebDSL