A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand Northeastern University Abstract. Orc [9] is a language for task orchestration. It has a small - WAND - Document - PDFSEARCH.IO

First Page	Meta Content
	A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand Northeastern University Abstract. Orc [9] is a language for task orchestration. It has a small Add to Reading List Document Date: 2007-10-25 16:53:58 Open Document File Size: 328,39 KB Share Result on Facebook / IndustryTerm basic services / web services / / OperatingSystem DOS / / Organization Northeastern University / / Person Mitchell Wand / / SocialTag Abstract algebra Programming language semantics Lambda calculus Denotational semantics Continuous function Valuation Combinatory logic Theoretical computer science Logic in computer science Mathematics

A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand Northeastern University Abstract. Orc [9] is a language for task orchestration. It has a smallAdd to Reading List