Author:
Crafa Silvia,Cunningham David,Saraswat Vijay,Shinnar Avraham,Tardieu Olivier
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Ahern, A., Yoshida, N.: Formalising java rmi with explicit code mobility. In: OOPSLA 2005, pp. 403–422. ACM, New York (2005)
2. Akidau, T., Balikov, A., Bekiroglu, K., Chernyak, S., Haberman, J., Lax, R., McVeety, S., Mills, D., Nordstrom, P., Whittle, S.: MillWheel: Fault-Tolerant Stream Processing at Internet Scale. In: Very Large Data Bases, pp. 734–746 (2013)
3. Lecture Notes in Computer Science;R.M. Amadio,1997
4. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Comp. Sci. Springer (2004)
5. Bierman, G.M., Parkinson, M.J., Pitts, A.M.: Mj: An imperative core calculus for java and java with effects. Technical report, University of Cambridge Computer Laboratory (2003)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reliable Actors with Retry Orchestration;Proceedings of the ACM on Programming Languages;2023-06-06
2. Failure Recovery in Resilient X10;ACM Transactions on Programming Languages and Systems;2019-09-30
3. Dynamic Deadlock Verification for General Barrier Synchronisation;ACM Transactions on Programming Languages and Systems;2019-03-31
4. Formalization of Phase Ordering;Electronic Proceedings in Theoretical Computer Science;2016-06-17
5. Resilient X10 over MPI user level failure mitigation;Proceedings of the 6th ACM SIGPLAN Workshop on X10;2016-06-02