Orc (програмски јазик): Разлика помеѓу преработките
| [проверена преработка] | [проверена преработка] |
Избришана содржина Додадена содржина
Создадено преведувајќи ја страницата „Orc (programming language)“ |
Нема опис на уредувањето |
||
Ред 1:
{{Infobox programming language
'''Orc''' е напореден, неодлучлив сметачки [[програмски јазик]] создаден од Џајадев Мисра на Тексашкиотниверзитет во Остин.▼
| name = Orc
| logo =
| paradigm = [[Напоредно програмирање|напоредна]], [[Неодлучно програмирање|неодлучна]]
| year = 2004
| designer = [[Џајадев Мисра]]
| developer = [[Џајадев Мисра]], [[Вилијам Кук (информатичар)|Вилијам Кук]], Дејвид Кичин, Ејдријан Куарк, Џон Тајвисен, Артур Питерс, и други
| influenced_by = [[Haskell (програмски јазик)|Haskell]], [[ML (програмски јазик)|ML]], [[Oz (програмски јазик)|Oz]], [[Smalltalk]], [[Pict (програмски јазик)|Pict]]
| license = [[New BSD License]]
| website = {{URL|https://orc.csres.utexas.edu/}}
}}
▲'''Orc''' е напореден, неодлучлив сметачки [[програмски јазик]] создаден од Џајадев Мисра на
Orc обезбедува еднообличен пристап до сметачки услуги, вклучувајќи дистрибуирана комуникација и манипулација со податоци, преку мрежни страници. Користејќи четири едноставни напоредни примитиви, програмерот го оркестрира повикувањето на страниците за да се постигне целта, истовремено управувајќи со прекините, приоритетите и откажувањата.
Ред 9 ⟶ 20:
== Библиографија ==
* {{cite conference |title=Computation Orchestration |last=Misra |first=Jayadev |date=2005 |conference=NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems |editor-last1=Broy |editor-first1=Manfred |editor-last2=Grünbauer |editor-first2=Johannes |editor-last3=Harel |editor-first3=David |editor-last4=Hoare |editor-first4=Tony |book-title=Engineering Theories of Software Intensive Systems |publisher=Springer |location=Marktoberdorf, Germany |series=NATO Science Series |volume=195 |pages=285–330 |isbn=978-1-4020-3530-2 |doi=10.1007/1-4020-3532-2_10 }}
* {{cite conference |title=A Tree Semantics of an Orchestration Language |last1=Hoare |first1=Tony |last2=Menzel |first2=Galen |last3=Misra |first3=Jayadev |date=2005 |conference=NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems |editor-last1=Broy |editor-first1=Manfred |editor-last2=Grünbauer |editor-first2=Johannes |editor-last3=Harel |editor-first3=David |editor-last4=Hoare |editor-first4=Tony |book-title=Engineering Theories of Software Intensive Systems |publisher=Springer |location=Marktoberdorf, Germany |series=NATO Science Series |volume=195 |pages=331–350 |isbn=978-1-4020-3530-2 |doi=10.1007/1-4020-3532-2_11 }}
* {{cite conference |title=A Programming Model for the Orchestration of Web Services |last1=Misra |first1=Jayadev |date=2004 |conference=Software Engineering and Formal Methods |publisher=IEEE |location=Beijing, China |pages=2–11 |isbn=0-7695-2222-X |doi=10.1109/SEFM.2004.1347498 }}
* {{cite conference |title=A Language for Task Orchestration and Its Semantic Properties |last1=Kitchin |first1=David |last2=Cook |first2=William R. |last3=Misra |first3=Jayadev |date=2006 |conference=Concurrency Theory |editor-last1=Baier |editor-first1=Christel |editor1-link= |editor-last2=Hermanns |editor-first2=Holger |publisher=Springer |location=Bonn, Germany |series=Lecture Notes in Computer Science |volume=4137 |pages=477–491 |isbn=978-3-540-37376-6 |doi=10.1007/11817949_32 }}
* {{
* {{cite conference |url=https://dl.acm.org/citation.cfm?doid=1273920.1273938 |title=Real-Time Rewriting Semantics of Orc |last1=AlTurki |first1=Musab |last2=Meseguer |first2=José |date=2007 |conference=Principles and Practice of Declarative Programming |publisher=ACM |location=Wroclaw, Poland |pages=131–142 |isbn=978-1-59593-769-8 |doi=10.1145/1273920.1273938 |access-date=2015-04-14 }}
* {{cite conference |title=Event Structure Semantics of Orc |last1=Rosario |first1=Sidney |last2=Kitchin |first2=David |last3=Benveniste |first3=Albert |last4=Cook |first4=William |last5=Haar |first5=Stefan |last6=Jard |first6=Claude |date=2007 |conference=Web Services and Formal Methods |editor-last1=Dumas |editor-first1=Marlon |editor-last2=Heckel |editor-first2=Reiko |publisher=Springer |location=Brisbane, Australia |series=Lecture Notes in Computer Science |volume=4937 |pages=154–168 |isbn=978-3-540-79229-1 |doi=10.1007/978-3-540-79230-7_11 }}
* {{
* {{cite conference |title=Structured Interacting Computations |last1=Cook |first1=William |last2=Misra |first2=Jayadev |date=2008 |editor-last1=Wirsing |editor-first1=Martin |editor-last2=Banâtre |editor-first2=Jean-Pierre |editor-last3=Hölzl |editor-first3=Matthias |editor-last4=Rauschmayer |editor-first4=Axel |book-title=Software-Intensive Systems and New Computing Paradigms: Challenges and Visions |publisher=Springer |series=Lecture Notes in Computer Science |volume=5380 |pages=139–145 |isbn=978-3-540-89436-0 |doi=10.1007/978-3-540-89437-7_9 }}
[[Категорија:Програмски јазици]]
[[Категорија:Појавено во 2004 година]]
| |||