Author:
Hubert Laurent,Pichardie David
Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. Bodik, R., R. Gupta and V. Sarkar, ABCD: eliminating array bounds checks on demand, in: Proc. of PLDI, 2000, pp. 321–333
2. A programmer friendly modular definition of the semantics of java;Börger,1999
3. Initialization problems for java;Börger;Software - Concepts and Tools,2000
4. A formal dynamic semantics of java: An essential ingredient of java security;Debbabi;Journal of Telecommunications and Information Technology,2002
5. Declaring and checking non-null types in an object-oriented language;Fähndrich;ACM SIGPLAN Notices,2003
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Initializing Global Objects: Time and Order;Proceedings of the ACM on Programming Languages;2023-10-16