Author:
Cirstea Horatiu,Merz Stephan
Publisher
Springer Nature Switzerland
Reference17 articles.
1. Barnes, J.: Programming in Ada 2012. Cambridge University Press, USA (2014)
2. Lecture Notes in Computer Science;D Cousineau,2012
3. Donovan, A.A.A., Kernighan, B.W.: The Go Programming Language. Addison-Wesley Professional, 1st edn. (2015)
4. Hackett, F., Hosseini, S., Costa, R., Do, M., Beschastnikh, I.: Compiling distributed system models with PGo. In: Aamodt, T.M., Enright Jerger, N.D., Swift, M.M. (eds.) Proceedings of 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Vancouver, Canada, pp. 159–175. ACM (2023)
5. Hawblitzel, C. et al.: Ironfleet: proving practical distributed systems correct. In: Miller, E.L., Hand, S. (eds.), Proceedings of the 25th Symposium on Operating Systems Principles (SOSP), Monterey, CA, U.S.A., pp. 1–17, ACM (2015)