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

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

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)

Cites Work

• The Orc Programming Language
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Language for Task Orchestration and Its Semantic Properties

Cited In (16)

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

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)