References P (programming language)




p: safe asynchronous event-driven programming. ankush desai, vivek gupta, ethan jackson, shaz qadeer, sriram rajamani, , damien zufferey. in proceedings of acm sigplan conference on programming language design , implementation (pldi), 2013.
systematic testing of asynchronous reactive systems. ankush desai, shaz qadeer, , sanjit a. seshia. in proceedings of 2015 10th joint meeting on foundations of software engineering (esec/fse 2015).
building reliable distributed systems p. ankush desai, ethan jackson, amar phanishayee, shaz qadeer , sanjit a. seshia. university of california, berkeley.technical report no. ucb/eecs-2015-198.






Comments

Popular posts from this blog

United Kingdom List of armoured fighting vehicles by country

Episodes List of 2 Broke Girls episodes

Advert synopses Orson Welles Paul Masson adverts