Ork (programozási nyelv) - Orc (programming language)

Ork

Paradigma	egyidejű , nemdeterminisztikus
Tervezte	Jayadev Misra
Fejlesztő	Jayadev Misra , William R. Cook , David Kitchin, Adrian Quark, John Thywissen, Arthur Peters és mások
Először jelent meg	2004
Engedély	Új BSD licenc
Weboldal	ork .csres .utexas .edu
Befolyásolta
Haskell , ML , Oz , Smalltalk , Pict

Az Orc egy párhuzamos , nem determinisztikus számítógépes programozási nyelv , amelyet Jayadev Misra készített a texasi egyetemen, Austinban .

Az Orc webhelyeken keresztül egységes hozzáférést biztosít a számítási szolgáltatásokhoz, beleértve az elosztott kommunikációt és az adatkezelést. Négy egyszerű párhuzamossági primitív segítségével a programozó a célok elérése érdekében szervezi a webhelyek meghívását, miközben kezeli az időkorlátokat, a prioritásokat és a kudarcokat.

Külső linkek

• Ork főoldal

Bibliográfia

• Misra, Jayadev (2005). Msgstr "Számítási hangszerelés". Broy-ban, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony (szerk.). A szoftverintenzív rendszerek mérnöki elméletei . A NATO Fejlett Tanulmányi Intézet a szoftverintenzív rendszerek mérnökelméleteiről. NATO Science Series. 195 . Marktoberdorf, Németország: Springer. 285–330. doi : 10.1007 / 1-4020-3532-2_10 . ISBN 978-1-4020-3530-2.
• Hoare, Tony; Menzel, Galen; Misra, Jayadev (2005). "Egy hangszerelési nyelv fa szemantikája". Broy-ban, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony (szerk.). A szoftverintenzív rendszerek mérnöki elméletei . A NATO Fejlett Tanulmányi Intézet a szoftverintenzív rendszerek mérnöki elméleteiről. NATO Science Series. 195 . Marktoberdorf, Németország: Springer. 331–350. doi : 10.1007 / 1-4020-3532-2_11 . ISBN 978-1-4020-3530-2.
• Misra, Jayadev (2004). Programozási modell a webszolgáltatások hangszereléséhez . Szoftvertechnika és formális módszerek. Peking, Kína: IEEE. 2–11. doi : 10.1109 / SEFM.2004.1347498 . ISBN 0-7695-2222-X.
• Kitchin, David; Cook, William R .; Misra, Jayadev (2006). Baier, Christel ; Hermanns, Holger (szerk.). Nyelv a feladat-hangszereléshez és szemantikai tulajdonságai . Párhuzamossági elmélet. Előadási jegyzetek a számítástechnikában. 4137 . Bonn, Németország: Springer. 477–491. doi : 10.1007 / 11817949_32 . ISBN 978-3-540-37376-6.
• Misra, Jayadev; Cook, William R. (2007. március). "Számítási hangszerelés: A széles területű számítás alapja". Szoftver és rendszerek modellezése . 6 (1): 83–110. doi : 10.1007 / s10270-006-0012-1 . ISSN  1619-1366 .
• AlTurki, Musab; Meseguer, José (2007). Az ork valós idejű átírási szemantikája . A deklaratív programozás alapelvei és gyakorlata. Wroclaw, Lengyelország: ACM. 131–142. doi : 10.1145 / 1273920.1273938 . ISBN 978-1-59593-769-8. Letöltve: 2015-04-14 .
• Rosario, Sidney; Kitchin, David; Benveniste, Albert; Cook, William; Haar, Stefan; Jard, Claude (2007). Dumas, Marlon; Heckel, Reiko (szerk.). Az esemény struktúrája az ork szemantikája . Webszolgáltatások és formális módszerek. Előadási jegyzetek a számítástechnikában. 4937 . Brisbane, Ausztrália: Springer. 154–168. doi : 10.1007 / 978-3-540-79230-7_11 . ISBN 978-3-540-79229-1.
• Wehrman, Ian; Kitchin, David; Cook, William R .; Misra, Jayadev (2006). "Az ork időzített szemantikája" . Elméleti számítástechnika . 402 (2–3): 234–248. doi : 10.1016 / j.tcs.2008.04.037 . ISSN  0304-3975 .
• Cook, William; Misra, Jayadev (2008). Msgstr "Strukturált interakciós számítások". Wirsingben Martin; Banâtre, Jean-Pierre; Hölzl, Mátyás; Rauschmayer, Axel (szerk.). Szoftverintenzív rendszerek és új számítási paradigmák: Kihívások és jövőképek . Előadási jegyzetek a számítástechnikában. 5380 . Springer. 139–145. doi : 10.1007 / 978-3-540-89437-7_9 . ISBN 978-3-540-89436-0.