P (programovací jazyk) - P (programming language) - Wikipedia

P
VývojářAnkush Desai, Vivek Gupta: ne politik, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Microsoft
Poprvé se objevil2012; před 8 lety (2012)
OSCross-platform
LicenceLicence MIT
Přípony názvu souboru.p
webová stránkagithub.com/ p-org/ Str

P je programovací jazyk pro asynchronní programování řízené událostmi a IoT který vyvinul Microsoft a University of California, Berkeley.[1]

P umožňuje programátorům specifikovat systémy skládající se z kolekce státní stroje které asynchronně komunikují z hlediska událostí.[2] Kód lze spustit Microsoft Windows a Windows Phone, a je nyní otevřený zdroj licencováno pod Licence MIT a k dispozici na GitHub.[3]

Viz také

Reference

  1. ^ Jazyk P open source Microsoft pro IoT
  2. ^ Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer a Sriram Rajamani. "P: Bezpečné asynchronní programování řízené událostmi". Citováno 20. února 2017.CS1 maint: používá parametr autoři (odkaz)
  3. ^ Sergio De Simone. „Jazyk P Microsoft Open-Sources pro bezpečné asynchronní programování na základě událostí“. InfoQ. Citováno 20. října 2016.

Další čtení

  • P: Bezpečné asynchronní programování řízené událostmi. Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani a Damien Zufferey. Ve sborníku ze dne ACM SIGPLAN Konference dne Návrh a implementace programovacího jazyka (PLDI), 2013.
  • Systematické testování asynchronních reaktivních systémů. Ankush Desai, Shaz Qadeer a Sanjit A. Seshia. Ve sborníku z 10. společného setkání 2015 o základech softwarového inženýrství (ESEC / FSE 2015).
  • Budování spolehlivých distribuovaných systémů s P. Ankush Desai, Ethanem Jacksonem, Amarem Phanishayee, Shazem Qadeerem a Sanjitem A. Seshia. University of California, Berkeley. Technická zpráva č. UCB / EECS-2015-198.

externí odkazy