From the Publisher:
Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the definitive technical reference for the Java(tm) programming language. If you want to know the precise meaning of the language's constructs, this is the source for you.
The book provides complete, accurate, and detailed coverage of the syntax and semantics of the Java programming language. It describes all aspects of the language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility.
Cited By
- Huang M, Chen J, Jiang Z and Zheng Z Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, (1-12)
- Wang Y, Welc A, Clapp L and Chen L Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (1693-1704)
- Yang F, Huang W, Kaoudis K, Vahldiek-Oberwagner A and Dautenhahn N Endoprocess: Programmable and Extensible Subprocess Isolation Proceedings of the 2023 New Security Paradigms Workshop, (92-101)
- Lutze M, Madsen M, Schuster P and Brachthäuser J (2023). With or Without You: Programming with Effect Exclusion, Proceedings of the ACM on Programming Languages, 7:ICFP, (448-475), Online publication date: 30-Aug-2023.
- Patnaik N, Dwyer A, Hallett J and Rashid A (2023). SLR: From Saltzer and Schroeder to 2021…47 Years of Research on the Development and Validation of Security API Recommendations, ACM Transactions on Software Engineering and Methodology, 32:3, (1-31), Online publication date: 31-Jul-2023.
- Greenman B GTP Benchmarks for Gradual Typing Performance Proceedings of the 2023 ACM Conference on Reproducibility and Replicability, (102-114)
- Lubis L, Tanabe Y, Aotani T and Masuhara H BatakJava: An Object-Oriented Programming Language with Versions Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, (222-234)
- Chiodini L, Moreno Santos I and Hauswirth M Expressions in Java: Essential, Prevalent, Neglected? Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E, (41-51)
- Zhang Z, Zhang H, Shen B and Gu X Diet code is healthy: simplifying programs for pre-trained models of code Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (1073-1084)
- Mi Q, Hao Y, Ou L and Ma W (2022). Towards using visual, semantic and structural features to improve code readability classification, Journal of Systems and Software, 193:C, Online publication date: 1-Nov-2022.
- Hanenberg S and Mehlhorn N (2021). Two N-of-1 self-trials on readability differences between anonymous inner classes (AICs) and lambda expressions (LEs) on Java code snippets, Empirical Software Engineering, 27:2, Online publication date: 1-Mar-2022.
- Czerniejewski A, Burns J, Ghanei F, Dantu K, Liu Y and Ziarek L JCopter: Reliable UAV Software Through Managed Languages 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (4282-4289)
- Mäkitalo N, Bankowski V, Daubaris P, Mikkola R, Beletski O and Mikkonen T Bringing WebAssembly up to speed with dynamic linking Proceedings of the 36th Annual ACM Symposium on Applied Computing, (1727-1735)
- Chika Eleonu H A Framework and Tool Support for Managing a Family of Business Process Variants Proceedings of the 4th International Conference on Information Science and Systems, (81-89)
- Shen A and Sun Y GraphicalAI: A User-Centric Approach to Develop Artificial Intelligence and Machine Learning Applications using a Visual and Graphical Language 2021 4th International Conference on Data Storage and Data Engineering, (52-58)
- Zhang J, Wang X, Zhang H, Sun H, Pu Y and Liu X Learning to handle exceptions Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, (29-41)
- Fraietta A, Bown O, Ferguson S, Gillespie S and Bray L (2020). Rapid Composition for Networked Devices, Computer Music Journal, 43:2-3, (89-108), Online publication date: 1-Jun-2020.
- Sjöberg V, Sang Y, Weng S and Shao Z (2019). DeepSEA: a language for certified system software, Proceedings of the ACM on Programming Languages, 3:OOPSLA, (1-27), Online publication date: 10-Oct-2019.
- Wang Y, Wen M, Wu R, Liu Z, Tan S, Zhu Z, Yu H and Cheung S Could I have a stack trace to examine the dependency conflict issue? Proceedings of the 41st International Conference on Software Engineering, (572-583)
- Jiang J, Zhu H, Li Q, Zhao Y, Hong Z, Zhang S and Gong P (2019). Isolation Modeling and Analysis Based on Mobility, ACM Transactions on Software Engineering and Methodology, 28:2, (1-31), Online publication date: 9-Apr-2019.
- Lechevalier D, Shin S, Rachuri S, Foufou S, Lee Y and Bouras A (2019). Simulating a virtual machining model in an agent-based model for advanced analytics, Journal of Intelligent Manufacturing, 30:4, (1937-1955), Online publication date: 1-Apr-2019.
- Bergstra J and Middelburg C (2019). Process Algebra with Strategic Interleaving, Theory of Computing Systems, 63:3, (488-505), Online publication date: 1-Apr-2019.
- Bruno R and Ferreira P (2018). A Study on Garbage Collection Algorithms for Big Data Environments, ACM Computing Surveys, 51:1, (1-35), Online publication date: 31-Jan-2019.
- Rocha J, Melo H, Coelho R and Sena B Towards a catalogue of Java exception handling bad smells and refactorings Proceedings of the 25th Conference on Pattern Languages of Programs, (1-17)
- Martinelli F, Mercaldo F, Nardone V, Santone A, Sangaiah A and Cimitile A (2022). Evaluating model checking for cyber threats code obfuscation identification, Journal of Parallel and Distributed Computing, 119:C, (203-218), Online publication date: 1-Sep-2018.
- Nasartschuk K, Kent K, MacKay S, Micic A and Gracie C Improving garbage collection-time string deduplication Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, (113-119)
- Jiang J, Zhu H, Li Q, Zhao Y, Zhao L, Zhang S, Gong P, Hong Z and Chen D (2017). Event-Based Mobility Modeling and Analysis, ACM Transactions on Cyber-Physical Systems, 1:2, (1-32), Online publication date: 28-Feb-2017.
- Reif M, Eichberg M, Hermann B, Lerch J and Mezini M Call graph construction for Java libraries Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, (474-486)
- Terragni V, Liu Y and Cheung S CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites Proceedings of the 25th International Symposium on Software Testing and Analysis, (118-129)
- Giannini P, Servetto M and Zucca E Coupling catch clauses with local declarations Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, (1-6)
- Sena D, Coelho R, Kulesza U and Bonifácio R Understanding the exception handling strategies of Java libraries Proceedings of the 13th International Conference on Mining Software Repositories, (212-222)
- Giannini P, Servetto M and Zucca E Initialize-and-catch Proceedings of the 31st Annual ACM Symposium on Applied Computing, (1819-1822)
- Sena D, Coelho R and Kulesza U Integrated analysis of exception flows and handler actions in Java libraries Proceedings of the 31st Annual ACM Symposium on Applied Computing, (1520-1526)
- Coelho R, Almeida L, Gousios G and van Deursen A Unveiling exception handling bug hazards in Android based on GitHub and Google code issues Proceedings of the 12th Working Conference on Mining Software Repositories, (134-145)
- Bogdanas D and Roşu G (2015). K-Java, ACM SIGPLAN Notices, 50:1, (445-456), Online publication date: 11-May-2015.
- Zaytsev V (2015). Grammar Zoo, Science of Computer Programming, 98:P1, (28-51), Online publication date: 1-Feb-2015.
- Bogdanas D and Roşu G K-Java Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (445-456)
- van Moolenbroek D, Appuswamy R and Tanenbaum A Towards a Flexible, Lightweight Virtualization Alternative Proceedings of International Conference on Systems and Storage, (1-7)
- Dyer R, Rajan H, Nguyen H and Nguyen T Mining billions of AST nodes to study actual and potential usage of Java language features Proceedings of the 36th International Conference on Software Engineering, (779-790)
- Hung W and Garg V (2013). AutoSynch, ACM SIGPLAN Notices, 48:6, (253-262), Online publication date: 23-Jun-2013.
- Hung W and Garg V AutoSynch Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, (253-262)
- Arthur R and Olsen D (2012). Window brokers, ACM Transactions on Computer-Human Interaction, 19:3, (1-21), Online publication date: 1-Oct-2012.
- Dooren M, Clarke D and Jacobs B Subobject-Oriented Programming Revised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 7866, (38-82)
- Leiserson C, Schardl T and Sukha J (2012). Deterministic parallel random-number generation for dynamic-multithreading platforms, ACM SIGPLAN Notices, 47:8, (193-204), Online publication date: 11-Sep-2012.
- Czajkowski G and Daynès L (2012). Multitasking without compromise, ACM SIGPLAN Notices, 47:4a, (60-73), Online publication date: 18-Jun-2012.
- Damiani F, Poetzsch-Heffter A and Welsch Y A type system for checking specialization of packages in object-oriented programming Proceedings of the 27th Annual ACM Symposium on Applied Computing, (1737-1742)
- Leiserson C, Schardl T and Sukha J Deterministic parallel random-number generation for dynamic-multithreading platforms Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, (193-204)
- Axelsen E, Krogdahl S and Møller-Pedersen B (2010). Controlling dynamic module composition through an extensible meta-level API, ACM SIGPLAN Notices, 45:12, (81-96), Online publication date: 3-Dec-2010.
- Axelsen E, Krogdahl S and Møller-Pedersen B Controlling dynamic module composition through an extensible meta-level API Proceedings of the 6th symposium on Dynamic languages, (81-96)
- Azadmanesh M and Sharifi M Towards a system-wide and transparent security mechanism using language-level information flow control Proceedings of the 3rd international conference on Security of information and networks, (19-26)
- Duran A, Cavalcanti A and Sampaio A (2010). An algebraic approach to the design of compilers for object-oriented languages, Formal Aspects of Computing, 22:5, (489-535), Online publication date: 1-Sep-2010.
- Geoffray N, Thomas G, Lawall J, Muller G and Folliot B (2010). VMKit, ACM SIGPLAN Notices, 45:7, (51-62), Online publication date: 1-Jul-2010.
- Geoffray N, Thomas G, Lawall J, Muller G and Folliot B VMKit Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, (51-62)
- Dinkelaker T, Eichberg M and Mezini M An architecture for composing embedded domain-specific languages Proceedings of the 9th International Conference on Aspect-Oriented Software Development, (49-60)
- Markstrum S, Marino D, Esquivel M, Millstein T, Andreae C and Noble J (2010). JavaCOP, ACM Transactions on Programming Languages and Systems, 32:2, (1-37), Online publication date: 1-Jan-2010.
- Axelsen E and Krogdahl S (2009). Groovy package templates, ACM SIGPLAN Notices, 44:12, (15-26), Online publication date: 25-Dec-2009.
- Axelsen E and Krogdahl S Groovy package templates Proceedings of the 5th symposium on Dynamic languages, (15-26)
- Puffitsch W Data caching, garbage collection, and the Java memory model Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (90-99)
- Richardson T, Wellings A, Dianes J and Díaz M Providing temporal isolation in the OSGi framework Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (1-10)
- Dinkelaker T, Mezini M and Bockisch C The art of the meta-aspect protocol Proceedings of the 8th ACM international conference on Aspect-oriented software development, (51-62)
- Pereira C, Lobato D, Teixeira C and Pimentel M Achieving causal and total ordering in publish/subscribe middleware with DSM Proceedings of the 3rd workshop on Middleware for service oriented computing, (61-66)
- Bernardeschi C, Francesco N, Lettieri G, Martini L and Masci P (2008). Decomposing bytecode verification by abstract interpretation, ACM Transactions on Programming Languages and Systems, 31:1, (1-63), Online publication date: 1-Dec-2008.
- Huang G and Sun L (2008). An access control framework for reflective middleware, Journal of Computer Science and Technology, 23:6, (895-904), Online publication date: 1-Nov-2008.
- Bellamy B, Avgustinov P, de Moor O and Sereni D (2008). Efficient local type inference, ACM SIGPLAN Notices, 43:10, (475-492), Online publication date: 27-Oct-2008.
- Chern R and De Volder K (2008). The impact of static-dynamic coupling on remodularization, ACM SIGPLAN Notices, 43:10, (261-276), Online publication date: 27-Oct-2008.
- Bellamy B, Avgustinov P, de Moor O and Sereni D Efficient local type inference Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, (475-492)
- Chern R and De Volder K The impact of static-dynamic coupling on remodularization Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, (261-276)
- Puffitsch W and Schoeberl M Non-blocking root scanning for real-time garbage collection Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, (68-76)
- Cuoq P and Doligez D Hashconsing in an incrementally garbage-collected system Proceedings of the 2008 ACM SIGPLAN workshop on ML, (13-22)
- Geoffray N, Thomas G, Clément C and Folliot B A lazy developer approach Proceedings of the 6th international symposium on Principles and practice of programming in Java, (73-82)
- Naderlinger A and Templ J A framework for command processing in Java/Swing programs based on the MVC pattern Proceedings of the 6th international symposium on Principles and practice of programming in Java, (35-42)
- Buse R and Weimer W A metric for software readability Proceedings of the 2008 international symposium on Software testing and analysis, (121-130)
- Hulaas J and Binder W (2008). Program transformations for light-weight CPU accounting and control in the Java virtual machine, Higher-Order and Symbolic Computation, 21:1-2, (119-146), Online publication date: 1-Jun-2008.
- Monniaux D (2008). The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems, 30:3, (1-41), Online publication date: 1-May-2008.
- Cornero M, Costa R, Pascual R, Ornstein A and Rohou E An experimental environment validating the suitability of CLI as an effective deployment format for embedded systems Proceedings of the 3rd international conference on High performance embedded architectures and compilers, (130-144)
- Unkel C and Lam M (2008). Automatic inference of stationary fields, ACM SIGPLAN Notices, 43:1, (183-195), Online publication date: 14-Jan-2008.
- Hirzel M, Nystrom N, Bloom B and Vitek J Matchete Proceedings of the 10th international conference on Practical aspects of declarative languages, (150-166)
- Unkel C and Lam M Automatic inference of stationary fields Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (183-195)
- Bergstra J and Middelburg C (2007). Thread algebra for strategic interleaving, Formal Aspects of Computing, 19:4, (445-474), Online publication date: 1-Nov-2007.
- Ducasse S, Wuyts R, Bergel A and Nierstrasz O (2007). User-changeable visibility, ACM SIGPLAN Notices, 42:10, (171-190), Online publication date: 21-Oct-2007.
- Ekman T and Hedin G (2007). The jastadd extensible java compiler, ACM SIGPLAN Notices, 42:10, (1-18), Online publication date: 21-Oct-2007.
- Ducasse S, Wuyts R, Bergel A and Nierstrasz O User-changeable visibility Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, (171-190)
- Ekman T and Hedin G The jastadd extensible java compiler Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, (1-18)
- Herman D and Flanagan C Status report Proceedings of the 2007 workshop on Workshop on ML, (47-52)
- Zhang L, Krintz C and Nagpurkar P Supporting exception handling for futures in Java Proceedings of the 5th international symposium on Principles and practice of programming in Java, (175-184)
- Kamil A and Yelick K Hierarchical pointer analysis for distributed programs Proceedings of the 14th international conference on Static Analysis, (281-297)
- van Dooren M and Steegmans E A higher abstraction level using first-class inheritance relations Proceedings of the 21st European conference on Object-Oriented Programming, (425-449)
- Cabral B and Marques P Exception handling Proceedings of the 21st European conference on Object-Oriented Programming, (151-175)
- Sasse R and Meseguer J (2007). Java+ITP, Electronic Notes in Theoretical Computer Science (ENTCS), 176:4, (29-46), Online publication date: 1-Jul-2007.
- McCreight A, Shao Z, Lin C and Li L A general framework for certifying garbage collectors and their mutators Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, (468-479)
- McCreight A, Shao Z, Lin C and Li L (2007). A general framework for certifying garbage collectors and their mutators, ACM SIGPLAN Notices, 42:6, (468-479), Online publication date: 10-Jun-2007.
- Eisenbach S, Sadler C and Wong D Component adaptation in contemporary execution environments Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems, (90-103)
- Chalin P (2007). Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?, Formal Aspects of Computing, 19:2, (139-158), Online publication date: 1-Jun-2007.
- Batchelder M and Hendren L Obfuscating Java Proceedings of the 16th international conference on Compiler construction, (96-110)
- Aotani T and Masuhara H Towards a type system for detecting never-matching pointcut compositions Proceedings of the 6th workshop on Foundations of aspect-oriented languages, (23-26)
- Golbeck R and Kiczales G A machine code model for efficient advice dispatch Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms, (2-es)
- Chai Z, Zhao W and Xu W Real-time Java processor optimized for RTSJ Proceedings of the 2007 ACM symposium on Applied computing, (1540-1544)
- Cimadamore M and Viroli M Reifying wildcards in Java using the EGO approach Proceedings of the 2007 ACM symposium on Applied computing, (1315-1322)
- De Roover C, D'Hondt T, Brichau J, Noguera C and Duchien L Behavioral similarity matching using concrete source code templates in logic queries Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (92-101)
- Logozzo F Cibai Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation, (283-298)
- Poetzsch-Heffter A, Geilmann K and Schäfer J Infering ownership types for encapsulated object-oriented program components Program analysis and compilation, theory and practice, (120-144)
- Langmaack H On revival of Algol-concepts in modern programming and specification languages Formal methods and hybrid real-time systems, (414-434)
- Giangrande E (2007). CS1 programming language options, Journal of Computing Sciences in Colleges, 22:3, (153-160), Online publication date: 1-Jan-2007.
- Johnsen E, Owe O and Yu I (2006). Creol, Theoretical Computer Science, 365:1, (23-66), Online publication date: 10-Nov-2006.
- Choi W, Jeon H, Rosholt R, Jung G and Jung M A novel buffer cache scheme using java card object with high locality for efficient java card applications Proceedings of the 1st international conference on Advances in hybrid information technology, (500-510)
- Geoffray N, Thomas G and Folliot B Transparent and dynamic code offloading for java applications Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II, (1790-1806)
- Baxter G, Frean M, Noble J, Rickerby M, Smith H, Visser M, Melton H and Tempero E Understanding the shape of Java software Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (397-412)
- Andreae C, Noble J, Markstrum S and Millstein T A framework for implementing pluggable type systems Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (57-74)
- Goh O, Lee Y and Kaakani Z Schedulable persistence system for teal-time applications in virtual machine Proceedings of the 6th ACM & IEEE International conference on Embedded software, (195-204)
- Baxter G, Frean M, Noble J, Rickerby M, Smith H, Visser M, Melton H and Tempero E (2006). Understanding the shape of Java software, ACM SIGPLAN Notices, 41:10, (397-412), Online publication date: 16-Oct-2006.
- Andreae C, Noble J, Markstrum S and Millstein T (2006). A framework for implementing pluggable type systems, ACM SIGPLAN Notices, 41:10, (57-74), Online publication date: 16-Oct-2006.
- Ren X, Chesley O and Ryder B (2006). Identifying Failure Causes in Java Programs, IEEE Transactions on Software Engineering, 32:9, (718-732), Online publication date: 1-Sep-2006.
- Kim Y and Chang B Visualization of permission checks in java using static analysis Proceedings of the 7th international conference on Information security applications: PartI, (133-146)
- Jin M and Jung M A high performance buffering of java objects for java card systems with flash memory Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing, (908-918)
- Chin B and Millstein T Responders Proceedings of the 20th European conference on Object-Oriented Programming, (255-278)
- Martens R, Paranjape R, Benedicenti L, Sankaran S and Sadanand A (2006). Mobile agent strategies for the provision of public goods, Electronic Commerce Research and Applications, 5:2, (140-146), Online publication date: 1-Jul-2006.
- Ábrahám E, Grüner A and Steffen M Abstract interface behavior of object-oriented languages with monitors Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (218-232)
- Kerschbaum F and Terzidis O Filtering for private collaborative benchmarking Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security, (409-422)
- Leavens G, Baker A and Ruby C (2006). Preliminary design of JML, ACM SIGSOFT Software Engineering Notes, 31:3, (1-38), Online publication date: 1-May-2006.
- Binder W and Hulaas J (2006). Using Bytecode Instruction Counting as Portable CPU Consumption Metric, Electronic Notes in Theoretical Computer Science (ENTCS), 153:2, (57-77), Online publication date: 1-May-2006.
- Trachsel O, von Praun C and Gross T On the effectiveness of speculative and selective memory fences Proceedings of the 20th international conference on Parallel and distributed processing, (33-33)
- van Heiningen W, Brecht T and MacDonald S Exploiting dynamic proxies in middleware for distributed, parallel, and mobile java applications Proceedings of the 20th international conference on Parallel and distributed processing, (231-231)
- van Heiningen W, Brecht T and MacDonald S Babylon v2.0 Proceedings of the 20th international conference on Parallel and distributed processing, (226-226)
- Chang B (2006). Static check analysis for Java stack inspection, ACM SIGPLAN Notices, 41:3, (40-48), Online publication date: 1-Mar-2006.
- Privat J and Ducournau R (2005). Link-time static analysis for efficient separate compilation of object-oriented languages, ACM SIGSOFT Software Engineering Notes, 31:1, (20-27), Online publication date: 1-Jan-2006.
- Günay C and Maida A (2006). Using temporal binding for hierarchical recruitment of conjunctive concepts over delayed lines, Neurocomputing, 69:4-6, (317-367), Online publication date: 1-Jan-2006.
- Jin M, Choi W, Yang Y and Jung M The research on how to reduce the number of EEPROM writing to improve speed of java card Proceedings of the Second international conference on Embedded Software and Systems, (71-84)
- Jin M, Choi W, Yang Y and Jung M A study on fast JCVM with new transaction mechanism and caching-buffer based on java card objects with a high locality Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing, (91-100)
- Wu G, Zhou X, Lueh G, Fang J, Guo P, Peng J and Ying V XAMM Proceedings of the First international conference on High Performance Embedded Architectures and Compilers, (130-149)
- Van Lepthien W and Anderson K A metainformatical view of collections Proceedings of the 2005 symposia on Metainformatics, (16-es)
- Milanova A Precise identification of composition relationships for UML class diagrams Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, (76-85)
- Lim S, Carpenter B, Fox G and Lee H Collective communications for scalable programming Proceedings of the Third international conference on Parallel and Distributed Processing and Applications, (286-297)
- Buhr P and Harji A (2005). Implicit-signal monitors, ACM Transactions on Programming Languages and Systems, 27:6, (1270-1343), Online publication date: 1-Nov-2005.
- Poetzsch-Heffter A and Schäfer J Modular specification of encapsulated object-oriented components Proceedings of the 4th international conference on Formal Methods for Components and Objects, (313-341)
- Datta K, Bonachea D and Yelick K Titanium performance and potential Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing, (200-214)
- Charles P, Grothoff C, Saraswat V, Donawa C, Kielstra A, Ebcioglu K, von Praun C and Sarkar V X10 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (519-538)
- van Dooren M and Steegmans E Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (455-471)
- Tschantz M and Ernst M Javari Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (211-230)
- Odersky M and Zenger M Scalable component abstractions Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (41-57)
- Pierik C and de Boer F (2005). A proof outline logic for object-oriented programming, Theoretical Computer Science, 343:3, (413-442), Online publication date: 17-Oct-2005.
- Charles P, Grothoff C, Saraswat V, Donawa C, Kielstra A, Ebcioglu K, von Praun C and Sarkar V (2005). X10, ACM SIGPLAN Notices, 40:10, (519-538), Online publication date: 12-Oct-2005.
- van Dooren M and Steegmans E (2005). Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations, ACM SIGPLAN Notices, 40:10, (455-471), Online publication date: 12-Oct-2005.
- Tschantz M and Ernst M (2005). Javari, ACM SIGPLAN Notices, 40:10, (211-230), Online publication date: 12-Oct-2005.
- Odersky M and Zenger M (2005). Scalable component abstractions, ACM SIGPLAN Notices, 40:10, (41-57), Online publication date: 12-Oct-2005.
- Ryder B, Soffa M and Burnett M (2005). The impact of software engineering research on modern programming languages, ACM Transactions on Software Engineering and Methodology, 14:4, (431-477), Online publication date: 1-Oct-2005.
- Trentelman K Proving Correctness of JavaCard DL Taclets using Bali Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (160-169)
- Grandy H, Stenzel K and Reif W Object Oriented Verification Kernels for Secure Java Applications Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (170-179)
- Chalin P Logical Foundations of Program Assertions Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (383-393)
- Privat J and Ducournau R Link-time static analysis for efficient separate compilation of object-oriented languages Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (20-27)
- Newhouse T and Pasquale J (2005). Java active extensions, Computer Communications, 28:14, (1680-1691), Online publication date: 1-Sep-2005.
- Cataño N Formal modeling of a slicing algorithm for java event spaces in PVS Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics, (82-97)
- Greiner S, Rebernak D, Brest J and Zumer V (2005). Z0 - a tiny experimental language, ACM SIGPLAN Notices, 40:8, (19-28), Online publication date: 1-Aug-2005.
- Daynès L and Czajkowski G Sharing the runtime representation of classes across class loaders Proceedings of the 19th European conference on Object-Oriented Programming, (97-120)
- Sato Y and Chiba S Loosely-separated “sister” namespaces in java Proceedings of the 19th European conference on Object-Oriented Programming, (49-70)
- Pierik C, Clarke D and de Boer F Controlling object allocation using creation guards Proceedings of the 2005 international conference on Formal Methods, (59-74)
- Wojciechowski P Isolation-only transactions by typing and versioning Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, (70-81)
- Ekman T and Hedin G Modular name analysis for java using jastadd Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering, (422-436)
- Takatsuka M (2005). A component-oriented software authoring system for exploratory visualization, Future Generation Computer Systems, 21:7, (1213-1222), Online publication date: 1-Jul-2005.
- Miranda J, Schonberg E and Dismukes G The implementation of ada 2005 interface types in the GNAT compiler Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies, (208-219)
- Brosgol B A comparison of the mutual exclusion features in ada and the real-time specification for JavaTM Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies, (129-143)
- Roth A Specification and verification of encapsulation in java programs Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (195-210)
- Chen G and Kandemir M Improving java virtual machine reliability for memory-constrained embedded systems Proceedings of the 42nd annual Design Automation Conference, (690-695)
- Hunt G, Larus J, Tarditi D and Wobber T Broad new OS research Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10, (15-15)
- Chin B, Markstrum S and Millstein T Semantic type qualifiers Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, (85-95)
- Chin B, Markstrum S and Millstein T (2005). Semantic type qualifiers, ACM SIGPLAN Notices, 40:6, (85-95), Online publication date: 12-Jun-2005.
- Gestwicki P and Jayaraman B Methodology and architecture of JIVE Proceedings of the 2005 ACM symposium on Software visualization, (95-104)
- Bouquet F, Dadeau F and Groslambert J Checking JML specifications with b machines Proceedings of the 4th international conference on Formal Specification and Development in Z and B, (434-453)
- Jeffrey A and Rathke J Java JR Proceedings of the 14th European conference on Programming Languages and Systems, (423-438)
- Beloglavec S, Heričko M, Jurič M and Rozman I (2005). Analysis of the limitations of multiple client handling in a Java server environment, ACM SIGPLAN Notices, 40:4, (20-28), Online publication date: 1-Apr-2005.
- Kersten M and Murphy G Mylar Proceedings of the 4th international conference on Aspect-oriented software development, (159-168)
- Garbacki P, Biskupski B and Bal H Transparent fault tolerance for grid applications Proceedings of the 2005 European conference on Advances in Grid Computing, (671-680)
- Jiang S and Xu B (2005). An efficient and reliable object-oriented exception handling mechanism, ACM SIGPLAN Notices, 40:2, (27-32), Online publication date: 1-Feb-2005.
- Tanasescu V and Wojciechowski P Role-Based declarative synchronization for reconfigurable systems Proceedings of the 7th international conference on Practical Aspects of Declarative Languages, (52-66)
- Löwe M, König H and Schulz C Algebraic properties of interfaces Formal Methods in Software and Systems Modeling, (190-203)
- Huisman M and Trentelman K Factorising temporal specifications Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41, (87-96)
- Saraswat V Concurrent constraint-based memory machines Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, (494-508)
- Cabana B, Alagić S and Faulkner J (2004). Parametric polymorphism for Java, ACM SIGPLAN Notices, 39:12, (22-31), Online publication date: 1-Dec-2004.
- Miranda J and Schonberg E (2004). GNAT, ACM SIGAda Ada Letters, XXIV:4, (51-60), Online publication date: 1-Dec-2004.
- Cher C, Hosking A and Vijaykumar T (2004). Software prefetching for mark-sweep garbage collection, ACM SIGOPS Operating Systems Review, 38:5, (199-210), Online publication date: 1-Dec-2004.
- Cher C, Hosking A and Vijaykumar T (2004). Software prefetching for mark-sweep garbage collection, ACM SIGARCH Computer Architecture News, 32:5, (199-210), Online publication date: 1-Dec-2004.
- Forax R, Duris E and Roussel G (2004). A Reflective Implementation of Java Multi-Methods, IEEE Transactions on Software Engineering, 30:12, (1055-1071), Online publication date: 1-Dec-2004.
- Miranda J and Schonberg E GNAT Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies, (51-60)
- Cher C, Hosking A and Vijaykumar T (2004). Software prefetching for mark-sweep garbage collection, ACM SIGPLAN Notices, 39:11, (199-210), Online publication date: 1-Nov-2004.
- Kojouharov C, Solodovnik A and Naumovich G JTutor Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange, (27-31)
- Ren X, Shah F, Tip F, Ryder B and Chesley O Chianti Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (432-448)
- Millstein T Practical predicate dispatch Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (345-364)
- Nystrom N, Chong S and Myers A Scalable extensibility via nested inheritance Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (99-115)
- Birka A and Ernst M A practical type system and language for reference immutability Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (35-49)
- Donovan A, Kiežun A, Tschantz M and Ernst M Converting java programs to use generic libraries Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (15-34)
- von Dincklage D and Diwan A Converting Java classes to use generics Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (1-14)
- Cole L and Borba P Deriving refactorings for aspectJ Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (202-203)
- Stephenson B and Holst W Advancements in multicode optimization Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (186-187)
- Jordan M, Czajkowski G, Kouklinski K and Skinner G Extending a J2EE™ server with dynamic and flexible resource management Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware, (439-458)
- Cher C, Hosking A and Vijaykumar T Software prefetching for mark-sweep garbage collection Proceedings of the 11th international conference on Architectural support for programming languages and operating systems, (199-210)
- Stephenson B and Holst W A quantitative analysis of the performance impact of specialized bytecodes in java Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, (267-281)
- Ren X, Shah F, Tip F, Ryder B and Chesley O (2004). Chianti, ACM SIGPLAN Notices, 39:10, (432-448), Online publication date: 1-Oct-2004.
- Millstein T (2004). Practical predicate dispatch, ACM SIGPLAN Notices, 39:10, (345-364), Online publication date: 1-Oct-2004.
- Nystrom N, Chong S and Myers A (2004). Scalable extensibility via nested inheritance, ACM SIGPLAN Notices, 39:10, (99-115), Online publication date: 1-Oct-2004.
- Birka A and Ernst M (2004). A practical type system and language for reference immutability, ACM SIGPLAN Notices, 39:10, (35-49), Online publication date: 1-Oct-2004.
- Donovan A, Kiežun A, Tschantz M and Ernst M (2004). Converting java programs to use generic libraries, ACM SIGPLAN Notices, 39:10, (15-34), Online publication date: 1-Oct-2004.
- von Dincklage D and Diwan A (2004). Converting Java classes to use generics, ACM SIGPLAN Notices, 39:10, (1-14), Online publication date: 1-Oct-2004.
- Upadhyaya B and Liu Z Formal Support for Development of JavaBeans" Component Systems Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01, (23-28)
- Binder W and Hulaas J Extending standard java runtime systems for resource management Proceedings of the 4th international conference on Software Engineering and Middleware, (154-169)
- Millstein T, Bleckner C and Chambers C (2004). Modular typechecking for hierarchically extensible datatypes and functions, ACM Transactions on Programming Languages and Systems, 26:5, (836-889), Online publication date: 1-Sep-2004.
- Stone C (2004). Extensible objects without labels, ACM Transactions on Programming Languages and Systems, 26:5, (805-835), Online publication date: 1-Sep-2004.
- Binder W and Hulaas J (2004). A Portable CPU-Management Framework for Java, IEEE Internet Computing, 8:5, (74-83), Online publication date: 1-Sep-2004.
- Rountev A, Kagan S and Gibas M Static and dynamic analysis of call chains in java Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (1-11)
- Rountev A, Kagan S and Gibas M (2004). Static and dynamic analysis of call chains in java, ACM SIGSOFT Software Engineering Notes, 29:4, (1-11), Online publication date: 1-Jul-2004.
- Jablonowski J Some remarks on teaching of programming Proceedings of the 5th international conference on Computer systems and technologies, (1-6)
- Zhang L and Krintz C Profile-driven code unloading for resource-constrained JVMs Proceedings of the 3rd international symposium on Principles and practice of programming in Java, (83-90)
- Rountev A, Milanova A and Ryder B (2004). Fragment Class Analysis for Testing of Polymorphism in Java Software, IEEE Transactions on Software Engineering, 30:6, (372-387), Online publication date: 1-Jun-2004.
- Maurer W (2004). Why matrix manipulation should be done in C++, Journal of Computing Sciences in Colleges, 19:4, (115-127), Online publication date: 1-Apr-2004.
- Hirschfeld R and Kawamura K Dynamic Service Adaptation Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7, (290-297)
- Ettinger R and Verbaere M Untangling Proceedings of the 3rd international conference on Aspect-oriented software development, (93-101)
- Cazzola W SmartMethod Proceedings of the 2004 ACM symposium on Applied computing, (1305-1309)
- Lagorio G Another step towards a smart compilation manager for Java Proceedings of the 2004 ACM symposium on Applied computing, (1275-1280)
- Milicia G and Sassone V The inheritance anomaly Proceedings of the 2004 ACM symposium on Applied computing, (1267-1274)
- Bush W, Ng A, Simon D and Mathiske B A mechanism for secure, fine-grained dynamic provisioning of applications on small devices Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, (86-107)
- Potratz E (2003). A practical comparison between Java and Ada in implementing a real-time embedded system, ACM SIGAda Ada Letters, XXIV:1, (71-83), Online publication date: 1-Mar-2004.
- Yu D, Kennedy A and Syme D Formalization of generics for the .NET common language runtime Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (39-51)
- Hnětynka P and Plášil F Distributed versioning model for MOF Proceedings of the winter international synposium on Information and communication technologies, (1-6)
- Yu D, Kennedy A and Syme D (2004). Formalization of generics for the .NET common language runtime, ACM SIGPLAN Notices, 39:1, (39-51), Online publication date: 1-Jan-2004.
- Hwang G, Chang S and Chu H (2004). Technology for Testing Nondeterministic Client/Server Database Applications, IEEE Transactions on Software Engineering, 30:1, (59-77), Online publication date: 1-Jan-2004.
- Potratz E A practical comparison between Java and Ada in implementing a real-time embedded system Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies, (71-83)
- Adve V, Lattner C, Brukman M, Shukla A and Gaeke B LLVA Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture
- Engler D and Ashcraft K (2003). RacerX, ACM SIGOPS Operating Systems Review, 37:5, (237-252), Online publication date: 1-Dec-2003.
- Millstein T, Reay M and Chambers C (2003). Relaxed MultiJava, ACM SIGPLAN Notices, 38:11, (224-240), Online publication date: 26-Nov-2003.
- Tip F, Kiezun A and Bäumer D (2003). Refactoring for generalization using type constraints, ACM SIGPLAN Notices, 38:11, (13-26), Online publication date: 26-Nov-2003.
- Fang W, Wang C and Lau F (2003). On the design of global object space for efficient multi-threading Java computing on clusters, Parallel Computing, 29:11-12, (1563-1587), Online publication date: 1-Nov-2003.
- Millstein T, Reay M and Chambers C Relaxed MultiJava Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, (224-240)
- Tip F, Kiezun A and Bäumer D Refactoring for generalization using type constraints Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, (13-26)
- Engler D and Ashcraft K RacerX Proceedings of the nineteenth ACM symposium on Operating systems principles, (237-252)
- Hau G, Fong A and Lun M Support of Java API for the jHISC system Proceedings of the 1st international symposium on Information and communication technologies, (615-620)
- Hau G, Fong A and Lun M (2003). Support of Java API for the jHISC system, ACM SIGARCH Computer Architecture News, 31:4, (12-17), Online publication date: 1-Sep-2003.
- Zamulin A (2003). Formal Semantics of Java Expressions and Statements, Programming and Computing Software, 29:5, (259-270), Online publication date: 1-Sep-2003.
- Stärk R and Schmid J (2003). Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler, Journal of Automated Reasoning, 30:3-4, (323-361), Online publication date: 5-Aug-2003.
- Costanza P (2003). Dynamically scoped functions as the essence of AOP, ACM SIGPLAN Notices, 38:8, (29-36), Online publication date: 1-Aug-2003.
- Parker D and Cleary D A p2p approach to classloading in java Proceedings of the Second international conference on Agents and Peer-to-Peer Computing, (144-149)
- Dhurjati D, Kowshik S, Adve V and Lattner C (2003). Memory safety without runtime checks or garbage collection, ACM SIGPLAN Notices, 38:7, (69-80), Online publication date: 11-Jul-2003.
- Takeuchi M, Komatsu H and Nakatani T A new speculation technique to optimize floating-point performance while preserving bit-by-bit reproducibility Proceedings of the 17th annual international conference on Supercomputing, (305-315)
- Brosgol B and Wellings A A comparison of the asynchronous transfer of control features in Ada and the real-time specification for Java™ Proceedings of the 8th Ada-Europe international conference on Reliable software technologies, (113-128)
- Dhurjati D, Kowshik S, Adve V and Lattner C Memory safety without runtime checks or garbage collection Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, (69-80)
- Takatsuka M JBeanStudio Proceedings of the 2003 international conference on Computational science: PartIII, (985-994)
- Yee B Monotonicity and Partial Results Protection for Mobile Agents Proceedings of the 23rd International Conference on Distributed Computing Systems
- Lieberherr K, Lorenz D and Wu P A case for statically executable advice Proceedings of the 2nd international conference on Aspect-oriented software development, (40-49)
- Boehm H (2003). Destructors, finalizers, and synchronization, ACM SIGPLAN Notices, 38:1, (262-272), Online publication date: 15-Jan-2003.
- Boehm H Destructors, finalizers, and synchronization Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (262-272)
- Brosgol B, Hassan R and Robbins S (2002). Asynchronous transfer of control in the real-time specification for java™, ACM SIGAda Ada Letters, XXII:4, (95-112), Online publication date: 1-Dec-2002.
- Eden A (2002). A Theory of Object-Oriented Design, Information Systems Frontiers, 4:4, (379-391), Online publication date: 1-Dec-2002.
- Éluard M and Jensen T Secure object flow analysis for java card Proceedings of the 5th conference on Smart Card Research and Advanced Application Conference - Volume 5, (11-11)
- Dmitriev M (2002). Language-specific make technology for the Java programming language, ACM SIGPLAN Notices, 37:11, (373-385), Online publication date: 17-Nov-2002.
- Soares S, Laureano E and Borba P (2002). Implementing distribution and persistence aspects with aspectJ, ACM SIGPLAN Notices, 37:11, (174-190), Online publication date: 17-Nov-2002.
- Dmitriev M Language-specific make technology for the Java programming language Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (373-385)
- Soares S, Laureano E and Borba P Implementing distribution and persistence aspects with aspectJ Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (174-190)
- van Reeuwijk C and Sips H Adding tuples to Java Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (185-191)
- Cierniak M, Lewis B and Stichnoth J Open runtime platform Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (156-164)
- Kowshik S, Dhurjati D and Adve V Ensuring code safety without runtime checks for real-time control systems Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, (288-297)
- Ancona D, Lagorio G and Zucca E True separate compilation of Java classes Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, (189-200)
- Millstein T, Bleckner C and Chambers C Modular typechecking for hierarchically extensible datatypes and functions Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, (110-122)
- Millstein T, Bleckner C and Chambers C (2002). Modular typechecking for hierarchically extensible datatypes and functions, ACM SIGPLAN Notices, 37:9, (110-122), Online publication date: 17-Sep-2002.
- Park J and Park M Using indexed data structures for program specialization Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, (61-69)
- Daynès L and Czajkowski G Lightweight flexible isolation for language-based extensible systems Proceedings of the 28th international conference on Very Large Data Bases, (718-729)
- Chen Y, Fan X, Jiao J and Wang D Smart active object Proceedings of the 2002 international conference on Metainformatics, (90-99)
- Joisha P, Midkiff S, Serrano M and Gupta M (2002). Efficiently Adapting Java Binaries in Limited Memory Contexts, International Journal of Parallel Programming, 30:4, (257-289), Online publication date: 1-Aug-2002.
- Sura Z, Wong C, Fang X, Lee J, Midkiff S and Padua D Automatic implementation of programming language consistency models Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing, (172-187)
- Mikheev V, Lipsky N, Gurchenkov D, Pavlov P, Sukharev V, Markov A, Kuksenko S, Fedoseev S, Leskov D and Yeryomin A Overview of excelsior JET, a high performance alternative to java virtual machines Proceedings of the 3rd international workshop on Software and performance, (104-113)
- Mohnen M An open framework for data-flow analysis in Java Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, (157-161)
- Mohnen M Interfaces with default implementations in Java Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, (35-40)
- Kamiya T SOMA Proceedings of the International Workshop on Principles of Software Evolution, (124-128)
- Thang N and Katayama T Collaboration-based evolvable software implementations Proceedings of the International Workshop on Principles of Software Evolution, (29-33)
- Royer J (2002). An Operational Approach to the Semantics of Classes, Programming and Computing Software, 28:3, (127-147), Online publication date: 1-May-2002.
- Setzer A Java as a functional programming language Proceedings of the 2002 international conference on Types for proofs and programs, (279-298)
- Kurzyniec D and Sunderam V The MICROBE Benchmarking Toolkit for Java Proceedings of the International Conference on Computational Science-Part II, (709-719)
- Brosgol B, Hassan R and Robbins S Asynchronous transfer of control in the real-time specification for java™ Proceedings of the 11th international workshop on Real-time Ada workshop, (95-112)
- Acebal C, Castanedo R and Cueva Lovelle J (2002). Good design principles in a compiler university course, ACM SIGPLAN Notices, 37:4, (62-73), Online publication date: 1-Apr-2002.
- El-Kharashi M, Elguibaly F and Li K (2001). Adapting Tomasulo's algorithm for bytecode folding based Java processors, ACM SIGARCH Computer Architecture News, 29:5, (1-8), Online publication date: 1-Dec-2001.
- Brosgol B and Dobbing B (2001). Real-time convergence of Ada and Java™, ACM SIGAda Ada Letters, XXI:4, (11-26), Online publication date: 1-Dec-2001.
- Hartel P and Moreau L (2001). Formalizing the safety of Java, the Java virtual machine, and Java card, ACM Computing Surveys, 33:4, (517-558), Online publication date: 1-Dec-2001.
- Ardourel G and Huchard M AGATE, Access Graph-Based Tools for Handling Encapsulation Proceedings of the 16th IEEE international conference on Automated software engineering
- Eisenbach S and Sadler C Changing Java Programs Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
- Bangay S Experiences in porting a virtual reality system to Java Proceedings of the 1st international conference on Computer graphics, virtual reality and visualisation, (33-37)
- Eugster P, Guerraoui R and Damm C (2001). On objects and events, ACM SIGPLAN Notices, 36:11, (254-269), Online publication date: 1-Nov-2001.
- McDirmid S, Flatt M and Hsieh W (2001). Jiazzi, ACM SIGPLAN Notices, 36:11, (211-222), Online publication date: 1-Nov-2001.
- Ancona D, Lagorio G and Zucca E (2001). A core calculus for Java exceptions, ACM SIGPLAN Notices, 36:11, (16-30), Online publication date: 1-Nov-2001.
- Zenger M and Odersky M (2001). Extensible algebraic datatypes with defaults, ACM SIGPLAN Notices, 36:10, (241-252), Online publication date: 1-Oct-2001.
- Zenger M and Odersky M Extensible algebraic datatypes with defaults Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, (241-252)
- Eugster P, Guerraoui R and Damm C On objects and events Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (254-269)
- McDirmid S, Flatt M and Hsieh W Jiazzi Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (211-222)
- Ancona D, Lagorio G and Zucca E A core calculus for Java exceptions Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (16-30)
- Brosgol B and Dobbing B Real-time convergence of Ada and Java™ Proceedings of the 2001 annual ACM SIGAda international conference on Ada, (11-26)
- Strohmeier A and Chachkov S (2001). A side-by-side comparison of exception handling in Ada and Java, ACM SIGAda Ada Letters, XXI:3, (41-56), Online publication date: 1-Sep-2001.
- Luchangco V Modeling weakly consistent memories with locks Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures, (332-333)
- Hanson D and Proebsting T Dynamic variables Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, (264-273)
- Joisha P, Midkiff S, Serrano M and Gupta M A framework for efficient reuse of binary code in Java Proceedings of the 15th international conference on Supercomputing, (440-453)
- Bacon D Kava Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, (68-77)
- Samulowitz M, Michahelles F and Linnhoff-Popien C Adaptive interaction for enabling pervasive services Proceedings of the 2nd ACM international workshop on Data engineering for wireless and mobile access, (20-26)
- Hanson D and Proebsting T (2001). Dynamic variables, ACM SIGPLAN Notices, 36:5, (264-273), Online publication date: 1-May-2001.
- Gagnon E and Hendren L SableVM Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1, (3-3)
- Baeten J, van Beek H and Mauw S Specifying internet applications with DiCons Proceedings of the 2001 ACM symposium on Applied computing, (576-584)
- Dutchyn C, Lu P, Szafron D, Bromling S and Holst W Multi-dispatch in the Java virtual machine Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6, (6-6)
- Czajkowski G (2000). Application isolation in the Java Virtual Machine, ACM SIGPLAN Notices, 35:10, (354-366), Online publication date: 1-Oct-2000.
- Clifton C, Leavens G, Chambers C and Millstein T (2000). MultiJava, ACM SIGPLAN Notices, 35:10, (130-145), Online publication date: 1-Oct-2000.
- Czajkowski G Application isolation in the Java Virtual Machine Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (354-366)
- Clifton C, Leavens G, Chambers C and Millstein T MultiJava Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (130-145)
Index Terms
- Java Language Specification, Second Edition: The Java Series