Author:
Bettini Lorenzo,Bono Viviana,De Nicola Rocco,Ferrari Gianluigi,Gorla Daniele,Loreti Michele,Moggi Eugenio,Pugliese Rosario,Tuosto Emilio,Venneri Betti
Publisher
Springer Berlin Heidelberg
Reference71 articles.
1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
2. Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems 13(2), 237–268 (1991)
3. Abadi, M., Cardelli, L., Pierce, B., Remy, D.: Dynamic typing in polymorphic languages. Journal of Functional Programming 5(1), 111–130 (1995)
4. Arnold, K., Freeman, E., Hupfer, S.: JavaSpaces Principles, Patterns and Practice. Addison-Wesley, Reading (1999)
5. Ancona, D., Lagorio, G., Zucca, E.: Jam - designing a java extension with mixins. ACM Transaction on Programming Languages and Systems (2003) (to appear)
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Declarative Choreographies with Time and Data;Lecture Notes in Business Information Processing;2023
2. Sibilla: A Tool for Reasoning about Collective Systems;Lecture Notes in Computer Science;2022
3. Securing Node-RED Applications;Protocols, Strands, and Logic;2021
4. A Distributed Ledger Technology Based on Shared Write-Once Objects;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
5. X-Klaim Is Back;Models, Languages, and Tools for Concurrent and Distributed Programming;2019