The Orc Programming Language

DOI10.1007/978-3-642-02138-1_1zbMATH Open1217.68049OpenAlexW1565645576MaRDI QIDQ3634722FDOQ3634722

Authors David Kitchin, Adrian Quark, William R. Cook, 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

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

Recommendations

• A timed semantics of Orc
• A Language for Task Orchestration and Its Semantic Properties
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• A denotational semantical model for Orc language
• Orchestration combinators in Apla+ language

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 958048 (Why is no real title available?)
• A Language for Task Orchestration and Its Semantic Properties
• The Orc Programming Language

Cited in

(17)

• Specification and verification of concurrent systems by causality and realizability
• Reasoning about orchestrations of web services using partial correctness
• Session types for safe web service orchestration
• Simulation Using Orchestration
• A denotational semantic theory of concurrent systems
• Towards a process calculus for REST: current state of the art
• Modelling web-service uncertainty: the angel/daemon approach
• A denotational semantical model for Orc language
• Orc
• A formal model for service-oriented interactions
• Orchestration combinators in Apla+ language
• The Orc Programming Language
• Combining behavioural types with security analysis
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Computational aspects of uncertainty profiles and angel-daemon games
• A timed semantics of Orc
• A UTP semantic model for Orc language with execution status and fault handling

Describes a project that uses

Uses Software

• ML
• Erlang
• Pict
• Quicksort
• Find

This page was built for publication: The Orc Programming Language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3634722)