Author:
Bono Viviana,Fisher Kathleen
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. M. Abadi and L. Cardelli. An imperative object calculus. Theory and Practice of Object Systems, 1(3):151–166, 1996. Earlier version appeared in TAPSOFT '95 proceedings.
2. M. Abadi and L. Cardelli. A Theory of Objects. Springer, 1996.
3. M. Abadi and L. Cardelli. A theory of primitive objects: Untyped and first-order systems. Information and Computation, 125(2):78–102, 1996. Earlier version appeared in TACS '94 proceedings, LNCS 789.
4. K. Arnold and J. Gosling. The Java Programming Language. Addison Wesley, 1996.
5. G.M. Birtwistle, O.-J. Dahl, B. Myhrhaug, and K. Nygaard. Simula Begin. Studentlitteratur, Box 1717, S-222 01 Lund, Sweden; Auerbach, Philadelphia, 1973.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SJS: A Type System for JavaScript with Fixed Object Layout;Static Analysis;2015
2. Foo;Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15;2015
3. Types for Flexible Objects;Programming Languages and Systems;2014
4. Polymorphic type inference for scripting languages with object extensions;ACM SIGPLAN Notices;2012-03-18
5. Recency Types for Analyzing Scripting Languages;ECOOP 2010 – Object-Oriented Programming;2010