Publisher
Springer International Publishing
Reference45 articles.
1. Mungo Repository.
https://bitbucket.org/abcd-glasgow/mungo-tools/src/master/
2. Mungo Webpage.
http://www.dcs.gla.ac.uk/research/mungo/
3. Aldrich, J., Sunshine, J., Saini, D., Sparks, Z.: Typestate-oriented programming. In: OOPSLA Companion, pp. 1015–1022. ACM (2009).
https://doi.org/10.1145/1639950.1640073
4. Allan, C., et al.: Adding trace matching with free variables to AspectJ. In: OOPSLA, pp. 345–364. ACM (2005).
https://doi.org/10.1145/1094811.1094839
5. Ancona, D., et al.: Behavioral types in programming languages. Found. Trends Program. Lang. 3(2–3), 95–230 (2016).
https://doi.org/10.1561/2500000031
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Choral: Object-oriented Choreographic Programming;ACM Transactions on Programming Languages and Systems;2024-01-16
2. Formalizing Model Inference of MicroPython;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2023-06
3. Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems;Lecture Notes in Computer Science;2023
4. Taming stateful computations in Rust with typestates;Journal of Computer Languages;2022-10
5. ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022