ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
The Java Language Specification, 1st edition
The Java Language Specification, 1st edition
  Purchase this Book  
Purchase a print copy Purchase a print copy

Source
Pages: 864  
Medium: Textbook Paperback
Year of Publication: 1996
ISBN:0201634511
Authors
James Gosling
Bill Joy
Guy L. Steele
Publisher
Addison-Wesley Longman Publishing Co., Inc.  Boston, MA, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 639
Additional Information:

abstract   cited by   collaborative colleagues  

Tools and Actions: Review this Book  

ABSTRACT

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  639
Pramod G. Joisha , Samuel P. Midkiff , Mauricio J. Serrano , Manish Gupta, Efficiently Adapting Java Binaries in Limited Memory Contexts, International Journal of Parallel Programming, v.30 n.4, p.257-289, August 2002
Raimondas Lencevicius , Urs Hölzle , Ambuj K. Singh, Dynamic Query-Based Debugging of Object-Oriented Programs, Automated Software Engineering, v.10 n.1, p.39-74, January 2003
Robert Tolksdorf, A framework for multiple coordination languages, World Wide Web, v.1 n.2, p.101-108, 1998
Motohiro Kawahito , Hideaki Komatsu , Toshio Nakatani, Effective null pointer check elimination utilizing hardware trap, ACM SIGPLAN Notices, v.35 n.11, p.139-149, Nov. 2000
William Pugh, Fixing the Java memory model, Proceedings of the ACM 1999 conference on Java Grande, p.89-98, June 12-14, 1999, San Francisco, California, United States
Ben Liblit , Alexander Aiken, Type systems for distributed data structures, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.199-213, January 19-21, 2000, Boston, MA, USA
Todd B. Knoblock , Jakob Rehof, Type elaboration and subtype completion for Java bytecode, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.228-242, January 19-21, 2000, Boston, MA, USA
A. S. Boujarwah , K. Saleh , J. Al-Dallal, Testing Java programs using dynamic data flow analysis, Proceedings of the 2000 ACM symposium on Applied computing, p.725-727, March 2000, Como, Italy
Michael Hicks , Suresh Jagannathan , Richard Kelsey , Jonathan T. Moore , Cristian Ungureanu, Transparent communication for distributed objects in Java, Proceedings of the ACM 1999 conference on Java Grande, p.160-170, June 12-14, 1999, San Francisco, California, United States
Rajnish Ghughal , Abdel Mokkedem , Ratan Nalumasu , Ganesh Gopalakrishnan, Using “test model-checking” to verify the Runway-PA8000 memory model, Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures, p.231-239, June 28-July 02, 1998, Puerto Vallarta, Mexico
Robert Bruce Findler , Matthew Flatt, Modular object-oriented programming with units and mixins, ACM SIGPLAN Notices, v.34 n.1, p.94-104, Jan. 1999
Shriram Krishnamurthi , Matthias Felleisen, Toward a formal theory of extensible software, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.88-98, Nov. 1998
Yukihiko Sohda , Hidemoto Nakada , Satoshi Matsuoka, Implementation of a portable software DSM in Java, Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, p.163-172, June 2001, Palo Alto, California, United States
Gary T. Leavens , Todd D. Millstein, Multiple dispatch as dispatch on Tuples, ACM SIGPLAN Notices, v.33 n.10, p.374-387, Oct. 1998
Atul Puri , Alexandros Eleftheriadis, MPEG-4: an object-based multimedia coding standard supporting mobile applications, Mobile Networks and Applications, v.3 n.1, p.5-32, June 1998
C. A. R. Hoare, Assertions: A Personal Perspective, IEEE Annals of the History of Computing, v.25 n.2, p.14-25, April 2003
Jens Palsberg, Equality-based flow analysis versus recursive types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.6, p.1251-1264, Nov. 1998
Martin Odersky , Philip Wadler, Pizza into Java: translating theory into practice, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.146-159, January 15-17, 1997, Paris, France
Zhong Shao , Christopher League , Stefan Monnier, Implementing typed intermediate languages, ACM SIGPLAN Notices, v.34 n.1, p.313-323, Jan. 1999
Drew Dean, The security of static typing with dynamic linking, Proceedings of the 4th ACM conference on Computer and communications security, p.18-27, April 01-04, 1997, Zurich, Switzerland
Michael Richmond , James Noble, Reflections on remote reflection, Australian Computer Science Communications, v.23 n.1, p.163-170, January-February 2001
R. Veldema , R. F. H. Hofman , R. A. F. Bhoedjang , H. E. Bal, Runtime optimizations for a Java DSM implementation, Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, p.153-162, June 2001, Palo Alto, California, United States
Zhenyu Qian , Allen Goldberg , Alessandro Coglio, A formal specification of Java class loading, ACM SIGPLAN Notices, v.35 n.10, p.325-336, Oct. 2000
Kazuaki Ishizaki , Motohiro Kawahito , Toshiaki Yasue , Hideaki Komatsu , Toshio Nakatani, A study of devirtualization techniques for a Java Just-In-Time compiler, ACM SIGPLAN Notices, v.35 n.10, p.294-310, Oct. 2000
David F. Bacon , Robert E. Strom , Ashis Tarafdar, Guava: a dialect of Java without data races, ACM SIGPLAN Notices, v.35 n.10, p.382-400, Oct. 2000
Daniel Wu , Divyakant Agrawal , Amr El Abbadi, StratOSphere: mobile processing of distributed objects in Java, Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking, p.121-132, October 25-30, 1998, Dallas, Texas, United States
Peter A. Buhr , Ashif S. Harji , Philipp E. Lim , Jiongxiong Chen, Object-oriented real-time concurrency, ACM SIGPLAN Notices, v.35 n.10, p.29-46, Oct. 2000
Neal Glew, An efficient class and object encoding, ACM SIGPLAN Notices, v.35 n.10, p.311-324, Oct. 2000
Trent Jaeger , Atul Prakash , Jochen Liedtke , Nayeem Islam, Flexible control of downloaded executable content, ACM Transactions on Information and System Security (TISSEC), v.2 n.2, p.177-228, May 1999
Nael B. Abu-Ghazaleh , Dhananjay S. Phatak, Verification caching: towards efficient and secure mobile code execution environments, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
Scott Draves, Implementing bit-addressing with specialization, ACM SIGPLAN Notices, v.32 n.8, p.239-250, Aug. 1997
Timothy J. Sliski , Matthew P. Billmers , Lori A. Clarke , Leon J. Osterweil, An architecture for flexible, evolvable process-driven user-guidance environments, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
Philip W. L. Fong , Robert D. Cameron, Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.4, p.379-409, Oct. 2000
Jean-Henry Morin , Dimitri Konstantas, HyperNews: a MEDIA application for the commercialization of an electronic newspaper, Proceedings of the 1998 ACM symposium on Applied Computing, p.696-705, February 27-March 01, 1998, Atlanta, Georgia, United States
Sergey Butkevich , Marco Renedo , Gerald Baumgartner , Michal Young, Compiler and tool support for debugging object protocols, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.50-59, Nov. 2000
Atanas Rountev , Ana Milanova , Barbara G. Ryder, Points-to analysis for Java using annotated constraints, ACM SIGPLAN Notices, v.36 n.11, p.43-55, 11/01/2001
Jeremy Manson , William Pugh, Core semantics of multithreaded Java, Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, p.29-38, June 2001, Palo Alto, California, United States
Robert Bruce Findler , Mario Latendresse , Matthias Felleisen, Behavioral contracts and behavioral subtyping, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
Ayal Zaks , Vitaly Feldman , Nava Aizikowitz, Sealed calls in Java packages, ACM SIGPLAN Notices, v.35 n.10, p.83-92, Oct. 2000
Jeff Bogda , Urs Hölzle, Removing unnecessary synchronization in Java, ACM SIGPLAN Notices, v.34 n.10, p.35-46, Oct. 1999
Pramod G. Joisha , Samuel P. Midkiff , Mauricio J. Serrano , Manish Gupta, A framework for efficient reuse of binary code in Java, Proceedings of the 15th international conference on Supercomputing, p.440-453, June 2001, Sorrento, Italy
Matthew Arnold , Stephen Fink , David Grove , Michael Hind , Peter F. Sweeney, Adaptive optimization in the Jalapeño JVM, ACM SIGPLAN Notices, v.35 n.10, p.47-65, Oct. 2000
Dan S. Wallach , Andrew W. Appel , Edward W. Felten, SAFKASI: a security mechanism for language-based systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.4, p.341-378, Oct. 2000
Jan Vitek , Boris Bokowski, Confined types, ACM SIGPLAN Notices, v.34 n.10, p.82-96, Oct. 1999
James Shin Young , Josh MacDonald , Michael Shilman , Abdallah Tabbara , Paul Hilfinger , A. Richard Newton, Design and specification of embedded systems in Java using successive, formal refinement, Proceedings of the 35th annual conference on Design automation, p.70-75, June 15-19, 1998, San Francisco, California, United States
Philip A. Wilsey, Web-based analysis and distributed IP, Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future, p.1445-1453, December 05-08, 1999, Phoenix, Arizona, United States
Dominic Duggan, Modular type-based reverse engineering of parameterized types in Java code, ACM SIGPLAN Notices, v.34 n.10, p.97-113, Oct. 1999
Seungll Lee , Byung-Sun Yang , Suhyun Kim , Seongbae Park , Soo-Mook Moon , Kemal Ebcioğlu , Erik Altman, Efficient Java exception handling in just-in-time compilation, Proceedings of the ACM 2000 conference on Java Grande, p.1-8, June 03-04, 2000, San Francisco, California, United States
Dan Bonachea, Bulk file I/O extensions to Java, Proceedings of the ACM 2000 conference on Java Grande, p.16-25, June 03-04, 2000, San Francisco, California, United States
Doug Lea, A Java fork/join framework, Proceedings of the ACM 2000 conference on Java Grande, p.36-43, June 03-04, 2000, San Francisco, California, United States
Mark Evered , Gisela Menger, Using and teaching information hiding in single-semester software engineering projects, Proceedings of the Australasian conference on Computing education, p.103-108, December 2000, Melbourne, Australia
Ali-Reza Adl-Tabatabai , Michał Cierniak , Guei-Yuan Lueh , Vishesh M. Parikh , James M. Stichnoth, Fast, effective code generation in a just-in-time Java compiler, ACM SIGPLAN Notices, v.33 n.5, p.280-290, May 1998
Sara Porat , Bilha Mendelson , Irina Shapira, Sharpening global static analysis to cope with Java, Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research, p.19, November 30-December 03, 1998, Toronto, Ontario, Canada
Dan S. Wallach , Dirk Balfanz , Drew Dean , Edward W. Felten, Extensible security architectures for Java, ACM SIGOPS Operating Systems Review, v.31 n.5, p.116-128, Dec. 1997
Martin C. Carlisle , Patrick Maes, RAPID: a free, portable GUI design tool, ACM SIGAda Ada Letters, v.XVIII n.6, p.158-164, Nov./Dec. 1998
M. Mrva , K. Buchenrieder , R. Kress, A scalable architecture for multi-threaded JAVA applications, Proceedings of the conference on Design, automation and test in Europe, p.868-874, February 23-26, 1998, Le Palais des Congrés de Paris, France
Martin P. Robillard , Gail C. Murphy, Designing robust Java programs with exceptions, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.2-10, Nov. 2000
R. Veldema , R. F. H. Hofman , R. A. F. Bhoedjang , C. J. H. Jacobs , H. E. Bal, Source-level global optimizations for fine-grain distributed shared memory systems, ACM SIGPLAN Notices, v.36 n.7, p.83-92, July 2001
Gerald Baumgartner , Vincent F. Russo, Implementing signatures for C++, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.1, p.153-187, Jan. 1997
Robert Grimm , Brian N. Bershad, Separating access control policy, enforcement, and functionality in extensible systems, ACM Transactions on Computer Systems (TOCS), v.19 n.1, p.36-70, Feb. 2001
Philip Wadler, The marriage of effects and monads, ACM SIGPLAN Notices, v.34 n.1, p.63-74, Jan. 1999
Ralf Kramer, Databases on the Web: technologies for federation architectures and case studies, ACM SIGMOD Record, v.26 n.2, p.503-506, June 1997
Suad Alagíc, Type-checking OQL queries in the ODMG type systems, ACM Transactions on Database Systems (TODS), v.24 n.3, p.319-360, Sept. 1999
Mauricio Serrano , Rajesh Bordawekar , Sam Midkiff , Manish Gupta, Quicksilver: a quasi-static compiler for Java, ACM SIGPLAN Notices, v.35 n.10, p.66-82, Oct. 2000
Andrew C. Myers , Barbara Liskov, Protecting privacy using the decentralized label model, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.4, p.410-442, Oct. 2000
Kazuaki Ishizaki , Motohiro Kawahito , Toshiaki Yasue , Mikio Takeuchi , Takeshi Ogasawara , Toshio Suganuma , Tamiya Onodera , Hideaki Komatsu , Toshio Nakatani, Design, implementation, and evaluation of optimizations in a just-in-time compiler, Proceedings of the ACM 1999 conference on Java Grande, p.119-128, June 12-14, 1999, San Francisco, California, United States
Craig Partridge , Alex C. Snoeren , W. Timothy Strayer , Beverly Schwartz , Matthew Condell , Isidro Castiñeyra, FIRE: flexible Intra-AS routing environment, ACM SIGCOMM Computer Communication Review, v.30 n.4, p.191-203, October 2000
Katsuhisa Maruyama , Ken-ichi Shima, Automatic method refactoring using weighted dependence graphs, Proceedings of the 21st international conference on Software engineering, p.236-245, May 16-22, 1999, Los Angeles, California, United States
Tobias Nipkow , David von Oheimb, Javalight is type-safe—definitely, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.161-170, January 19-21, 1998, San Diego, California, United States
Sophia Drossopoulou , David Wragg , Susan Eisenbach, What is Java binary compatibility?, ACM SIGPLAN Notices, v.33 n.10, p.341-361, Oct. 1998
Ana Milanova , Atanas Rountev , Barbara G. Ryder, Parameterized object sensitivity for points-to and side-effect analyses for Java, ACM SIGSOFT Software Engineering Notes, v.27 n.4, July 2002
Paul T. Graunke , Shriram Krishnamurthi, Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
Ole Agesen , David Detlefs , J. Eliot Moss, Garbage collection and local variable type-precision and liveness in Java virtual machines, ACM SIGPLAN Notices, v.33 n.5, p.269-279, May 1998
Rachid Helaihel , Kunle Olukotun, JMTP: an architecture for exploiting concurrency in embedded Java applications with real-time considerations, Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design, p.551-557, November 07-11, 1999, San Jose, California, United States
Josef Fleischmann , Klaus Buchenrieder , Rainer Kress, A hardware/software prototyping environment for dynamically reconfigurable embedded systems, Proceedings of the 6th international workshop on Hardware/software codesign, p.105-109, March 15-18, 1998, Seattle, Washington, United States
Jeong-Si Kim , Yong-Kee Jun, Scalable on-the-fly detection of the first races in parallel programs, Proceedings of the 12th international conference on Supercomputing, p.345-352, July 1998, Melbourne, Australia
Walter Binder , Jane G. Hulaas , Alex Villazón, Portable resource control in Java, ACM SIGPLAN Notices, v.36 n.11, p.139-155, 11/01/2001
J. A. Mathew , P. D. Coddington , K. A. Hawick, Analysis and development of Java Grande benchmarks, Proceedings of the ACM 1999 conference on Java Grande, p.72-80, June 12-14, 1999, San Francisco, California, United States
Sandeep Singhal , Binh Nguyen, The Java factor, Communications of the ACM, v.41 n.6, p.34-37, June 1998
Daniel Wu , Divyakant Agrawal , Amr El Abbadi, Mobility and Extensibility in the StratOSphere Framework, Distributed and Parallel Databases, v.7 n.3, p.289-317, July 1999
Peter A. Buhr , W. Y. Russell Mok, Advanced Exception Handling Mechanisms, IEEE Transactions on Software Engineering, v.26 n.9, p.820-836, September 2000
Ana Azevedo , Alex Nicolau , Joe Hummel, Java annotation-aware just-in-time (AJIT) complilation system, Proceedings of the ACM 1999 conference on Java Grande, p.142-151, June 12-14, 1999, San Francisco, California, United States
Rachid Helaihel , Kunle Olukotun, Java as a specification language for hardware-software systems, Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design, p.690-697, November 09-13, 1997, San Jose, California, United States
Jacob Harris , Vivek Sarkar, Lightweight object-oriented shared variables for distributed applications on the Internet, ACM SIGPLAN Notices, v.33 n.10, p.296-309, Oct. 1998
Neal Glew, Type dispatch for named hierarchical types, ACM SIGPLAN Notices, v.34 n.9, p.172-182, Sept. 1999
Huw Evans , Peter Dickman, Zones, contracts and absorbing changes: an approach to software evolution, ACM SIGPLAN Notices, v.34 n.10, p.415-434, Oct. 1999
Grzegorz Czajkowski , Thorsten von Eicken, JRes: a resource accounting interface for Java, ACM SIGPLAN Notices, v.33 n.10, p.21-35, Oct. 1998
Mark Shields , Erik Meijer, Type-indexed rows, ACM SIGPLAN Notices, v.36 n.3, p.261-275, March 2001
Shelly Farnham , Harry R. Chesley , Debbie E. McGhee , Reena Kawal , Jennifer Landau, Structured online interactions: improving the decision-making of small discussion groups, Proceedings of the 2000 ACM conference on Computer supported cooperative work, p.299-308, December 2000, Philadelphia, Pennsylvania, United States
Krzysztof R. Apt , Jacob Brunekreef , Vincent Partington , Andrea Schaerf, Alma-O: an imperative language that supports declarative programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.5, p.1014-1066, Sept. 1998
Wolfgang Schreiner, A java toolkit for teaching distributed algorithms, ACM SIGCSE Bulletin, v.34 n.3, September 2002
Jens Palsberg, Type-based analysis and applications, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.20-27, June 2001, Snowbird, Utah, United States
Thomas Kistler , Michael Franz, Automated data-member layout of heap objects to improve memory-hierarchy performance, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.3, p.490-505, May 2000
Kazuaki Ishizaki , Mikio Takeuchi , Kiyokuni Kawachiya , Toshio Suganuma , Osamu Gohda , Tatsushi Inagaki , Akira Koseki , Kazunori Ogata , Motohiro Kawahito , Toshiaki Yasue , Takeshi Ogasawara , Tamiya Onodera , Hideaki Komatsu , Toshio Nakatani, Effectiveness of cross-platform optimizations for a java just-in-time compiler, ACM SIGPLAN Notices, v.38 n.11, November 2003
Ken Arnold, The Jini architecture: dynamic services in a flexible network, Proceedings of the 36th ACM/IEEE conference on Design automation, p.157-162, June 21-25, 1999, New Orleans, Louisiana, United States
K John Gough, Stacking them up: a comparison of virtual machines, Australian Computer Science Communications, v.23 n.4, p.55-61, January 2001
Patrick Finnigan , Richard C. Holt , Ivan Kallas , Scott Kerr , Kostas Kontogiannis , Hausi A. Müller , John Mylopoulos , Stephen G. Perelgut , Martin Stanley , Kerny Wong, The software bookshelf, Advances in software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
Seif Haridi , Peter Van Roy , Per Brand , Michael Mehl , Ralf Scheidhauer , Gert Smolka, Efficient logic variables for distributed computing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.3, p.569-626, May 1999
Martin Büchi , Wolfgang Weck, Compound types for Java, ACM SIGPLAN Notices, v.33 n.10, p.362-373, Oct. 1998
Chandra Krintz , Rich Wolski, JavaNws: the network weather service for the desktop, Proceedings of the ACM 2000 conference on Java Grande, p.116-125, June 03-04, 2000, San Francisco, California, United States
Stephanie Weirich, Type-safe cast: (functional pearl), ACM SIGPLAN Notices, v.35 n.9, p.58-67, Sept. 2000
Marcello Dalpasso , Alessandro Bogliolo , Luca Benini, Virtual simulation of distributed IP-based designs, Proceedings of the 36th ACM/IEEE conference on Design automation, p.50-55, June 21-25, 1999, New Orleans, Louisiana, United States
Benjamin M. Brosgol, A comparison of the object-oriented features of Ada 95 and Java, Proceedings of the conference on TRI-Ada '97, p.213-229, November 09-13, 1997, St. Louis, Missouri, United States
Jørgen Lindskov Knudsen, Fault tolerance and exception handling in BETA, Advances in exception handling techniques, Springer-Verlag New York, Inc., New York, NY, 2001
Hoda Fahmy , Ric Holt , Spiros Mancoridis, Repairing software style using graph grammars, Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research, p.6, November 10-13, 1997, Toronto, Ontario, Canada
F. Tip , T. B. Dinesh, A slicing-based approach for locating type errors, ACM Transactions on Software Engineering and Methodology (TOSEM), v.10 n.1, p.5-55, Jan. 2001
Matthew L. Seidl , Benjamin G. Zorn, Segregating heap objects by reference behavior and lifetime, ACM SIGPLAN Notices, v.33 n.11, p.12-23, Nov. 1998
Bart Jacobs , Joachim van den Berg , Marieke Huisman , Martijn van Berkum , U. Hensel , H. Tews, Reasoning about Java classes: preliminary report, ACM SIGPLAN Notices, v.33 n.10, p.329-340, Oct. 1998
James M. Stichnoth , Guei-Yuan Lueh , Michał Cierniak, Support for garbage collection at every instruction in a Java compiler, ACM SIGPLAN Notices, v.34 n.5, p.118-127, May 1999
John Boyland , Giuseppe Castagna, Parasitic methods: an implementation of multi-methods for Java, ACM SIGPLAN Notices, v.32 n.10, p.66-76, Oct. 1997
Noritaka Osawa , Hisaya Morita , Toshitsugu Yuba, Animation for performance debugging of parallel computing systems, Proceedings of the second symposium on Virtual reality modeling language, p.101-ff., February 24-26, 1997, Monterey, California, United States
Katsuhisa Maruyama, Automated method-extraction refactoring by using block-based slicing, ACM SIGSOFT Software Engineering Notes, v.26 n.3, p.31-40, May 2001
David G. Clarke , John M. Potter , James Noble, Ownership types for flexible alias protection, ACM SIGPLAN Notices, v.33 n.10, p.48-64, Oct. 1998
Ran Shaham , Elliot K. Kolodner , Mooly Sagiv, Heap profiling for space-efficient Java, ACM SIGPLAN Notices, v.36 n.5, p.104-113, May 2001
Vassily Litvinov, Contraint-based polymorphism in Cecil: towards a practical and static type system, ACM SIGPLAN Notices, v.33 n.10, p.388-411, Oct. 1998
Robert Bruce Findler , Matthias Felleisen, Contract Soundness for object-oriented languages, ACM SIGPLAN Notices, v.36 n.11, p.1-15, 11/01/2001
Frank Tip , Chris Laffra , Peter F. Sweeney , David Streeter, Practical experience with an application extractor for Java, ACM SIGPLAN Notices, v.34 n.10, p.292-305, Oct. 1999
Jan-Willem Maessen , Xiaowei Shen, Improving the Java memory model using CRF, ACM SIGPLAN Notices, v.35 n.10, p.1-12, Oct. 2000
Tommy Thorn, Programming languages for mobile code, ACM Computing Surveys (CSUR), v.29 n.3, p.213-239, Sept. 1997
Anthony Gargaro, Ada-Java communication in ADEPT, Proceedings of the conference on TRI-Ada '97, p.231-245, November 09-13, 1997, St. Louis, Missouri, United States
Cyrille Comar , Gary Dismukes , Franco Gasperoni, Targeting GNAT to the Java virtual machine, Proceedings of the conference on TRI-Ada '97, p.149-161, November 09-13, 1997, St. Louis, Missouri, United States
Sheng Liang , Gilad Bracha, Dynamic class loading in the Java virtual machine, ACM SIGPLAN Notices, v.33 n.10, p.36-44, Oct. 1998
Jose H. Solorzano , Suad Alagić, Parametric polymorphism for Java: a reflective solution, ACM SIGPLAN Notices, v.33 n.10, p.216-225, Oct. 1998
Olivier Zendra , Dominique Colnet , Suzanne Collin, Efficient dynamic dispatch without virtual function tables: the SmallEiffel compiler, ACM SIGPLAN Notices, v.32 n.10, p.125-141, Oct. 1997
Manuel Fähndrich , Jeffrey S. Foster , Zhendong Su , Alexander Aiken, Partial online cycle elimination in inclusion constraint graphs, ACM SIGPLAN Notices, v.33 n.5, p.85-96, May 1998
Premkumar T. Devanbu , Philip W-L Fong , Stuart G. Stubblebine, Techniques for trusted software engineering, Proceedings of the 20th international conference on Software engineering, p.126-135, April 19-25, 1998, Kyoto, Japan
Luca Cardelli , Andrew D. Gordon, Mobile ambients, Formal methods for distributed processing: a survey of object-oriented approaches, Cambridge University Press, New York, NY, 2001
Dylan McNamee , Jonathan Walpole , Calton Pu , Crispin Cowan , Charles Krasic , Ashvin Goel , Perry Wagle , Charles Consel , Gilles Muller , Renauld Marlet, Specialization tools and techniques for systematic optimization of system software, ACM Transactions on Computer Systems (TOCS), v.19 n.2, p.217-251, May 2001
Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, Classes and mixins, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.171-183, January 19-21, 1998, San Diego, California, United States
Fabian Breg , Constantine D. Polychronopoulos, Java virtual machine support for object serialization, Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, p.173-180, June 2001, Palo Alto, California, United States
Hideki Tsuiki, A domain-theoretic semantics of lax generic functions, Theoretical Computer Science, v.294 n.1-2, p.307-331, 15 February 2003
Jagun Kwon , Andy Wellings , Steve King, Assessment of the Java programming language for use in high integrity systems, ACM SIGPLAN Notices, v.38 n.4, April 2003
Jong-Deok Choi , Manish Gupta , Mauricio Serrano , Vugranam C. Sreedhar , Sam Midkiff, Escape analysis for Java, ACM SIGPLAN Notices, v.34 n.10, p.1-19, Oct. 1999
Noritaka Osawa , Kikuo Asai , Fumihiko Saito, An interactive toolkit library for 3D applications: it3d, Proceedings of the workshop on Virtual environments 2002, May 30-31, 2002, Barcelona, Spain
Erik Ruf, Effective synchronization removal for Java, ACM SIGPLAN Notices, v.35 n.5, p.208-218, May 2000
Jaejin Lee , David A. Padua, Hiding Relaxed Memory Consistency with a Compiler, IEEE Transactions on Computers, v.50 n.8, p.824-833, August 2001
David Gay , Alex Aiken, Memory management with explicit regions, ACM SIGPLAN Notices, v.33 n.5, p.313-323, May 1998
Bowen Alpern , C. R. Attanasio , Anthony Cocchi , Derek Lieber , Stephen Smith , Ton Ngo , John J. Barton , Susan Flynn Hummel , Janice C. Sheperd , Mark Mergen, Implementing jalapeño in Java, ACM SIGPLAN Notices, v.34 n.10, p.314-324, Oct. 1999
Jim Waldo, The Jini architecture for network-centric computing, Communications of the ACM, v.42 n.7, p.76-82, July 1999
James Noble , David Holmes , John Potter, Exclusion for composite objects, ACM SIGPLAN Notices, v.35 n.10, p.13-28, Oct. 2000
C. E. Hrischuk , C. M. Woodside, Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System, IEEE Transactions on Software Engineering, v.28 n.4, p.321-339, April 2002
Cosimo Laneve, Inheritance in concurrent objects, Formal methods for distributed processing: a survey of object-oriented approaches, Cambridge University Press, New York, NY, 2001
L. Cardelli, Bad engineering properties of object-orient languages, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
Michał Cierniak , Guei-Yuan Lueh , James M. Stichnoth, Practicing JUDO: Java under dynamic optimizations, ACM SIGPLAN Notices, v.35 n.5, p.13-26, May 2000
Craig Chambers, Staged compilation, ACM SIGPLAN Notices, v.37 n.3, March 2002
Yefim Shuf , Manish Gupta , Rajesh Bordawekar , Jaswinder Pal Singh, Exploiting prolific types for memory management and optimizations, ACM SIGPLAN Notices, v.37 n.1, p.295-306, Jan. 2002
James C. Corbett, Using shape analysis to reduce finite-state models of concurrent Java programs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.1, p.51-93, Jan. 2000
Noritaka Osawa , Kikuo Asai , Yuji Y. Sugimoto, Immersive graph navigation using direct manipulation and gestures, Proceedings of the ACM symposium on Virtual reality software and technology, October 22-25, 2000, Seoul, Korea
Michel Dagenais , Jean-Françous F. Patenaude , Ettore Merlo , Bruno Laguë, Clones occurrence in Java and Modula-3 software systems, Advances in software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
Constantinos A. Constantinides , Atef Bader , Tzilla H. Elrad , P. Netinant , Mohamed E. Fayad, Designing an aspect-oriented framework in an object-oriented environment, ACM Computing Surveys (CSUR), v.32 n.1es, March 2000
Stéphane Doyon , Mourad Debbabi, Verifying object initialization in the Java bytecode language, Proceedings of the 2000 ACM symposium on Applied computing, p.821-830, March 2000, Como, Italy
Jürgen F. H. Winkler, A safe variant of the unsafe integer arithmetic of JavaTM, Software—Practice & Experience, v.32 n.7, p.669-701, June 2002
K. Rustan M. Leino , Greg Nelson, Data abstraction and information hiding, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.5, p.491-553, September 2002
Igor Pechtchanski , Vivek Sarkar, Dynamic optimistic interprocedural analysis: a framework and an application, ACM SIGPLAN Notices, v.36 n.11, p.195-210, 11/01/2001
Chandra Krintz , Brad Calder, Using annotations to reduce dynamic optimization time, ACM SIGPLAN Notices, v.36 n.5, p.156-167, May 2001
Alexandre Lenart , Christopher Sadler , Sandeep K. S. Gupta, SSA-based flow-sensitive type analysis: combining constant and type propagation, Proceedings of the 2000 ACM symposium on Applied computing, p.813-817, March 2000, Como, Italy
Vugranam C. Sreedhar , Michael Burke , Jong-Deok Choi, A framework for interprocedural optimization in the presence of dynamic class loading, ACM SIGPLAN Notices, v.35 n.5, p.196-207, May 2000
Robert Grimm , Tom Anderson , Brian Bershad , David Wetherall, A system architecture for pervasive computing, Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system, September 17-20, 2000, Kolding, Denmark
Matthew Flatt , Matthias Felleisen, Units: cool modules for HOT languages, ACM SIGPLAN Notices, v.33 n.5, p.236-248, May 1998
Keith I. Farkas , Jason Flinn , Godmar Back , Dirk Grunwald , Jennifer M. Anderson, Quantifying the energy consumption of a pocket computer and a Java virtual machine, ACM SIGMETRICS Performance Evaluation Review, v.28 n.1, p.252-263, June 2000
Marcello Dalpasso , Alessandro Bogliolo , Luca Benini, Hardware/software IP protection, Proceedings of the 37th conference on Design automation, p.593-596, June 05-09, 2000, Los Angeles, California, United States
Gang Chen, Full integration of subtyping and if-expression, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.181-188, October 06-08, 2002, Pittsburgh, PA, USA
Tomoyuki Higuchi , Atsushi Ohori, Java bytecode as a typed term calculus, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.201-211, October 06-08, 2002, Pittsburgh, PA, USA
Horst Silberhorn, TabulaMagica: an integrated approach to manage complex tables, Proceedings of the 2001 ACM Symposium on Document engineering, November 09-10, 2001, Atlanta, Georgia, USA
Nick Benton , Andrew Kennedy, Interlanguage working without tears: blending SML with Java, ACM SIGPLAN Notices, v.34 n.9, p.126-137, Sept. 1999
Andrew C. Myers , Barbara Liskov, A decentralized model for information flow control, ACM SIGOPS Operating Systems Review, v.31 n.5, p.129-142, Dec. 1997
Bowen Alpern , Anthony Cocchi , Stephen Fink , David Grove, Efficient implementation of Java interfaces: Invokeinterface considered harmless, ACM SIGPLAN Notices, v.36 n.11, p.108-124, 11/01/2001
Cormac Flanagan , Stephen N. Freund, Type-based race detection for Java, ACM SIGPLAN Notices, v.35 n.5, p.219-232, May 2000
José E. Moreira , Samuel P. Midkiff , Manish Gupta , Pedro V. Artigas , Peng Wu , George Almasi, The NINJA project, Communications of the ACM, v.44 n.10, p.102-109, Oct. 2001
Jonathan Aldrich , Emin Gün Sirer , Craig Chambers , Susan J. Eggers, Comprehensive synchronization elimination for Java, Science of Computer Programming, v.47 n.2-3, p.91-120, May 2003
Stephen J. Hartley, “Alfonse, wait here for my signal!”, ACM SIGCSE Bulletin, v.31 n.1, p.58-62, March 1999
David Grove , Greg DeFouw , Jeffrey Dean , Craig Chambers, Call graph construction in object-oriented languages, ACM SIGPLAN Notices, v.32 n.10, p.108-124, Oct. 1997
A. J. Kfoury , J. B. Wells, Principality and decidable type inference for finite-rank intersection types, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.161-174, January 20-22, 1999, San Antonio, Texas, United States
Robert O'Callahan , Jong-Deok Choi, Hybrid dynamic data race detection, ACM SIGPLAN Notices, v.38 n.10, October 2003
Jeff Raab , Richard Rasala , Viera K. Proulx, Pedagogical power tools for teaching Java, ACM SIGCSE Bulletin, v.32 n.3, p.156-159, Sept. 2000
Luiz De Rose , David Padua, Techniques for the translation of MATLAB programs into Fortran 90, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.2, p.286-323, March 1999
Martin P. Robillard , Gail C. Murphy, Analyzing exception flow in Java programs, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.322-337, Nov. 1999
Claus Hofmann, A multi-tier framework for accessing distributed, heterogeneous spatial data in a federation based EIS, Proceedings of the 7th ACM international symposium on Advances in geographic information systems, p.140-145, November 02-06, 1999, Kansas City, Missouri, United States
Glen Wallace , Robert Biddle , Ewan Tempero, Smarter cut-and-paste for programming text editors, Australian Computer Science Communications, v.23 n.5, p.56-63, January-February 2001
Gerald Brose, Manageable access control for CORBA, Journal of Computer Security, v.10 n.4, p.301-337, December 2002
Dominic Duggan, Dynamic typing for distributed programming in polymorphic languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.1, p.11-45, Jan. 1999
Tim Brecht , Harjinder Sandhu , Meijuan Shan , Jimmy Talbot, ParaWeb: towards world-wide supercomputing, Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications, September 09-11, 1996, Connemara, Ireland
Y. Aridor , M. Factor , A. Teperman , T. Eilam , A. Schuster, A high performance cluster JVM presenting a pure single system image, Proceedings of the ACM 2000 conference on Java Grande, p.168-177, June 03-04, 2000, San Francisco, California, United States
Jeffrey K. Hollingsworth , Ethan L. Miller, Using content-derived names for configuration management, ACM SIGSOFT Software Engineering Notes, v.22 n.3, p.104-109, May 1997
Suad Alagic, The ODMG object model: does it make sense?, ACM SIGPLAN Notices, v.32 n.10, p.253-270, Oct. 1997
Patrick Th. Eugster , Rachid Guerraoui , Christian Heide Damm, On objects and events, ACM SIGPLAN Notices, v.36 n.11, p.254-269, 11/01/2001
Toshio Suganuma , Toshiaki Yasue , Motohiro Kawahito , Hideaki Komatsu , Toshio Nakatani, A dynamic optimization framework for a Java just-in-time compiler, ACM SIGPLAN Notices, v.36 n.11, p.180-195, 11/01/2001
Philip W. L. Fong , Robert D. Cameron, Proof linking: an architecture for modular verification of dynamically-linked mobile code, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.222-230, Nov. 1998
José E. Moreira , Samuel P. Midkiff , Manish Gupta, From flop to megaflops: Java for technical computing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.2, p.265-295, March 2000
Mark Evered, Bracket capabilities for distributed systems security, Australian Computer Science Communications, v.24 n.1, p.51-58, January-February 2002
Jürgen F. H. Winkler, A safe variant of the unsafe integer arithmetic of JavaTM, Software—Practice & Experience, v.32 n.7, p.669-701, June 2002
Iffat H. Kazi , Howard H. Chen , Berdenia Stanley , David J. Lilja, Techniques for obtaining high performance in Java programs, ACM Computing Surveys (CSUR), v.32 n.3, p.213-240, Sept. 2000
Derek Rayside , Kostas Kontogiannis, On the syllogistic structure of object-oriented programming, Proceedings of the 23rd International Conference on Software Engineering, p.113-122, May 12-19, 2001, Toronto, Ontario, Canada
Lars Ræder Clausen , Ulrik Pagh Schultz , Charles Consel , Gilles Muller, Java bytecode compression for low-end embedded systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.3, p.471-489, May 2000
Walter Binder , Volker Roth, Secure mobile agent systems using Java: where are we heading?, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
Tamiya Onodera , Kiyokuni Kawachiya, A study of locking objects with bimodal fields, ACM SIGPLAN Notices, v.34 n.10, p.223-237, Oct. 1999
Martin C. Carlisle, A truly implementation independent GUI development tool, ACM SIGAda Ada Letters, v.XIX n.3, p.47-52, Sept. 1999
Igor Pechtchanski , Vivek Sarkar, Immutability specification and its applications, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.202-211, November 03-05, 2002, Seattle, Washington, USA
Kiyokuni Kawachiya , Akira Koseki , Tamiya Onodera, Lock reservation: Java locks can mostly do without atomic operations, ACM SIGPLAN Notices, v.37 n.11, November 2002
Yefim Shuf , Manish Gupta , Hubertus Franke , Andrew Appel , Jaswinder Pal Singh, Creating and preserving locality of java applications at allocation and garbage collection times, ACM SIGPLAN Notices, v.37 n.11, November 2002
Martin Hirzel , Amer Diwan , Johannes Henkel, On the usefulness of type and liveness accuracy for garbage collection and leak detection, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.6, p.593-624, November 2002
Dominic Duggan, Type-Safe linking with recursive DLLs and shared libraries, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.6, p.711-804, November 2002
Minyoung Sung , Soyoung Kim , Sangsoo Park , Naehyuck Chang , Heonshik Shin, Comparative performance evaluation of Java threads for embedded applications: Linux thread vs. Green thread, Information Processing Letters, v.84 n.4, p.221-225, 30 November 2002
Anand Tripathi , Robert Miller, Exception handling in agent-oriented systems, Advances in exception handling techniques, Springer-Verlag New York, Inc., New York, NY, 2001
Alex Gontmakher , Assaf Schuster, Java consistency: nonoperational characterizations for Java memory behavior, ACM Transactions on Computer Systems (TOCS), v.18 n.4, p.333-386, Nov. 2000
Christian Collberg , Clark Thomborson , Douglas Low, Manufacturing cheap, resilient, and stealthy opaque constructs, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.184-196, January 19-21, 1998, San Diego, California, United States
David F. Bacon , Ravi Konuru , Chet Murthy , Mauricio Serrano, Thin locks: featherweight synchronization for Java, ACM SIGPLAN Notices, v.33 n.5, p.258-268, May 1998
José Oliver , Eduard Ayguadé , Nacho Navarro, Towards an efficient exploitation of loop-level parallelism in Java, Proceedings of the ACM 2000 conference on Java Grande, p.9-15, June 03-04, 2000, San Francisco, California, United States
Tyng-Ruey Chuang , Y. S. Kuo , Chien-Min Wang, Non-intrusive object introspection in C++: architecture and application, Proceedings of the 20th international conference on Software engineering, p.312-321, April 19-25, 1998, Kyoto, Japan
Kathleen Fisher , John Reppy, The design of a class mechanism for Moby, ACM SIGPLAN Notices, v.34 n.5, p.37-49, May 1999
Radu Iosif, Formal verification applied to Java concurrent software, Proceedings of the 22nd international conference on Software engineering, p.707-709, June 04-11, 2000, Limerick, Ireland
Jong-Deok Choi , David Grove , Michael Hind , Vivek Sarkar, Efficient and precise modeling of exceptions for the analysis of Java programs, ACM SIGSOFT Software Engineering Notes, v.24 n.5, p.21-31, Sept. 1999
Robert J. Walker , Elisa L. A. Baniassad , Gail C. Murphy, An initial assessment of aspect-oriented programming, Proceedings of the 21st international conference on Software engineering, p.120-130, May 16-22, 1999, Los Angeles, California, United States
Grzegorz Czajkowski , Laurent Daynés, Multitasking without comprimise: a virtual machine evolution, ACM SIGPLAN Notices, v.36 n.11, p.125-138, 11/01/2001
Andrew C. Myers, JFlow: practical mostly-static information flow control, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.228-241, January 20-22, 1999, San Antonio, Texas, United States
Frank Tip , Peter F. Sweeney, Class hierarchy specialization, ACM SIGPLAN Notices, v.32 n.10, p.271-285, Oct. 1997
Craig Chambers , Weimin Chen, Efficient multiple and predicated dispatching, ACM SIGPLAN Notices, v.34 n.10, p.238-255, Oct. 1999
Michael Hicks , Pankaj Kakkar , Jonathan T. Moore , Carl A. Gunter , Scott Nettles, PLAN: a packet language for active networks, ACM SIGPLAN Notices, v.34 n.1, p.86-93, Jan. 1999
Derek Rayside , Kostas Kontogiannis, Extracting Java library subsets for deployment on embedded systems, Science of Computer Programming, v.45 n.2-3, p.245-270, November 2002
Peri Tarr , Harold Ossher , William Harrison , Stanley M. Sutton, Jr., N degrees of separation: multi-dimensional separation of concerns, Proceedings of the 21st international conference on Software engineering, p.107-119, May 16-22, 1999, Los Angeles, California, United States
Jeffrey Dean , Greg DeFouw , David Grove , Vassily Litvinov , Craig Chambers, Vortex: an optimizing compiler for object-oriented languages, ACM SIGPLAN Notices, v.31 n.10, p.83-100, Oct. 1996
Brian A. Malloy , James F. Power , John T. Waldron, Applying software engineering techniques to parser design: the development of a C# parser, Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, September 16-18, 2002, Port Elizabeth, South Africa
Alex Borgida , Takahiro Murata, Tolerating exceptions in workflows: a unified framework for data and processes, ACM SIGSOFT Software Engineering Notes, v.24 n.2, p.59-68, March 1999
Yefim Shuf , Mauricio J. Serrano , Manish Gupta , Jaswinder Pal Singh, Characterizing the memory behavior of Java workloads: a structured view and opportunities for optimizations, ACM SIGMETRICS Performance Evaluation Review, v.29 n.1, p.194-205, June 2001
Motohiro Kawahito , Hideaki Komatsu , Toshio Nakatani, Effective null pointer check elimination utilizing hardware trap, ACM SIGOPS Operating Systems Review, v.34 n.5, p.139-149, Dec. 2000
Todd B. Knoblock , Jakob Rehof, Type elaboration and subtype completion for Java bytecode, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.2, p.243-272, March 2001
Beverly Schwartz , Alden W. Jackson , W. Timothy Strayer , Wenyi Zhou , R. Dennis Rockwell , Craig Partridge, Smart packets: applying active networks to network management, ACM Transactions on Computer Systems (TOCS), v.18 n.1, p.67-88, Feb. 2000
Zhendong Su , Manuel Fähndrich , Alexander Aiken, Projection merging: reducing redundancies in inclusion constraint graphs, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.81-95, January 19-21, 2000, Boston, MA, USA
Joseph Bergin , Thomas L. Naps , Constance G. Bland , Stephen J. Hartley , Mark A. Holliday , Pamela B. Lawhead , John Lewis , Myles F. McNally , Christopher H. Nevison , Cheng Ng , George J. Pothering , Tommi Teräsvirta, Java resources for computer science instruction, Working Group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference on Integrating technology into computer science education, p.14-34, December 1998, Dublin, Ireland
Richard A. Kemmerer, Security issues in distributed software, ACM SIGSOFT Software Engineering Notes, v.22 n.6, p.52-59, Nov. 1997
Zoran Budimlic , Ken Kennedy, Almost-whole-program compilation, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.104-111, November 03-05, 2002, Seattle, Washington, USA
Carlos Varela , Gul Agha, Programming dynamically reconfigurable open systems with SALSA, ACM SIGPLAN Notices, v.36 n.12, December 2001
Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom, Specifying Java thread semantics using a uniform memory model, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.192-201, November 03-05, 2002, Seattle, Washington, USA
Jong-Deok Choi , Manish Gupta , Mauricio J. Serrano , Vugranam C. Sreedhar , Samuel P. Midkiff, Stack allocation and synchronization optimizations for Java using escape analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.6, p.876-910, November 2003
Yuri Leontiev , M. Tamer Özsu , Duane Szafron, On type systems for object-oriented database programming languages, ACM Computing Surveys (CSUR), v.34 n.4, p.409-449, December 2002
Philip Wadler , Peter Thiemann, The marriage of effects and monads, ACM Transactions on Computational Logic (TOCL), v.4 n.1, p.1-32, January 2003
Thomas Kistler , Michael Franz, Continuous program optimization: A case study, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.4, p.500-548, July 2003
Valérie Issarny, Concurrent exception handling, Advances in exception handling techniques, Springer-Verlag New York, Inc., New York, NY, 2001
Li Gong, A Software Architecture for Open Service Gateways, IEEE Internet Computing, v.5 n.1, p.64-70, January 2001
Richard Carlsson, Hierarchical module namespaces in Erlang, Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, p.1-5, October 07-07, 2002, Pittsburgh, Pennsylvania
Li Gong, Java Security: Present and Near Future, IEEE Micro, v.17 n.3, p.14-19, May 1997
K. Rustan M. Leino, Recursive object types in a logic of object-oriented programs, Nordic Journal of Computing, v.5 n.4, p.330-360, Winter 1998
Mustafa M. Tikir , Jeffrey K. Hollingsworth , Guei-Yuan Lueh, Recompilation for debugging support in a JIT-compiler, ACM SIGSOFT Software Engineering Notes, v.28 n.1, January 2003
M. Harkema , D. Quartel , B. M. M. Gijsen , R. D. van der Mei, Performance monitoring of java applications, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy
Chandrasekhar Boyapati , Robert Lee , Martin Rinard, Ownership types for safe programming: preventing data races and deadlocks, ACM SIGPLAN Notices, v.37 n.11, November 2002
K. Rustan M. Leino , Greg Nelson, Abstraction dependencies, Programming methodology, Springer-Verlag New York, Inc., New York, NY, 2003
Marc Tremblay , Jeffrey Chan , Shailender Chaudhry , Andrew W. Conigliaro , Shing Sheung Tse, The MAJC Architecture: A Synthesis of Parallelism and Scalability, IEEE Micro, v.20 n.6, p.12-25, November 2000
Chandrasekhar Boyapati , Barbara Liskov , Liuba Shrira, Ownership types for object encapsulation, ACM SIGPLAN Notices, v.38 n.1, p.213-223, January 2003
Ben Stephenson , Wade Holst, Multicodes: optimizing virtual machines using bytecode sequences, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA
Eric Allen , Robert Cartwright, The case for run-time types in generic 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, June 13-14, 2002, Dublin, Ireland
Peter F. Sweeney , Michael Burke, Quantifying and evaluating the space overhead for alternative C++ memory layouts, Software—Practice & Experience, v.33 n.7, p.595-636, June 2003
Martin Abadi , Cormac Flanagan , Stephen N. Freund, Types for safe locking: Static race detection for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.2, p.207-255, March 2006
Bo Sandén, Coping with Java Threads, Computer, v.37 n.4, p.20-27, April 2004
Hans-J. Boehm, Destructors, finalizers, and synchronization, ACM SIGPLAN Notices, v.38 n.1, p.262-272, January 2003
Jack B. Dennis, Fresh Breeze: a multiprocessor chip architecture guided by modular programming principles, ACM SIGARCH Computer Architecture News, v.31 n.1, March 2003
Cormac Flanagan , Shaz Qadeer, A type and effect system for atomicity, ACM SIGPLAN Notices, v.38 n.5, May 2003
Anna Mikhailova , Alexander Romanovsky, Supporting evolution of interface exceptions, Advances in exception handling techniques, Springer-Verlag New York, Inc., New York, NY, 2001
Tatsushi Inagaki , Hideaki Komatsu , Toshio Nakatani, Integrated prepass scheduling for a Java Just-In-Time compiler on the IA-64 architecture, Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, March 23-26, 2003, San Francisco, California
Tatsushi Inagaki , Tamiya Onodera , Hideaki Komatsu , Toshio Nakatani, Stride prefetching by dynamically inspecting objects, ACM SIGPLAN Notices, v.38 n.5, May 2003
John Corwin , David F. Bacon , David Grove , Chet Murthy, MJ: a rational module system for Java and its applications, ACM SIGPLAN Notices, v.38 n.11, November 2003
Per Brinch Hansen, The invention of concurrent programming, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
C. John Glossner , Michael Schulte , Stamatis Vassiliadis, A Java-enabled DSP, Embedded processor design challenges: systems, architectures, modeling, and simulation-SAMOS, Springer-Verlag New York, Inc., New York, NY, 2002
Jim Purbrick , Chris Greenhalgh, An extensible event-based infrastructure for networked virtual worlds, Presence: Teleoperators and Virtual Environments, v.12 n.1, p.68-84, February 2003
Mark W. MacBeth , Keith A. McGuigan , Philip J. Hatcher, Executing Java threads in parallel in a distributed-memory environment, Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research, p.16, November 30-December 03, 1998, Toronto, Ontario, Canada
Kenji Watanabe , Wanming Chu , Yamin Li, Exploiting Java instruction/thread level parallelism with horizontal multithreading, Australian Computer Science Communications, v.23 n.4, p.122-129, January 2001
Michael K. Chen , Kunle Olukotun, The Jrpm system for dynamically parallelizing Java programs, ACM SIGARCH Computer Architecture News, v.31 n.2, May 2003
C. E. McDowell , E. A. Baldwin, Unloading Java classes that contain static fields, ACM SIGPLAN Notices, v.33 n.1, January 1998
Martin P. Robillard , Gail C. Murphy, Static analysis to support the evolution of exception structure in object-oriented systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.2, p.191-221, April 2003
Ole-Johan Dahl, The roots of object orientation: the Simula language, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
Ole-Johan Dahl, The roots of object orientation: the Simula language, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
Michael M. Swift , Brian N. Bershad , Henry M. Levy, Improving the reliability of commodity operating systems, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
Xing Fang , Jaejin Lee , Samuel P. Midkiff, Automatic fence insertion for shared memory multiprocessing, Proceedings of the 17th annual international conference on Supercomputing, June 23-26, 2003, San Francisco, CA, USA
Doug Orleans, Incremental programming with extensible decisions, Proceedings of the 1st international conference on Aspect-oriented software development, April 22-26, 2002, Enschede, The Netherlands
Derek Rayside , Evan Mamas , Erik Hons, Compact Java binaries for embedded systems, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, p.9, November 08-11, 1999, Mississauga, Ontario, Canada
Mark Evered, Opsis: a distributed object architecture based on bracket capabilities, Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, February 01, 2002, Sydney, Australia
Tiago Lima Massoni , Augusto Cesar Alves Sampaio , Paulo Henrique Monteiro Borba, A RUP-based software process supporting progressive implementation, UML and the unified process, Idea Group Publishing, Hershey, PA, 2003
J. Michael O'Connor , Marc Tremblay, picoJava-I: The Java Virtual Machine in Hardware, IEEE Micro, v.17 n.2, p.45-53, March 1997
Jang-Wu Jo , Byeong-Mo Chang , Kwangkeun Yi , Kwang-Moo Choe, An uncaught exception analysis for Java, Journal of Systems and Software, v.72 n.1, p.59-69, June 2004
Heiko Mantel , Andrei Sabelfeld, A unifying approach to the security of distributed and multi-threaded programs, Journal of Computer Security, v.11 n.4, p.615-676, 01/01/2004
Bruce Quig , John Rosenberg , Michael Kölling, Supporting interactive invocation of remote services within an integrated programming environment, Proceedings of the 2nd international conference on Principles and practice of programming in Java, June 16-18, 2003, Kilkenny City, Ireland
Cormac Flanagan , Stephen N Freund, Atomizer: a dynamic atomicity checker for multithreaded programs, ACM SIGPLAN Notices, v.39 n.1, p.256-267, January 2004
Ian Welch , Fan Lu, Policy-driven reflective enforcement of security policies, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
Aaron W. Keen , Tingjian Ge , Justin T. Maris , Ronald A. Olsson, JR: Flexible distributed programming in an extended Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.3, p.578-608, May 2004
Camil Demetrescu , Irene Finocchi, A portable virtual machine for program debugging and directing, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
Cheng-Hsueh A. Hsieh , Marie T. Conte , Teresa L. Johnson , John C. Gyllenhaal , Wen-mei W. Hwu, Optimizing NET Compilers for Improved Java Performance, Computer, v.30 n.6, p.67-75, June 1997
Roberto Lucchi , Gianluigi Zavattaro, WSSecSpaces: a secure data-driven coordination service for Web Services applications, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
Martin C. Carlisle , Ricky E. Sward , Jeffrey W. Humphries, Weaving Ada 95 into the .net environment, ACM SIGAda Ada Letters, v.XXIII n.1, p.22-26, March 2003
A. J. Kfoury , J. B. Wells, Principality and type inference for intersection types using expansion variables, Theoretical Computer Science, v.311 n.1-3, p.1-70, 23 January 2004
Peter J. Kammer , Gregory Alan Bolcer , Richard N. Taylor , Arthur S. Hitomi , Mark Bergman, Techniques for Supporting Dynamic and Adaptive Workflow, Computer Supported Cooperative Work, v.9 n.3-4, p.269-292, Aug. 2000
Rodrigo Vivanco , Nicolino Pizzi, Computational performance of Java and C++ in processing fMRI datasets, Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington
D. Viswanathan , S. Liang, Java virtual machine profiler interface, IBM Systems Journal, v.39 n.1, p.82-95, January 2000
Takeshi Ogasawara , Hideaki Komatsu , Toshio Nakatani, Optimizing precision overhead for x86 processors, Software—Practice & Experience, v.34 n.9, p.875-893, 25 July 2004
Joseph Bergin , Thomas L. Naps , Constance G. Bland , Stephen J. Hartley , Mark A. Holliday , Pamela B. Lawhead , John Lewis , Myles F. McNally , Christopher H. Nevison , Cheng Ng , George J. Pothering , Tommi Teräsvirta, Java resources for computer science instruction, ACM SIGCUE Outlook, v.26 n.4, p.14-34, Oct. 1998
David Stratton, Teaching network fundamentals using a simulated network, ACM SIGCSE Bulletin, v.31 n.2, June 1999
Takeshi Ogasawara , Hideaki Komatsu , Toshio Nakatani, A study of exception handling and its dynamic optimization in Java, ACM SIGPLAN Notices, v.36 n.11, p.83-95, 11/01/2001
Takeshi Ogasawara , Hideaki Komatsu , Toshio Nakatani, A study of exception handling and its dynamic optimization in Java, ACM SIGPLAN Notices, v.36 n.11, p.83-95, 11/01/2001
Barry Hayes, Ephemerons: a new finalization mechanism, ACM SIGPLAN Notices, v.32 n.10, p.176-183, Oct. 1997
Patrik Persson, Live memory analysis for garbage collection in embedded systems, ACM SIGPLAN Notices, v.34 n.7, p.45-54, July 1999
Eran Yahav, Verifying safety properties of concurrent Java programs using 3-valued logic, ACM SIGPLAN Notices, v.36 n.3, p.27-40, March 2001
Bill Lin, Software synthesis of process-based concurrent programs, Proceedings of the 35th annual conference on Design automation, p.502-505, June 15-19, 1998, San Francisco, California, United States
Guillaume Boissière, Automatic creation of hypervideo news libraries for the World Wide Web, Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems, p.279-280, June 20-24, 1998, Pittsburgh, Pennsylvania, United States
Ole Agesen , David L. Detlefs , Christine H. Flood , Alexander T. Garthwaite , Paul A. Martin , Nir N. Shavit , Guy L. Steele, Jr., DCAS-based concurrent deques, Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures, p.137-146, July 09-13, 2000, Bar Harbor, Maine, United States
An enhanced thread synchronization mechanism for Java, Software—Practice & Experience, v.31 n.7, p.667-695, June 2001
Chandrasekhar Boyapati , Martin Rinard, A parameterized type system for race-free Java programs, ACM SIGPLAN Notices, v.36 n.11, p.56-69, 11/01/2001
Mik Kersten , Gail C. Murphy, Atlas: a case study in building a web-based learning environment using aspect-oriented programming, ACM SIGPLAN Notices, v.34 n.10, p.340-352, Oct. 1999
Alexander Aiken , David Gay, Barrier inference, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.342-354, January 19-21, 1998, San Diego, California, United States
Gilad Bracha , Martin Odersky , David Stoutamire , Philip Wadler, Making the future safe for the past: adding genericity to the Java programming language, ACM SIGPLAN Notices, v.33 n.10, p.183-200, Oct. 1998
Marko Salmela , Harri Kyllönen, Smart virtual prototypes: distributed 3D product simulations for Web based environments, Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML), p.87-93, February 20-24, 2000, Monterey, California, United States
Jin-Soo Kim , Yarsun Hsu, Memory system behavior of Java programs: methodology and analysis, ACM SIGMETRICS Performance Evaluation Review, v.28 n.1, p.264-274, June 2000
Guy L. Steele , Jon L. White, How to print floating-point numbers accurately, ACM SIGPLAN Notices, v.39 n.4, April 2004
Dejan S. Milojičić , Fred Douglis , Yves Paindaveine , Richard Wheeler , Songnian Zhou, Process migration, ACM Computing Surveys (CSUR), v.32 n.3, p.241-299, Sept. 2000
Eberhard Bertsch , Mark-Jan Nederhof, On failure of the pruning technique in “Error repair in shift-reduce parsers”, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.1, p.1-10, Jan. 1999
Quentin Miller , Bernard Sufrin, Eclectic CSP: a language of concurrent processes, Proceedings of the 2000 ACM symposium on Applied computing, p.840-842, March 2000, Como, Italy
Isabelle Attali , Denis Caromel , Sidi O. Ehmety , Sylvain Lippi, Semantic-based visualization for parallel object-oriented programming, ACM SIGPLAN Notices, v.31 n.10, p.421-440, Oct. 1996
George C. Necula , Peter Lee, The design and implementation of a certifying compiler, ACM SIGPLAN Notices, v.33 n.5, p.333-344, May 1998
Robert Bruce Findler , Matthias Felleisen, Contracts for higher-order functions, ACM SIGPLAN Notices, v.37 n.9, p.48-59, September 2002
Abhik Roychoudhury , Tulika Mitra, Specifying multithreaded Java semantics for program verification, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
Jeremy Manson , William Pugh , Sarita V. Adve, The Java memory model, ACM SIGPLAN Notices, v.40 n.1, p.378-391, January 2005
Luis Salgado , Enrique Rendón , Roberto Artola, System architecture for tourist orientation: the TOSCA high-end system, Proceedings of the 2001 conference on Virtual reality, archeology, and cultural heritage, November 28-30, 2001, Glyfada, Greece
K. A. Hawick , H. A. James, Distributed high-performance computation for remote sensing, Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM), p.1-13, November 15-21, 1997, San Jose, CA
Egon Börger , Wolfram Schulte, A Practical Method for Specification and Analysis of Exception Handling-A Java/JVM Case Study, IEEE Transactions on Software Engineering, v.26 n.9, p.872-887, September 2000
Juei Chang , Debra J. Richardson, Structural specification-based testing: automated support and experimental evaluation, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.285-302, Nov. 1999
Greg DeFouw , David Grove , Craig Chambers, Fast interprocedural class analysis, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.222-236, January 19-21, 1998, San Diego, California, United States
Noritaka Osawa, An enhanced 3-D animation tool for performance tuning of parallel programs based on dynamic models, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, p.72-80, August 03-04, 1998, Welches, Oregon, United States
Michael Iuliano , Albert Jones, Controlling activities in a virtual manufacturing cell, Proceedings of the 28th conference on Winter simulation, p.1062-1067, December 08-11, 1996, Coronado, California, United States
Sarah Monisha Pulimood , Boumediene Belkhouche, A Mobile Computational model for Internet programming, Proceedings of the 42nd annual Southeast regional conference, April 02-03, 2004, Huntsville, Alabama
Motohiro Kawahito , Hideaki Komatsu , Toshio Nakatani, Effective sign extension elimination for java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.1, p.106-133, January 2006
Christopher Hogan , Robert Frederking, WebDIPLOMAT: a Web-based interactive machine translation system, Proceedings of the 18th conference on Computational linguistics, July 31-August 04, 2000, Saarbrücken, Germany
Ondřej Lhoták , Laurie Hendren, Jedd: a BDD-based relational extension of Java, ACM SIGPLAN Notices, v.39 n.6, May 2004
Motohiro Kawahito , Hideaki Komatsu , Toshio Nakatani, Effective sign extension elimination, ACM SIGPLAN Notices, v.37 n.5, May 2002
Atsushi Igarashi , Benjamin C. Pierce, On inner classes, Information and Computation, v.177 n.1, p.56-89, 25 August 2002
Atsushi Igarashi , Benjamin C. Pierce, On inner classes, Information and Computation, v.177 n.1, p.56-89, 25 August 2002
Matthias Bauer, New covert channels in HTTP: adding unwitting Web browsers to anonymity sets, Proceedings of the 2003 ACM workshop on Privacy in the electronic society, October 30, 2003, Washington, DC
David S. Goldberg , Robert Bruce Findler , Matthew Flatt, Super and inner: together at last!, ACM SIGPLAN Notices, v.39 n.10, October 2004
T. Suganuma , T. Ogasawara , M. Takeuchi , T. Yasue , M. Kawahito , K. Ishizaki , H. Komatsu , T. Nakatani, Overview of the IBM Java just-in-time compiler, IBM Systems Journal, v.39 n.1, p.175-193, January 2000
W. Gu , N. A. Burns , M. T. Collins , W. Y. P. Wong, The evolution of a high-performing Java virtual machine, IBM Systems Journal, v.39 n.1, p.135-150, January 2000
Akihiko Miyoshi , Takuro Kitayama , Hideyuki Tokuda, A real-time Java server for real-time mach, Engineering of distributed control systems, Nova Science Publishers, Inc., Commack, NY, 2001
Amer Diwan , William M. Waite , Michele H. Jackson, PL-detective: a system for teaching programming language concepts, ACM SIGCSE Bulletin, v.36 n.1, March 2004
Jonas Bonér, What are the key issues for commercial AOP use: how does AspectWerkz address them?, Proceedings of the 3rd international conference on Aspect-oriented software development, p.5-6, March 22-24, 2004, Lancaster, UK
Nattawut Sridranop , Ryan Stansifer, Adding polymorphic tuples and lists to the syntax of Java, Proceedings of the 42nd annual Southeast regional conference, April 02-03, 2004, Huntsville, Alabama
S. P. Midkiff , J. E. Moreira , M. Snir, Optimizing array reference checking in Java programs, IBM Systems Journal, v.37 n.3, p.409-453, 1998
Manuel Serrano , Frédéric Boussinot , Bernard Serpette, Scheme fair threads, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.203-214, August 24-26, 2004, Verona, Italy
Westley Weimer , George C. Necula, Finding and preventing run-time error handling mistakes, ACM SIGPLAN Notices, v.39 n.10, October 2004
Philip Hatcher , Mathew Reno , Gabriel Antoniu , Luc Bouge, Cluster Computing with Java, Computing in Science and Engineering, v.7 n.2, p.34-39, March 2005
Robert C. Steinke , Gary J. Nutt, A unified theory of shared memory consistency, Journal of the ACM (JACM), v.51 n.5, p.800-849, September 2004
Paulo Borba , Augusto Sampaio , Ana Cavalcanti , Márcio Cornélio, Algebraic reasoning for object-oriented programming, Science of Computer Programming, v.52 n.1-3, p.53-100, August 2004
David Grove , Craig Chambers, A framework for call graph construction algorithms, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.6, p.685-746, November 2001
K. Mani Chandy , Joseph Kiniry , Adam Rifkin , Daniel Zimmerman, Webs of Archived Distributed Computations for Asynchronous Collaboration, The Journal of Supercomputing, v.11 n.2, p.101-118, Oct. 1997
J. H. Jacobs , M. R. Swanson, UCL+P—Defining and Implementing Persistent Common Lisp, Lisp and Symbolic Computation, v.10 n.1, p.5-38, June 1997
Christoph W. Keßler, NestStep: Nested Parallelism and Virtual Shared Memory for the BSP Model, The Journal of Supercomputing, v.17 n.3, p.245-262, Nov. 2000
Walter Binder, J-SEAL2—A Secure High-Performance Mobile Agent System, Electronic Commerce Research, v.1 n.1-2, p.131-148, February/March 2001
Scott Thibault , Charles Consel , Julia L. Lawall , Renaud Marlet , Gilles Muller, Static and Dynamic Program Compilation by Interpreter Specialization, Higher-Order and Symbolic Computation, v.13 n.3, p.161-178, Sept. 2000
Gilad Bracha , David Ungar, Mirrors: design principles for meta-level facilities of object-oriented programming languages, ACM SIGPLAN Notices, v.39 n.10, October 2004
Adrian Birka , Michael D. Ernst, A practical type system and language for reference immutability, ACM SIGPLAN Notices, v.39 n.10, October 2004
Jagun Kwon , Andy Wellings , Steve King, Ravenscar-Java: a high integrity profile for real-time Java, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.131-140, November 03-05, 2002, Seattle, Washington, USA
Curtis E. Hrischuk , C. Murray Woodside , Jerome A. Rolia , Rod Iversen, Trace-Based Load Characterization for Generating Performance Software Models, IEEE Transactions on Software Engineering, v.25 n.1, p.122-135, January 1999
Matthew Arnold , Michael Hsiao , Ulrich Kremer , Barbara G. Ryder, Exploring the Interaction between Java's Implicitly Thrown Exceptions and Instruction Scheduling, International Journal of Parallel Programming, v.29 n.2, p.111-137, April 2001
Motohiro Kawahito , Hideaki Komatsu , Toshio Nakatani, Partial redundancy elimination for access expressions by speculative code motion, Software—Practice & Experience, v.34 n.11, p.1065-1090, September 2004
Margaret Burnett , Anurag Agrawal , Pieter van Zee, Exception Handling in the Spreadsheet Paradigm, IEEE Transactions on Software Engineering, v.26 n.10, p.923-942, October 2000
Kazunori Ogata , Hideaki Komatsu , Toshio Nakatani, Bytecode fetch optimization for a Java interpreter, ACM SIGOPS Operating Systems Review, v.36 n.5, December 2002
Li Gong, Secure Java Class Loading, IEEE Internet Computing, v.2 n.6, p.56-61, November 1998
Jarle Hulaas , Walter Binder, Program transformations for portable CPU accounting and control in Java, Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.169-177, August 24-25, 2004, Verona, Italy
Ana Milanova , Atanas Rountev , Barbara G. Ryder, Parameterized object sensitivity for points-to analysis for Java, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.1, p.1-41, January 2005
Discovering implicit inheritance relations in non-object-oriented code, Advances in software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
Chandra Krintz, Using adaptive optimization techniques to teach mobile Java computing, 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, June 13-14, 2002, Dublin, Ireland
Matt Newsome , Des Watson, Proxy compilation of dynamically loaded Java classes with MoJo, ACM SIGPLAN Notices, v.37 n.7, July 2002
Gail C. Murphy , Robert J. Walker , Elisa L. A. Baniassad, Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-Oriented Programming, IEEE Transactions on Software Engineering, v.25 n.4, p.438-455, July 1999
Daniel Hoffman , Paul Strooper, API documentation with executable examples, Journal of Systems and Software, v.66 n.2, p.143-156, 15 May 2003
Luca Cardelli , Rowan Davies, Service Combinators for Web Computing, IEEE Transactions on Software Engineering, v.25 n.3, p.309-316, May 1999
Akira Koseki , Hideaki Komatsu , Toshio Nakatani, Preference-directed graph coloring, ACM SIGPLAN Notices, v.37 n.5, May 2002
Katsuhisa Maruyama , Ken-Ichi Shima, An Automatic Class Generation Mechanism by Using Method Integration, IEEE Transactions on Software Engineering, v.26 n.5, p.425-440, May 2000
Giulio Gorla , Eduard Moser , Wolfgang Nebel , Eugenio Villar, System Specification Experiments on a Common Benchmark, IEEE Design & Test, v.17 n.3, p.22-32, July 2000
Takeshi Ogasawara , Hideaki Komatsu , Toshio Nakatani, Optimizing precision overhead for x86 processors, Software—Practice & Experience, v.34 n.9, p.875-893, 25 July 2004
Reinhard Baler , Christian Gran , Angela Scheller , Andreas Zisowsky, Multimedia middleware for the future home, Proceedings of the 2001 international workshop on Multimedia middleware, October 05, 2001, Ottawa, Ontario, Canada
Martin Hardwick , K. C. Morris , David L. Spooner , Thomas Rando, Data Protocols for the Industrial Virtual Enterprise, IEEE Internet Computing, v.1 n.1, p.20-29, January 1997
John Page , Arkady Zaslavsky , Maria Indrawan, A buddy model of security for mobile agent communities operating in pervasive scenarios, Proceedings of the second workshop on Australasian information security, Data Mining and Web Intelligence, and Software Internationalisation, p.17-25, January 01, 2004, Dunedin, New Zealand
Michael M. Swift , Brian N. Bershad , Henry M. Levy, Improving the reliability of commodity operating systems, ACM Transactions on Computer Systems (TOCS), v.23 n.1, p.77-110, February 2005
Cliff Click , John Rose, Fast subtype checking in the HotSpot JVM, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.96-107, November 03-05, 2002, Seattle, Washington, USA
Denis Caromel , Julien Vayssière, A security framework for reflective Java applications, Software—Practice & Experience, v.33 n.9, p.821-846, 25 July 2003
Lee-Ren Ton , Lung-Chung Chang , Chung-Ping Chung, An analytical POC stack operations folding for continuous and discontinuous Java bytecodes, Journal of Systems Architecture: the EUROMICRO Journal, v.48 n.1-3, p.1-16, September 2002
Dick Mays , Richard J. LeBlanc, Jr., The cyclefree methodology: a simple approach to building reliable, robust, real-time systems, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
Richard Carlsson, Parameterized modules in Erlang, Proceedings of the 2003 ACM SIGPLAN workshop on Erlang, p.29-35, August 29-29, 2003, Uppsala, Sweden
Ramkrishna Chatterjee , Barbara G. Ryder , William A. Landi, Complexity of Points-To Analysis of Java in the Presence of Exceptions, IEEE Transactions on Software Engineering, v.27 n.6, p.481-512, June 2001
Charles E. McDowell , Bruce R. Montague , Michael R. Allen , Elizabeth A. Baldwin , Marcelo E. Montoreano, Javacam: Trimming Java Down to Size, IEEE Internet Computing, v.2 n.3, p.53-59, May 1998
Michele Bugliesi , Santiago M. Pericás-Geertsen, Type inference for variant object types, Information and Computation, v.177 n.1, p.2-27, 25 August 2002
Kathryn E. Gray , Robert Bruce Findler , Matthew Flatt, Fine-grained interoperability through mirrors and contracts, ACM SIGPLAN Notices, v.40 n.10, October 2005
Richard Cobbe , Matthias Felleisen, Environmental acquisition revisited, ACM SIGPLAN Notices, v.40 n.1, p.14-25, January 2005
Neal Glew , Jens Palsberg, Type-safe method inlining, Science of Computer Programming, v.52 n.1-3, p.281-306, August 2004
Toshio Suganuma , Toshiaki Yasue , Motohiro Kawahito , Hideaki Komatsu , Toshio Nakatani, Design and evaluation of dynamic optimizations for a Java just-in-time compiler, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.4, p.732-785, July 2005
Rodney Bates, Syntactic heroin, Queue, v.3 n.5, June 2005
Ann Wollrath , Jim Waldo , Roger Riggs, Java-Centric Distributed Computing, IEEE Micro, v.17 n.3, p.44-53, May 1997
Motohiro Kawahito , Hideaki Komatsu , Toshio Nakatani, Instruction combining for coalescing memory accesses using global code motion, Proceedings of the 2004 workshop on Memory system performance, June 08-08, 2004, Washington, D.C.
Mourad Debbabi , Abdelouahed Gherbi , Lamia Ketari , Chamseddine Talhi , Hamdi Yahyaoui , Sami Zhioua, a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines, Proceedings of the 3rd international symposium on Principles and practice of programming in Java, June 16-18, 2004, Las Vegas, Nevada
Zhaozhong Ni , Zhong Shao, Certified assembly programming with embedded code pointers, ACM SIGPLAN Notices, v.41 n.1, p.320-333, January 2006
Roberto Costa , Erven Rohou, Comparing the size of .NET applications with native code, Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, September 19-21, 2005, Jersey City, NJ, USA
Eric Van Wyk, Specification languages in algebraic compilers, Theoretical Computer Science, v.291 n.3, p.351-385, 6 January 2003
Levon Stepanian , Angela Demke Brown , Allan Kielstra , Gita Koblents , Kevin Stoodley, Inlining java native calls at runtime, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, June 11-12, 2005, Chicago, IL, USA
Mark A. Cohen, The development of a game playing framework using interface-based programming, Crossroads, v.10 n.4, p.5-5, 31 August 2004
Davide Ancona , Elena Zucca, Principal typings for Java-like languages, ACM SIGPLAN Notices, v.39 n.1, p.306-317, January 2004
Thomas Kotzmann , Hanspeter Mössenböck, Escape analysis in the context of dynamic compilation and deoptimization, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, June 11-12, 2005, Chicago, IL, USA
Alex Brodsky , Hadon Nash, CoJava: a unified language for simulation and optimization, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
Shujuan Jiang , Yongping Zhang , Dashun Yan , Yuanpeng Jiang, An approach to automatic testing exception handling, ACM SIGPLAN Notices, v.40 n.8, August 2005
Quinn Snell , Glenn Judd , Mark Clement, The DOGMA approach to parallel and distributed computing, Cluster computing, Nova Science Publishers, Inc., Commack, NY, 2001
Jed Liu , Aaron Kimball , Andrew C. Myers, Interruptible iterators, ACM SIGPLAN Notices, v.41 n.1, p.283-294, January 2006
Alex Blewitt , Alan Bundy , Ian Stark, Automatic verification of design patterns in Java, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA
Anders Nilsson , Anders Ive , Torbjörn Ekman , Görel Hedin, Implementing java compilers using ReRAGs, Nordic Journal of Computing, v.11 n.3, p.213-234, September 2004
Barbara G. Ryder , Mary Lou Soffa , Margaret Burnett, The impact of software engineering research on modern progamming languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.4, p.431-477, October 2005
Takeshi Ogasawara , Hideaki Komatsu , Toshio Nakatani, EDO: Exception-directed optimization in java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.1, p.70-105, January 2006
Lee-Ren Ton , Lung-Chung Chang , Jyh-Jiun Shann , Chung-Ping Chung, A software/hardware cooperated stack operations folding model for Java processors, Journal of Systems and Software, v.72 n.3, p.377-387, August 2004
Alan Donovan , Adam Kiežun , Matthew S. Tschantz , Michael D. Ernst, Converting java programs to use generic libraries, ACM SIGPLAN Notices, v.39 n.10, October 2004
George C. Necula , Peter Lee, The design and implementation of a certifying compiler, ACM SIGPLAN Notices, v.39 n.4, April 2004
Greg Bollella , James Gosling, The Real-Time Specification for Java, Computer, v.33 n.6, p.47-54, June 2000
Francisco Ortin , Juan Manuel Cueva, Dynamic adaptation of application aspects, Journal of Systems and Software, v.71 n.3, p.229-243, May 2004
Jeremy Manson, The design and verification of Java's memory model, Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington
David F. Bacon , Ravi Konuru , Chet Murthy , Mauricio J. Serrano, Thin locks: featherweight Synchronization for Java, ACM SIGPLAN Notices, v.39 n.4, April 2004
David F. Bacon , Ravi Konuru , Chet Murthy , Mauricio J. Serrano, Thin locks: featherweight Synchronization for Java, ACM SIGPLAN Notices, v.39 n.4, April 2004
Holger Peine, Application and programming experience with the Ara mobile agent system, Software—Practice & Experience, v.32 n.6, p.515-541, May 2002
Manuel Fähndrich , K. Rustan M. Leino, Declaring and checking non-null types in an object-oriented language, ACM SIGPLAN Notices, v.38 n.11, November 2003
Saurabh Sinha , Mary Jean Harrold, Analysis and Testing of Programs with Exception Handling Constructs, IEEE Transactions on Software Engineering, v.26 n.9, p.849-871, September 2000
Douglas Low, Protecting Java code via code obfuscation, Crossroads, v.4 n.3, p.21-23, Spring 1998
Mourad Debbabi , Abdelouahed Gherbi , Azzam Mourad , Hamdi Yahyaoui, A selective dynamic compiler for embedded Java virtual machines targeting ARM processors, Science of Computer Programming, v.59 n.1-2, p.38-63, January 2006
Sérgio Soares , Paulo Borba , Eduardo Laureano, Distribution and persistence as aspects, Software—Practice & Experience, v.36 n.7, p.711-759, June 2006
Sewon Moon , Byeong-Mo Chang, A thread monitoring system for multithreaded Java programs, ACM SIGPLAN Notices, v.41 n.5, May 2006
Mark A. Cohen, The development of a game playing framework using interface-based programming, Crossroads, v.12 n.1, p.5-5, Fall 2005
Lori A. Clarke , David S. Rosenblum, A historical perspective on runtime assertion checking in software development, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006
Michael Sonntag , Rudolf Hörmanseder, Mobile agent security based on payment, ACM SIGOPS Operating Systems Review, v.34 n.4, p.48-55, October 2000
Takahiro Murata , Alex Borgida, Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes, IEEE Transactions on Software Engineering, v.26 n.10, p.959-977, October 2000
Algis Rudys , Dan S. Wallach, Termination in language-based systems, ACM Transactions on Information and System Security (TISSEC), v.5 n.2, p.138-168, May 2002
Brian T. Kurotsuchi, The wonders of Java object serialization, Crossroads, v.4 n.2, p.3-8, Winter 1997
Boris Roussev , Jie Wu, Distributed computing using Java: a comparison of two server designs, Journal of Systems Architecture: the EUROMICRO Journal, v.52 n.7, p.432-440, July 2006
Hayden Melton , Ewan Tempero, Identifying refactoring opportunities by identifying dependency cycles, Proceedings of the 29th Australasian Computer Science Conference, p.35-41, January 16-19, 2006, Hobart, Australia
L. Eisen , J. W. Ward, III , H.-W. Tast , N. Mäding , J. Leenstra , S. M. Mueller , C. Jacobi , J. Preiss , E. M. Schwarz , S. R. Carlough, IBM POWER6 accelerators: VMX and DFU, IBM Journal of Research and Development, v.51 n.6, p.663-683, November 2007
A. V. Demakov, Object-oriented description of graph data structures, Programming and Computing Software, v.33 n.5, p.261-271, September 2007
Andreas Sewe , Christoph Bockisch , Mira Mezini, Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch, Proceedings of the 7th workshop on Foundations of aspect-oriented languages, p.1-7, April 01-01, 2008, Brussels, Belgium
Richard E. Jones , Chris Ryder, A study of Java object demographics, Proceedings of the 7th international symposium on Memory management, June 07-08, 2008, Tucson, AZ, USA
Philip W. Grant , Magne Haveraaen , Michael F. Webster, Coordinate free programming of computational fluid dynamics problems, Scientific Programming, v.8 n.4, p.211-230, December 2000
Magne Haveraaen, Machine and collection abstractions for user-implemented data-parallel programming, Scientific Programming, v.8 n.4, p.231-246, December 2000
T. B. Dinesh , Magne Haveraaen , Jan Heering, An algebraic programming style for numerical software and its optimization, Scientific Programming, v.8 n.4, p.247-259, December 2000
Magne Haveraaen, Case study on algebraic software methodologies for scientific computing, Scientific Programming, v.8 n.4, p.261-273, December 2000
Tulika Mitra , Abhik Roychoudhury , Qinghua Shen, Impact of Java Memory Model on Out-of-Order Multiprocessors, Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques, p.99-110, September 29-October 03, 2004
Christoph Walther , Stephan Schweitzer, Verification in the Classroom, Journal of Automated Reasoning, v.32 n.1, p.35-73, January 2004
Barry Boehm, A view of 20th and 21st century software engineering, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
Pieter H. Hartel , Luc Moreau, Formalizing the safety of Java, the Java virtual machine, and Java card, ACM Computing Surveys (CSUR), v.33 n.4, p.517-558, December 2001
Patrick Eugster, Type-based publish/subscribe: Concepts and experiences, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.1, p.6-es, January 2007
Kazunori Ogata , Tamiya Onodera , Kiyokuni Kawachiya , Hideaki Komatsu , Toshio Nakatani, Replay compilation: improving debuggability of a just-in-time compiler, ACM SIGPLAN Notices, v.41 n.10, October 2006
Martin Plümicke , Jörg Bäuerle, Typeless programming in Java 5.0, Proceedings of the 4th international symposium on Principles and practice of programming in Java, August 30-September 01, 2006, Mannheim, Germany
Dong-Heon Jung , Sung-Hwan Bae , Jaemok Lee , Soo-Mook Moon , JongKuk Park, Supporting precise garbage collection in Java Bytecode-to-C ahead-of-time compiler for embedded systems, Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems, October 22-25, 2006, Seoul, Korea
Dong-Heon Jung , Jong Kuk Park , Sung-Hwan Bae , Jaemok Lee , Soo-Mook Moon, Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems, Proceedings of the 6th ACM & IEEE International conference on Embedded software, October 22-25, 2006, Seoul, Korea
André C. Nácul , Tony Givargis, Synthesis of time-constrained multitasking embedded software, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.11 n.4, p.822-847, October 2006
Jörg Kienzle , Shane Sendall, Addressing concurrency in object-oriented software development, Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, October 16-19, 2006, Toronto, Ontario, Canada
Geoff A. Cohen , Jeffrey S. Chase , David L. Kaminsky, Automatic program transformation with JOIE, Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, p.14-14, June 15-19, 1998, New Orleans, Louisiana
Godmar Back , Patrick Tullmann , Leigh Stoller , Wilson C. Hsieh , Jay Lepreau, Techniques for the design of java operating systems, Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference, p.17-17, June 18-23, 2000, San Diego, California
Erika Ábrahám , Frank S. de Boer , Willem-Paul de Roever , Martin Steffen, An assertion-based proof system for multithreaded Java, Theoretical Computer Science, v.331 n.2-3, p.251-290, 25 February 2005
Michael Factor , Assaf Schuster , Konstantin Shagin, A platform-independent distributed runtime for standard multithreaded Java, International Journal of Parallel Programming, v.34 n.2, p.113-142, April 2006
Chris Hawblitzel , Chi-Chao Chang , Grzegorz Czajkowski , Deyu Hu , Thorsten von Eicken, Implementing multiple protection domains in java, Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, p.22-22, June 15-19, 1998, New Orleans, Louisiana
Ann Wollrath , Roger Riggs , Jim Waldo, A distributed object model for the javaTM system, Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS), p.17-17, June 17-21, 1996, Toronto, Ontario, Canada
Roger Riggs , Jim Waldo , Ann Wollrath , Krishna Bharat, Pickling state in the javaTM system, Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS), p.19-19, June 17-21, 1996, Toronto, Ontario, Canada
Gilles Muller , Bárbara Moura , Fabrice Bellard , Charles Consel, Harissa: a flexible and efficient java environment mixing bytecode and compiled code, Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS), p.1-1, June 16-20, 1997, Portland, Oregon
Rimon Barr , Zygmunt J. Haas , Robbert van Renesse, JiST: an efficient approach to simulation using virtual machines: Research Articles, Software—Practice & Experience, v.35 n.6, p.539-576, May 2005
Todd A. Proebsting , Gregg Townsend , Patrick Bridges , John H. Hartman , Tim Newsham , Scott A. Watterson, Toba: java for applications a way ahead of time (WAT) compiler, Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS), p.3-3, June 16-20, 1997, Portland, Oregon
Luca Cardelli , Rowan Davies, Service combinators for web computing, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.1-1, October 15-17, 1997, Santa Barbara, California
Tony Printezis, Hot-swapping between a mark&sweep and a mark&compact garbage collector in a generational environment, Proceedings of the JavaTM Virtual Machine Research and Technology Symposium on JavaTM Virtual Machine Research and Technology Symposium, p.20-20, April 23-24, 2001, Monterey, California
Per Bothner, Kawa: compiling dynamic languages to the Java VM, Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, p.41-41, June 15-19, 1998, New Orleans, Louisiana
J. Strother Moore , George M. Porter, An executable formal java virtual machine thread model, Proceedings of the JavaTM Virtual Machine Research and Technology Symposium on JavaTM Virtual Machine Research and Technology Symposium, p.14-14, April 23-24, 2001, Monterey, California
Anya Helene Bagge , Valentin David , Magne Haveraaen , Karl Trygve Kalleberg, Stayin' alert:: moulding failure and exceptions to your needs, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA
Takashi Aoki , Takeshi Eto, On the software virtual machine for the real hardware stack machine, Proceedings of the JavaTM Virtual Machine Research and Technology Symposium on JavaTM Virtual Machine Research and Technology Symposium, p.24-24, April 23-24, 2001, Monterey, California
Christopher Small, A tool for constructing safe extensible C++ systems, Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS), p.13-13, June 16-20, 1997, Portland, Oregon
Zhong Shao, Typed common intermediate format, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.8-8, October 15-17, 1997, Santa Barbara, California
Rasmus Pedersen , Martin Schoeberl, Exact roots for a real-time garbage collector, Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, October 11-13, 2006, Paris, France
David Shepherd , Zachary P. Fry , Emily Hill , Lori Pollock , K. Vijay-Shanker, Using natural language program analysis to locate and understand action-oriented concerns, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
Ben L. Titzer, Virgil: objects on the head of a pin, ACM SIGPLAN Notices, v.41 n.10, October 2006
Benjamin A. Allan , Robert Armstrong , David E. Bernholdt , Felipe Bertrand , Kenneth Chiu , Tamara L. Dahlgren , Kostadin Damevski , Wael R. Elwasif , Thomas G. W. Epperly , Madhusudhan Govindaraju , Daniel S. Katz , James A. Kohl , Manoj Krishnan , Gary Kumfert , J. Walter Larson , Sophia Lefantzi , Michael J. Lewis , Allen D. Malony , Lois C. Mclnnes , Jarek Nieplocha , Boyana Norris , Steven G. Parker , Jaideep Ray , Sameer Shende , Theresa L. Windus , Shujia Zhou, A Component Architecture for High-Performance Scientific Computing, International Journal of High Performance Computing Applications, v.20 n.2, p.163-202, May 2006
Sotiris Ioannidis , Steven M. Bellovin , Jonathan M. Smith, Sub-operating systems: a new approach to application security, Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC, July 01-01, 2002, Saint-Emilion, France
Michael M. Swift , Steven Martin , Henry M. Levy , Susan J. Eggers, Nooks: an architecture for reliable device drivers, Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC, July 01-01, 2002, Saint-Emilion, France
Shujuan Jiang , Baowen Xu , Liang Shi, An approach to analyzing recursive programs with exception handling constructs, ACM SIGPLAN Notices, v.41 n.4, April 2006
Kimmo Kiviluoma , Johannes Koskinen , Tommi Mikkonen, Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA
T. H. Ng , S. C. Cheung , W. K. Chan , Y. T. Yu, Toward effective deployment of design patterns for software extension: a case study, Proceedings of the 2006 international workshop on Software quality, May 21-21, 2006, Shanghai, China
Maribel Fernández , Fabien Fleutot, A historic functional and object-oriented calculus, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
Erik Corry, Optimistic stack allocation for java-like languages, Proceedings of the 2006 international symposium on Memory management, June 10-11, 2006, Ottawa, Ontario, Canada
Riccardo Focardi , Roberto Lucchi , Gianluigi Zavattaro, Secure shared data-space coordination languages: a process algebraic surveys, Science of Computer Programming, v.63 n.1, p.3-15, November 2006
Nattawut Sridranop , Ryan Stansifer, Higher-order functional programming and wildcards in java, Proceedings of the 45th annual southeast regional conference, March 23-24, 2007, Winston-Salem, North Carolina
Yoohoon Kang , Chanjin Park , Chisu Wu, Reverse-engineering 1-n associations from Java bytecode using alias analysis, Information and Software Technology, v.49 n.2, p.81-98, February, 2007
Nick Benton , Peter Buchlovsky, Semantics of an effect analysis for exceptions, Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation, January 16-16, 2007, Nice, Nice, France
Dave Clarke , Sophia Drossopoulou , James Noble , Tobias Wrigstad, Tribe: a simple virtual class calculus, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
Christian Wimmer , Hanspeter Mössenböck, Automatic feedback-directed object inlining in the java hotspot™ virtual machine, Proceedings of the 3rd international conference on Virtual execution environments, June 13-15, 2007, San Diego, California, USA
A. M. Webb , R. Mansell , J. W. Knight , S. J. Greenspan , D. B. Emmes, Practical software reuse for IBM System z I/O subsystems, IBM Journal of Research and Development, v.51 n.1/2, p.229-243, January 2007
Andrew Whitaker , Richard S. Cox , Marianne Shaw , Steven D. Grible, Constructing services with interposable virtual hardware, Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation, p.13-13, March 29-31, 2004, San Francisco, California
Sunil Soman , Chandra Krintz , Giovanni Vigna, Detecting malicious java code using virtual machine auditing, Proceedings of the 12th conference on USENIX Security Symposium, p.11-11, August 04-08, 2003, Washington, DC
Leendert van Doorn, A secure javaTM virtual machine, Proceedings of the 9th conference on USENIX Security Symposium, p.2-2, August 14-17, 2000, Denver, Colorado
Erick Gallesio , Manuel Serrano, Biglook: A Widget Library for the Scheme Programming Language, Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, p.85-97, June 10-15, 2002
Ryan M. Golbeck , Gregor Kiczales, A machine code model for efficient advice dispatch, Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms, p.2-es, March 12-16, 2007, Vancouver, British Columbia, Canada
Sotiris Ioannidis , Steven M. Bellovin, Building a Secure Web Browser, Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference, p.127-134, June 25-30, 2001
Takeshi Ogasawara , Hideaki Komatsu , Toshio Nakatani, Optimizing Precision Overhead for x86 Processors, Proceedings of the 2nd Java™ Virtual Machine Research and Technology Symposium, p.41-50, August 01-02, 2002
Bowen Alpern , Maria Butrico , Anthony Cocchi , Julian Dolby , Stephen J. Fink , David Grove , Ton Ngo, Experiences Porting the Jikes RVM to Linux/IA32, Proceedings of the 2nd Java™ Virtual Machine Research and Technology Symposium, p.51-64, August 01-02, 2002
Michael Golm , Meik Felser , Christian Wawersich , Jürgen Kleinöder, The JX Operating System, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.45-58, June 10-15, 2002
K. S. Venugopal , Geetha Manjunath , Venkatesh Krishnan, sEc: A Portable Interpreter Optimizing Technique for Embedded Java Virtual Machine, Proceedings of the 2nd Java™ Virtual Machine Research and Technology Symposium, p.127-138, August 01-02, 2002
James R. Larus , Michael Parkes, Using Cohort-Scheduling to Enhance Server Performance, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.103-114, June 10-15, 2002
Michael Chen , Kunle Olukotun, Targeting Dynamic Compilation for Embedded Environments, Proceedings of the 2nd Java™ Virtual Machine Research and Technology Symposium, p.151-164, August 01-02, 2002
Mirko Raner, A Lightweight Java Virtual Machine for a Stack-Based Microprocessor, Proceedings of the 2nd Java™ Virtual Machine Research and Technology Symposium, p.181-194, August 01-02, 2002
Jan A. Bergstra , Paul Klint, About "trivial" software patents: The IsNot case, Science of Computer Programming, v.64 n.3, p.264-285, February, 2007
Nikola Grcevski , Allan Kielstra , Kevin Stoodley , Mark Stoodley , Vijay Sundaresan, JavaTM just-in-time compiler and virtual machine improvements for server and middleware applications, Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium, p.12-12, May 06-07, 2004, San Jose, California
Han Bok Lee , Benjamin G. Zorn, BIT: a tool for instrumenting java bytecodes, Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems, p.7-7, December 08-11, 1997, Monterey, California
Li Gong , Marianne Mueller , Hemma Prafullchandra , Roland Schemers, Going beyond the sandbox: an overview of the new security architecture in the javaTM development Kit 1.2, Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems, p.10-10, December 08-11, 1997, Monterey, California
Kevin Cleereman , Michelle Cheatham , Krishnaprasad Thirunarayan, Mechanisms for improved covariant type-checking, Computer Languages, Systems and Structures, v.34 n.1, p.1-17, April, 2008
Jesper H. Spring , Jean Privat , Rachid Guerraoui , Jan Vitek, Streamflex: high-throughput stream programming in java, ACM SIGPLAN Notices, v.42 n.10, October 2007
Ethan L. Miller , Kennedy Akala , Jeffrey K. Hollingsworth, Using content-derived names for package management in Tcl, Proceedings of the 6th conference on Annual Tcl/Tk Workshop, 1998, p.18-18, September 14-18, 1998, San Diego, California
John R. Lo Verso , Murray S. Mazer, Caubweb: detaching the web with Tcl, Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997, p.3-3, July 14-17, 1997, Boston, Massachusetts
J. Bradley Chen , Bradley D. D. Leupen, Improving instruction locality with just-in-time code layout, Proceedings of the USENIX Windows NT Workshop on The USENIX Windows NT Workshop 1997, p.4-4, August 11-13, 1997, Seattle, Washington
Eran Gabber , Christopher Small , John Bruno , José Brustoloni , Avi Silberschatz, The pebble component-based operating system, Proceedings of the Annual Technical Conference on 1999 USENIX Annual Technical Conference, p.20-20, June 06-11, 1999, Monterey, California
Hyun-il Lim , Heewan Park , Seokwoo Choi , Taisook Han, A method for detecting the theft of Java programs through analysis of the control flow information, Information and Software Technology, v.51 n.9, p.1338-1350, September, 2009
Andreas Rossberg, The missing link: dynamic components for ML, ACM SIGPLAN Notices, v.41 n.9, September 2006
V. O. Snow , S. J. Lovatt, Original paper: A general planner for agro-ecosystem models, Computers and Electronics in Agriculture, v.60 n.2, p.201-211, March, 2008
A. I. Avetisyan , S. S. Gaisaryan , V. P. Ivannikov , V. A. Padaryan, Productivity prediction of MPI programs based on models, Automation and Remote Control, v.68 n.5, p.750-759, May 2007
Laurent Daynès , Grzegorz Czajkowski, Lightweight flexible isolation for language-based extensible systems, Proceedings of the 28th international conference on Very Large Data Bases, p.718-729, August 20-23, 2002, Hong Kong, China
David Shepherd , Lori Pollock , K. Vijay-Shanker, Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task, Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.49-54, June 13-14, 2007, San Diego, California, USA
David Monniaux, The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.3, p.1-41, May 2008
Bent Bruun Kristensen , Ole Lehrmann Madsen , Birger Møller-Pedersen, The when, why and why not of the BETA programming language, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.10-1-10-57, June 09-10, 2007, San Diego, California
Wolfram Amme , Jeffery von Ronne , Michael Franz, SSA-based mobile code: Implementation and empirical evaluation, ACM Transactions on Architecture and Code Optimization (TACO), v.4 n.2, p.13-es, June 2007
Galen Hunt , Mark Aiken , Manuel Fähndrich , Chris Hawblitzel , Orion Hodson , James Larus , Steven Levi , Bjarne Steensgaard , David Tarditi , Ted Wobber, Sealing OS processes to improve dependability and safety, ACM SIGOPS Operating Systems Review, v.41 n.3, June 2007
SungHyun Hong , Jin-Chul Kim , Jin Woo Shin , Soo-Mook Moon , Hyeong-Seok Oh , Jaemok Lee , Hyung-Kyu Choi, Java client ahead-of-time compiler for embedded systems, ACM SIGPLAN Notices, v.42 n.7, July 2007
Pratibha Permandla , Michael Roberson , Chandrasekhar Boyapati, A type system for preventing data races and deadlocks in the java virtual machine language: 1, ACM SIGPLAN Notices, v.42 n.7, July 2007
Kevin Hoffman , Patrick Eugster, Bridging Java and AspectJ through explicit join points, Proceedings of the 5th international symposium on Principles and practice of programming in Java, September 05-07, 2007, Lisboa, Portugal
José E. Moreira , Samuel P. Midkiff , Manish Gupta , Peng Wu , George Almasi , Pedro Artigas, NINJA: Java for high performance numerical computing, Scientific Programming, v.10 n.1, p.19-33, January 2002
Vladimir Getov , Paul Gray , Sava Mintchev , Vaidy Sunderam, Multi-language programming environments for high performance Java computing, Scientific Programming, v.7 n.2, p.139-146, April 1999
Sean Foley, Tactics for minimal interference from class loading in real-time Java™, Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, September 26-28, 2007, Vienna, Austria
E. Bertsch , M. -J. Nederhof, Some observations on LR-like parsing with delayed reduction, Information Processing Letters, v.104 n.6, p.195-199, December, 2007
Roberto Gorrieri , Roberto Lucchi , Gianluigi Zavattaro, Supporting Secure Coordination in SecSpaces, Fundamenta Informaticae, v.73 n.4, p.479-506, December 2006
Gary T. Leavens , Peter Muller, Information Hiding and Visibility in Interface Specifications, Proceedings of the 29th International Conference on Software Engineering, p.385-395, May 20-26, 2007
Adam Kiezun , Michael D. Ernst , Frank Tip , Robert M. Fuhrer, Refactoring for Parameterizing Java Classes, Proceedings of the 29th International Conference on Software Engineering, p.437-446, May 20-26, 2007
Leszek Kotulski , Lukasz Fryz , Tomasz Gorazd, On synchronization with direct delaying and resuming, Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering, p.117-122, February 13-15, 2007, Innsbruck, Austria
A. Hughes, Requirements of a Middleware for Managing a Large, Heterogeneous Programmable Network, BT Technology Journal, v.20 n.2, p.123-134, April 2002
Tiago Massoni , Rohit Gheyi , Paulo Borba, A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 195, p.189-209, January, 2008
Jean Mayrand , Jean-François Patenaude , Ettore Merlo , Michel Dagenais , Bruno Laguë, Software assessment using metrics: A comparison across large C++ and Java systems, Annals of Software Engineering, v.9 n.1-4, p.117-141, 2000
Mark Hills , Grigore Rosu, A rewriting approach to the design and evolution of object-oriented languages, Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion, October 21-25, 2007, Montreal, Quebec, Canada
Rodrigo Quites Reis , Carla Alessandra Lima Reis , Heribert Schlebbe , Daltro José nunes, Automatic Verification of Static Policies on Software Process Models, Annals of Software Engineering, v.14 n.1-4, p.197-234, December 2002
S. Rooney, Connection closures adding application-defined behaviour to network connections, ACM SIGCOMM Computer Communication Review, v.27 n.2, p.74-88, Apr. 1997
Jianwen Zhu , Daniel D. Gajski, OpenJ: an extensible system level design language, Proceedings of the conference on Design, automation and test in Europe, p.99-es, January 1999, Munich, Germany
Marcello Dalpasso , Alessandro Bogliolo , Luca Benini, Specification and validation of disstributed IP-based designs with JavaCAD, Proceedings of the conference on Design, automation and test in Europe, p.132-es, January 1999, Munich, Germany
Laurent Bernardin, A Java framework for massively distributed symbolic computing, ACM SIGSAM Bulletin, v.33 n.3, p.20-21, Sept.1999
Roberto Barbuti , Stefano Cataudella , Luca Tesei, Abstract Interpretation Against Races, Fundamenta Informaticae, v.60 n.1-4, p.67-79, January 2004
D. A. W. Clarke, Commercial Experience with Agent-Oriented Software Engineering, Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology, p.730-736, December 18-22, 2006
Erik Riedel , Garth A. Gibson , Christos Faloutsos, Active Storage for Large-Scale Data Mining and Multimedia, Proceedings of the 24rd International Conference on Very Large Data Bases, p.62-73, August 24-27, 1998
Harry C. Li , Shriram Krishnamurthi , Kathi Fisler, Modular Verification of Open Features Using Three-Valued Model Checking, Automated Software Engineering, v.12 n.3, p.349-382, July 2005
Mark Stoodley , Vijay Sundaresan, Automatically Reducing Repetitive Synchronization with a Just-in-Time Compiler for Java, Proceedings of the international symposium on Code generation and optimization, p.27-36, March 20-23, 2005
Werner Vogels, HPC.NET - are CLI-based Virtual Machines Suitable for High Performance Computing?, Proceedings of the 2003 ACM/IEEE conference on Supercomputing, p.36, November 15-21, 2003
Radu Litiu , Atul Prakash, DACIA: a mobile component framework for building adaptive distributed applications, ACM SIGOPS Operating Systems Review, v.35 n.2, p.31-42, April 2001
Graham Knight , Reza Hazemi, Mobile Agent-Based Management in the INSERTProject, Journal of Network and Systems Management, v.7 n.3, p.271-293, September 01, 1999
Tony White , Bernard Pagurek , Andrzej Bieszczad, Network Modeling for Management Applications UsingIntelligent Mobile Agents, Journal of Network and Systems Management, v.7 n.3, p.295-321, September 01, 1999
Stephanie Weirich, Type-FUNCTIONAL PEARL safe cast, Journal of Functional Programming, v.14 n.6, p.681-695, November 2004
J. A. Bergstra , C. A. Middelburg, Distributed strategic interleaving with load balancing, Future Generation Computer Systems, v.24 n.6, p.530-548, June, 2008
Rajesh Raman , Miron Livny , Marv Solomon, Matchmaking: An extensible framework for distributed resource management, Cluster Computing, v.2 n.2, p.129-138, 1999
Carlos E. Palau , Juan C. Guerri , Manuel Esteve, Instructional uses of the WWW: An evaluation tool, World Wide Web, v.2 n.4, p.231-249, 1999
Jaakko Järvi , John Freeman, Lambda functions for C++0x, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
Ankush Varma , Shuvra S. Bhattacharyya, Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems, Proceedings of the conference on Design, automation and test in Europe, p.30161, February 16-20, 2004
Brian R. Murphy , Vijay Menon , Florian T. Schneider , Tatiana Shpeisman , Ali-Reza Adl-Tabatabai, Fault-safe code motion for type-safe languages, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, April 05-09, 2008, Boston, MA, USA
Greg Morrisett , Karl Crary , Neal Glew , David Walker, Stack-based typed assembly language, Journal of Functional Programming, v.12 n.1, p.43-88, January 2002
Elizabeth Scott, SPPF-Style Parsing From Earley Recognisers, Electronic Notes in Theoretical Computer Science (ENTCS), v.203 n.2, p.53-67, April, 2008
Elizabeth Scott, SPPF-Style Parsing From Earley Recognisers, Electronic Notes in Theoretical Computer Science (ENTCS), v.203 n.2, p.53-67, April, 2008
David A. Schmidt, Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering, Higher-Order and Symbolic Computation, v.13 n.1-2, p.89-101, April 2000
Luc Moreau, A Syntactic Theory of Dynamic Binding, Higher-Order and Symbolic Computation, v.11 n.3, p.233-279, 1998
Erick Gallesio , Manuel Serrano, Programming graphical user interfaces with Scheme, Journal of Functional Programming, v.13 n.5, p.839-866, September 2003
Paolo Bellavista , Antonio Corradi , Cesare Stefanelli, An Open Secure Mobile Agent Framework for SystemsManagement, Journal of Network and Systems Management, v.7 n.3, p.323-339, September 01, 1999
Martin Plümicke, Typeless programming in Java 5.0 with wildcards, Proceedings of the 5th international symposium on Principles and practice of programming in Java, September 05-07, 2007, Lisboa, Portugal
Andreas Sewe , Christoph Bockisch , Mira Mezini, Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model, Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms, p.1-7, October 21-23, 2008, Nashville, Tennessee
Hina Shah , Carsten Görg , Mary Jean Harrold, Visualization of exception handling constructs to support program understanding, Proceedings of the 4th ACM symposium on Software visuallization, September 16-17, 2008, Ammersee, Germany
Roy Friedman , Anne-Marie Kermarrec , Michel Raynal, Modularity: a first class concept to address distributed systems, ACM SIGACT News, v.39 n.2, June 2008
Matthew M. Papi , Mahmood Ali , Telmo Luis Correa, Jr. , Jeff H. Perkins , Michael D. Ernst, Practical pluggable types for java, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA
Seong-Won Lee , Soo-Mook Moon , Seong-Moo Kim, Enhanced hot spot detection heuristics for embedded java just-in-time compilers, ACM SIGPLAN Notices, v.43 n.7, July 2008
Peter Thiemann , Matthias Neubauer, Macros for context-free grammars, Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, July 15-17, 2008, Valencia, Spain
Andrew Edmunds , Michael Butler, Linking Event-B and Concurrent Object-Oriented Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 214, p.159-182, June, 2008
Xin Qi , Andrew C. Myers, Masked types for sound object initialization, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA
Cormac Flanagan , Stephen N. Freund , Marina Lifshin , Shaz Qadeer, Types for atomicity: Static checking and inference for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-53, July 2008
David Aspinall , Patrick Maier , Ian Stark, Monitoring External Resources in Java MIDP, Electronic Notes in Theoretical Computer Science (ENTCS), v.197 n.1, p.17-30, February, 2008
Janusz Jabłonowski, A case study in introductory programming, Proceedings of the 2007 international conference on Computer systems and technologies, June 14-15, 2007, Bulgaria
Atsushi Igarashi , Mirko Viroli, Variant path types for scalable extensibility, ACM SIGPLAN Notices, v.42 n.10, October 2007
Martin Hirzel , Robert Grimm, Jeannie: granting java native interface developers their wishes, ACM SIGPLAN Notices, v.42 n.10, October 2007
J. J. Hallett , Victor Luchangco , Sukyoung Ryu , Guy L. Steele, Jr., Integrating coercion with subtyping and multiple dispatch, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
James Mc Enery , David Hickey , Menouer Boubekeur, Empirical evaluation of two main-stream RTSJ implementations, Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, September 26-28, 2007, Vienna, Austria
Cormac Flanagan , Stephen N. Freund, Atomizer: A dynamic atomicity checker for multithreaded programs, Science of Computer Programming, v.71 n.2, p.89-109, April, 2008
Dong-Heon Jung , JongKuk Park , Sung-Hwan Bae , Jaemok Lee , Soo-Mook Moon, Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems, Computer Languages, Systems and Structures, v.34 n.4, p.170-183, December, 2008
Yoav Zibin , Alex Potanin , Mahmood Ali , Shay Artzi , Adam Kie|un , Michael D. Ernst, Object and reference immutability using Java generics, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia
Hannes Kegel , Friedrich Steimann, Systematically refactoring inheritance to delegation in java, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
Piotr Luszczek , Jack Dongarra, High Performance Development for High End Computing With Python Language Wrapper (PLW), International Journal of High Performance Computing Applications, v.21 n.3, p.360-369, August 2007
Allan Raundahl Gregersen , Bo Nørregaard Jørgensen, Towards dynamic plug-in replacement in Eclipse plug-in development, Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, p.41-45, October 21-21, 2007, Montreal, Quebec, Canada
Luc Fabresse , Christophe Dony , Marianne Huchard, Foundations of a simple and unified component-oriented language, Computer Languages, Systems and Structures, v.34 n.2-3, p.130-149, July, 2008
Markus Müller-Olm , Helmut Seidl, Analysis of modular arithmetic, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.5, p.29-es, August 2007
Westley Weimer , George C. Necula, Exceptional situations and program reliability, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.2, p.1-51, March 2008
Vijay Sundaresan , Mark Stoodley , Pramod Ramarao, Removing redundancy via exception check motion, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, April 05-09, 2008, Boston, MA, USA
Domenico Cotroneo , Roberto Pietrantuono , Leonardo Mariani , Fabrizio Pastore, Investigation of failure causes in workload-driven reliability testing, Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting, September 03-04, 2007, Dubrovnik, Croatia
Julian J. Ray, A web-based spatial decision support system optimizes routes for oversize/overweight vehicles in Delaware, Decision Support Systems, v.43 n.4, p.1171-1185, August, 2007
Steve Ward , Mat Hostetter, Curl: a language for web content, International Journal of Web Engineering and Technology, v.1 n.1, p.41-62, August 2003
Maria do Carmo Nicoletti , Joao R. Bertini Jr., An empirical evaluation of constructive neural network algorithms in classification tasks, International Journal of Innovative Computing and Applications, v.1 n.1, p.2-13, April 2007
Paolo Bottoni , Francesco Parisi-Presicce , Simone Pulcini , Gabriele Taentzer, Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse, Electronic Notes in Theoretical Computer Science (ENTCS), 211, p.87-98, April, 2008
Jean-Raymond Abrial , Stefan Hallerstede, Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B, Fundamenta Informaticae, v.77 n.1-2, p.1-28, January 2007
Lennart C.L. Kats , Martin Bravenboer , Eelco Visser, Mixing source and bytecode: a case for compilation by normalization, ACM SIGPLAN Notices, v.43 n.10, September 2008
Russell K. Standish, Going Stupid with EcoLab, Simulation, v.84 n.12, p.611-618, December 2008
Ademar Aguiar , Gabriel David, Patterns for documenting frameworks: customization, Proceedings of the 2006 conference on Pattern languages of programs, October 21-23, 2006, Portland, Oregon
Martin Plümicke, Intersection types in Java, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy
Eric Platon , Nicolas Sabouret , Shinichi Honiden, An architecture for exception management in multiagent systems, International Journal of Agent-Oriented Software Engineering, v.2 n.3, p.267-289, July 2008
Amnon H. Eden , Raymond Turner, Problems in the ontology of computer programs, Applied Ontology, v.2 n.1, p.13-36, January 2007
Ondřej Lhoták , Laurie Hendren, Relations as an abstraction for BDD-based program analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-63, July 2008
Suad Alagić , Mark Royer, Genericity in Java: persistent and database systems implications, The VLDB Journal — The International Journal on Very Large Data Bases, v.17 n.4, p.847-878, July 2008
Peter J. Clarke , Djuradj Babich , Tariq M. King , B. M. Golam Kibria, Analyzing clusters of class characteristics in OO applications, Journal of Systems and Software, v.81 n.12, p.2269-2286, December, 2008
Gregor Wagner , Andreas Gal , Michael Franz, Slim VM: optimistic partial program loading for connected embedded Java virtual machines, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy
Atanas Radenski , Jeff Furlong , Vladimir Zanev, The Java 5 generics compromise orthogonality to keep compatibility, Journal of Systems and Software, v.81 n.11, p.2069-2078, November, 2008
Zhenbang Chen , Zhiming Liu , Anders P. Ravn , Volker Stolz , Naijun Zhan, Refinement and verification in component-based model-driven design, Science of Computer Programming, v.74 n.4, p.168-196, February, 2009
Max Schäfer , Torbjörn Ekman , Oege de Moor, Sound and extensible renaming for java, ACM SIGPLAN Notices, v.43 n.10, September 2008
Maurizio Cimadamore , Mirko Viroli, On the reification of Java wildcards, Science of Computer Programming, v.73 n.2-3, p.59-75, October, 2008
H. Paul Haiduk, Revitalizing the computer organization course with the Java virtual machine, Journal of Computing Sciences in Colleges, v.24 n.2, December 2008
Dirk Riehle, Value object, Proceedings of the 2006 conference on Pattern languages of programs, October 21-23, 2006, Portland, Oregon
Riccardo Pucella , Jesse A. Tov, Haskell session types with (almost) no class, Proceedings of the first ACM SIGPLAN symposium on Haskell, September 25-25, 2008, Victoria, BC, Canada
Tom Van Cutsem , Stijn Mostinckx , Wolfgang De Meuter, Linguistic symbiosis between event loop actors and threads, Computer Languages, Systems and Structures, v.35 n.1, p.80-98, April, 2009
Romain Rouvoy , Philippe Merle, Abstraction of transaction demarcation in component-oriented platforms, Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware, June 16-20, 2003, Rio de Janeiro, Brazil
Francesco Logozzo, Class invariants as abstract interpretation of trace semantics, Computer Languages, Systems and Structures, v.35 n.2, p.100-142, July, 2009
Max Schäfer , Torbjörn Ekman , Oege de Moor, Challenge proposal: verification of refactorings, Proceedings of the 3rd workshop on Programming languages meets program verification, January 20-20, 2009, Savannah, GA, USA
Todd Millstein , Christopher Frost , Jason Ryder , Alessandro Warth, Expressive and modular predicate dispatch for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.2, p.1-54, February 2009
Nabil El Boustani , Jurriaan Hage, Improving type error messages for generic java, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, January 19-20, 2009, Savannah, GA, USA
Daniel Frampton , Stephen M. Blackburn , Perry Cheng , Robin J. Garner , David Grove , J. Eliot B. Moss , Sergey I. Salishev, Demystifying magic: high-level low-level programming, Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, March 11-13, 2009, Washington, DC, USA
Daniel Marino , Todd Millstein, A generic type-and-effect system, Proceedings of the 4th international workshop on Types in language design and implementation, January 24-24, 2009, Savannah, GA, USA
Adrienne Bloss , J. A. N. Lee, Parameter passing, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
Harold W. Thimbleby, Java, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
Noritaka Osawa, Jigsaw-Puzzle-Like 3D Glyphs for Visualization of Grammatical Constraints, IEICE - Transactions on Information and Systems, v.E91-D n.6, p.1804-1812, June 2008
Adrienne Bloss, Language processors, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
David B. Wortman, Class, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
James C. Spohrer , Ken Dickey, Exception handling, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
Kwok Cheung Yeung , Paul H. J. Kelly, Optimising Java RMI programs by communication restructuring, Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware, June 16-20, 2003, Rio de Janeiro, Brazil
Kevin Hoffman , Patrick Eugster, Cooperative aspect-oriented programming, Science of Computer Programming, v.74 n.5-6, p.333-354, March, 2009
Kevin Hoffman , Patrick Eugster, Cooperative aspect-oriented programming, Science of Computer Programming, v.74 n.5-6, p.333-354, March, 2009
Peter Burton, Kinds of language, kinds of learning, ACM SIGPLAN Notices, v.33 n.4, p.53-61, April 1998
Andres Flores , Macario Polo, Testing-based Process for Evaluating Component Replaceability, Electronic Notes in Theoretical Computer Science (ENTCS), 236, p.101-115, April, 2009
Sunae Seo , Youil Kim , Hyun-Goo Kang , Taisook Han, A Static Bug Detector for Uninitialized Field References in Java Programs, IEICE - Transactions on Information and Systems, v.E90-D n.10, p.1663-1671, October 2007
Alexander Yip , Neha Narula , Maxwell Krohn , Robert Morris, Privacy-preserving browser-side scripting with BFlow, Proceedings of the fourth ACM european conference on Computer systems, April 01-03, 2009, Nuremberg, Germany
José de Oliveira Guimarães, The Green language type system, Computer Languages, Systems and Structures, v.35 n.4, p.435-447, December, 2009
Christian Grothoff, The Runabout, Software—Practice & Experience, v.38 n.14, p.1531-1560, November 2008
Karl Ridgeway , David Bernstein , John Magnotti, Using Java's generics mechanism to improve type safety in the command pattern, Proceedings of the 46th Annual Southeast Regional Conference on XX, March 28-29, 2008, Auburn, Alabama
Hridesh Rajan , Kevin J. Sullivan, Unifying aspect- and object-oriented design, ACM Transactions on Software Engineering and Methodology (TOSEM), v.19 n.1, p.1-41, August 2009
Sunghyun Hong , Jin-Chul Kim , Soo-Mook Moon , Jin Woo Shin , Jaemok Lee , Hyeong-Seok Oh , Hyung-Kyu Choi, Client ahead-of-time compiler for embedded Java platforms, Software—Practice & Experience, v.39 n.3, p.259-278, March 2009
Jan Henry Nyström, Automatic assessment of failure recovery in Erlang applications, Proceedings of the 8th ACM SIGPLAN workshop on Erlang, September 05-05, 2009, Edinburgh, Scotland
R. M. Muthukumar , D. Janakiram, Yama: A Scalable Generational Garbage Collector for Java in Multiprocessor Systems, IEEE Transactions on Parallel and Distributed Systems, v.17 n.2, p.148-159, February 2006
Collaborative Colleagues:
James Gosling: colleagues
Bill Joy: colleagues
Guy L. Steele: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player