The Orc Programming Language

DOI10.1007/978-3-642-02138-1_1zbMath1217.68049OpenAlexW1565645576MaRDI QIDQ3634722

David Kitchin, William R. Cook, Adrian Quark, Jayadev Misra

Publication date: 26 June 2009

Published in: Formal Techniques for Distributed Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02138-1_1

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (13)

Modelling web-service uncertainty: the angel/daemon approach ⋮ A UTP semantic model for Orc language with execution status and fault handling ⋮ A Denotational Semantic Theory of Concurrent Systems ⋮ Combining behavioural types with security analysis ⋮ Specification and verification of concurrent systems by causality and realizability ⋮ Towards a process calculus for REST: current state of the art ⋮ A formal model for service-oriented interactions ⋮ Session types for safe web service orchestration ⋮ Computational aspects of uncertainty profiles and angel-daemon games ⋮ Reasoning about orchestrations of web services using partial correctness ⋮ The Orc Programming Language ⋮ Orc ⋮ Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Uses Software

• ML
• Erlang
• Pict
• Quicksort
• Find

Cites Work

• The Orc Programming Language
• A Language for Task Orchestration and Its Semantic Properties
• Unnamed Item
• Unnamed Item

This page was built for publication: The Orc Programming Language