[{"text":"\n\n\nDaryl Parker , David Cleary, A p2p approach to classloading in java, Proceedings of the Second international conference on Agents and Peer-to-Peer Computing, July 14, 2003, Melbourne, Australia\n\n\n","citation":"2155736"},{"text":"\n\n\nWalter Binder, Portable and accurate sampling profiling for Java, Software—Practice & Experience, v.36 n.6, p.615-650, May 2006\n\n\n","citation":"1133016"},{"text":"\n\n\nBenjamin M. Brosgol , Brian Dobbing, Can Java Meet Its Real-Time Deadlines?, Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies, p.68-87, May 14-18, 2001\n\n\n","citation":"697767"},{"text":"\n\n\nBen Stephenson , Wade Holst, Advancements in multicode optimization, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 24-28, 2004, Vancouver, BC, CANADA\n\n\n","citation":"1028742"},{"text":"\n\n\nLujo Bauer , Andrew W. Appel , Edward W. Felten, Mechanisms for secure modular programming in Java, Software—Practice & Experience, v.33 n.5, p.461-480, 25 April 2003\n\n\n","citation":"781673"},{"text":"\n\n\nWalter Binder , Jarle Hulaas, A Portable CPU-Management Framework for Java, IEEE Internet Computing, v.8 n.5, p.74-83, September 2004\n\n\n","citation":"1025002"},{"text":"\n\n\nJ. A. Bergstra , C. A. Middelburg, A thread calculus with molecular dynamics, Information and Computation, v.208 n.7, p.817-844, July, 2010\n\n\n","citation":"1805442"},{"text":"\n\n\nTravis Newhouse , Joseph Pasquale, Java active extensions: Scalable middleware for performance-isolated remote execution, Computer Communications, v.28 n.14, p.1680-1691, September, 2005\n\n\n","citation":"1646698"},{"text":"\n\n\nWei Ke , Zhiming Liu , Shuling Wang , Liang Zhao, A graph-based generic type system for object-oriented programs, Frontiers of Computer Science: Selected Publications from Chinese Universities, v.7 n.1, p.109-134, February 2013\n\n\n","citation":"2506397"},{"text":"\n\n\nUrs Gleim, JaRTS: A Portable Implementation of Real-Time Core Extensions for Java, Proceedings of the 2nd Java™ Virtual Machine Research and Technology Symposium, p.139-149, August 01-02, 2002\n\n\n","citation":"745017"},{"text":"\n\n\nM. Watheq El-Kharashi , Fayez Elguibaly , Kin F. Li, Adapting Tomasulo's algorithm for bytecode folding based Java processors, ACM SIGARCH Computer Architecture News, v.29 n.5, December 2001\n\n\n","citation":"563649"},{"text":"\n\n\nWeijian Fang , Cho-Li Wang , Francis C. M. Lau, On the design of global object space for efficient multi-threading Java computing on clusters, Parallel Computing, v.29 n.11-12, p.1563-1587, November/December 2003\n\n\n","citation":"967662"},{"text":"\n\n\nMatthias Zenger, KERIS: evolving software with extensible modules: Research Articles, Journal of Software Maintenance and Evolution: Research and Practice, v.17 n.5, p.333-362, September 2005\n\n\n","citation":"1090747"},{"text":"\n\n\nZhilei Chai , Wenke Zhao , Wenbo Xu, Real-time Java processor optimized for RTSJ, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea\n\n\n","citation":"1244332"},{"text":"\n\n\nAlfred Strohmeier , Stanislav Chachkov, A side-by-side comparison of exception handling in Ada and Java, ACM SIGAda Ada Letters, v.XXI n.3, September 2001\n\n\n","citation":"568683"},{"text":"\n\n\nGary K. W. Hau , Anthony Fong , Mok Pak Lun, Support of Java API for the jHISC system, Proceedings of the 1st international symposium on Information and communication technologies, September 24-26, 2003, Dublin, Ireland\n\n\n","citation":"963724"},{"text":"\n\n\nV. Mikheev , N. Lipsky , D. Gurchenkov , P. Pavlov , V. Sukharev , A. Markov , S. Kuksenko , S. Fedoseev , D. Leskov , A. Yeryomin, Overview of excelsior JET, a high performance alternative to java virtual machines, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy\n\n\n","citation":"584387"},{"text":"\n\n\nVitaly V. Mikheev , Stanislav A. Fedoseev , Vladimir V. Sukharev , Nikita V. Lipsky, Effective Enhancement of Loop Versioning in Java, Proceedings of the 11th International Conference on Compiler Construction, p.293-306, April 08-12, 2002\n\n\n","citation":"727926"},{"text":"\n\n\nMick Jordan , Grzegorz Czajkowski , Kirill Kouklinski , Glenn Skinner, Extending a J2EE™ server with dynamic and flexible resource management, Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware, October 18-22, 2004, Toronto, Canada\n\n\n","citation":"1045689"},{"text":"\n\n\nSatyam Tyagi , Paul Tarau, A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces, Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages, p.322-336, March 11-12, 2001\n\n\n","citation":"667934"},{"text":"\n\n\nGary K. W. Hau , Anthony Fong , Mok Pak Lun, Support of Java API for the jHISC system, ACM SIGARCH Computer Architecture News, v.31 n.4, p.12-17, Sept 2003\n\n\n","citation":"959124"},{"text":"\n\n\nNguyen Truong Thang , Takuya Katayama, Collaboration-based evolvable software implementations: Java and Hyper/J vs. C++-templates composition, Proceedings of the International Workshop on Principles of Software Evolution, May 19-20, 2002, Orlando, Florida\n\n\n","citation":"512043"},{"text":"\n\n\nTorbjörn Ekman , Ulf Asklund, Refactoring-aware versioning in Eclipse, Electronic Notes in Theoretical Computer Science (ENTCS), v.107 n.C, p.57-69, December 2004\n\n\n","citation":"2773585"},{"text":"\n\n\nDavid R. Hanson , Todd A. Proebsting, Dynamic variables, ACM SIGPLAN Notices, v.36 n.5, p.264-273, May 2001\n\n\n","citation":"378857"},{"text":"\n\n\nAlain Wegmann , Andrey Naumenko, Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology, Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing, p.200, September 04-07, 2001\n\n\n","citation":"650157"},{"text":"\n\n\nSteffen Deter , Karsten Sohr, Pini - A Jini-Like Plug&Play Technology for the KVM/CLDC, Proceedings of the International Workshop on Innovative Internet Computing Systems, p.53-66, June 21-22, 2001\n\n\n","citation":"658661"},{"text":"\n\n\nYan Chen , Xinyuan Fan , Jian Jiao , Dongmin Wang, Smart active object: a new object-oriented programming paradigm for developing multithreaded applications, Proceedings of the 2002 international conference on Metainformatics, p.90-99, August 07-10, 2002, Esbjerg, Denmark\n\n\n","citation":"1766061"},{"text":"\n\n\nMichael Warres, Class loading issues in Java™ RMI and Jini™ network technology, Sun Microsystems, Inc., Mountain View, CA, 2006\n\n\n","citation":"1698139"},{"text":"\n\n\nTorbjörn Ekman , Görel Hedin, Modular name analysis for java using jastadd, Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering, July 04-08, 2005, Braga, Portugal\n\n\n","citation":"2165550"},{"text":"\n\n\nBenjamin M. Brosgol , Ricardo J. Hassan, II , Scott Robbins, Asynchronous transfer of control in the real-time specification for java™, ACM SIGAda Ada Letters, v.XXII n.4, December 2002\n\n\n","citation":"584431"},{"text":"\n\n\nA. V. Zamulin, Formal Semantics of Java Expressions and Statements, Programming and Computing Software, v.29 n.5, p.259-270, September-October 2003\n\n\n","citation":"941885"},{"text":"\n\n\nLingli Zhang , Chandra Krintz, Profile-driven code unloading for resource-constrained JVMs, Proceedings of the 3rd international symposium on Principles and practice of programming in Java, June 16-18, 2004, Las Vegas, Nevada\n\n\n","citation":"1071581"},{"text":"\n\n\nHyun-il Lim , Heewan Park , Seokwoo Choi , Taisook Han, Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns, IEICE - Transactions on Information and Systems, v.E91-D n.9, p.2323-2332, September 2008\n\n\n","citation":"1522933"},{"text":"\n\n\nJung Gyu Park , Myong-Soon Park, Automatic Specialization of Java Programs in the Distributed Environment, Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part II, p.757-767, January 30-February 01, 2002\n\n\n","citation":"688314"},{"text":"\n\n\nJanusz Jablonowski, Some remarks on teaching of programming, Proceedings of the 5th international conference on Computer systems and technologies, June 17-18, 2004, Rousse, Bulgaria\n\n\n","citation":"1050419"},{"text":"\n\n\nBart Massey , Keith Packard, Nickle: Language Principles and Pragmatics, Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference, p.55-68, June 25-30, 2001\n\n\n","citation":"715627"},{"text":"\n\n\nRichard Arthur , Dan R. Olsen, Jr., Window brokers: Collaborative display space control, ACM Transactions on Computer-Human Interaction (TOCHI), v.19 n.3, p.1-21, October 2012\n\n\n","citation":"2362365"},{"text":"\n\n\nMaurizio Cimadamore , Mirko Viroli, Reifying wildcards in Java using the EGO approach, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea\n\n\n","citation":"1244286"},{"text":"\n\n\nBenjamin M. Brosgol, A comparison of the mutual exclusion features in ada and the real-time specification for JavaTM, Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies, June 20-24, 2005, York, UK\n\n\n","citation":"2103245"},{"text":"\n\n\nShaun Bangay, Experiences in porting a virtual reality system to Java, Proceedings of the 1st international conference on Computer graphics, virtual reality and visualisation, November 05-07, 2001, Camps Bay, Cape Town, South Africa\n\n\n","citation":"513875"},{"text":"\n\n\nNeil M. Goldman, Ontology-oriented programming: static typing for the inconsistent programmer, Proceedings of the Second International Conference on Semantic Web Conference, October 20-23, 2003, Sanibel Island, FL\n\n\n","citation":"3000479"},{"text":"\n\n\nPetr Hnětynka , František Plášil, Distributed versioning model for MOF, Proceedings of the winter international synposium on Information and communication technologies, January 05-08, 2004, Cancun, Mexico\n\n\n","citation":"984811"},{"text":"\n\n\nW. Douglas Maurer, Why matrix manipulation should be done in C++, Journal of Computing Sciences in Colleges, v.19 n.4, p.115-127, April 2004\n\n\n","citation":"1050246"},{"text":"\n\n\nChristopher Unkel , Monica S. Lam, Automatic inference of stationary fields: a generalization of java's final fields, ACM SIGPLAN Notices, v.43 n.1, January 2008\n\n\n","citation":"1328463"},{"text":"\n\n\nShujuan Jiang , Baowen Xu, An efficient and reliable object-oriented exception handling mechanism, ACM SIGPLAN Notices, v.40 n.2, February 2005\n\n\n","citation":"1052664"},{"text":"\n\n\nKaushik Datta , Dan Bonachea , Katherine Yelick, Titanium performance and potential: an NPB experimental study, Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing, p.200-214, October 20-22, 2005, Hawthorne, NY\n\n\n","citation":"2081910"},{"text":"\n\n\nJien-Tsai Chan , Wuu Yang , Jing-Wei Huang, Traps in Java, Journal of Systems and Software, v.72 n.1, p.33-47, June 2004\n\n\n","citation":"1005489"},{"text":"\n\n\nWon-Ho Choi , Ha-Yong Jeon , Rhys Rosholt , Gwang Jung , Min-Soo Jung, A novel buffer cache scheme using java card object with high locality for efficient java card applications, Proceedings of the 1st international conference on Advances in hybrid information technology, November 09-11, 2006, Jeju Island, Korea\n\n\n","citation":"1782708"},{"text":"\n\n\nMichael Löwe , Harald König , Christoph Schulz, Algebraic properties of interfaces, Formal Methods in Software and Systems Modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday, Springer-Verlag, Berlin, Heidelberg, 2005\n\n\n","citation":"2137675"},{"text":"\n\n\nMin-Sik Jin , Won-Ho Choi , Yoon-Sim Yang , Min-Soo Jung, A study on fast JCVM with new transaction mechanism and caching-buffer based on java card objects with a high locality, Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing, December 06-09, 2005, Nagasaki, Japan\n\n\n","citation":"2113593"},{"text":"\n\n\nMin-Sik Jin , Min-Soo Jung, A high performance buffering of java objects for java card systems with flash memory, Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing, August 01-04, 2006, Seoul, Korea\n\n\n","citation":"2124036"},{"text":"\n\n\nMik Kersten , Gail C. Murphy, Mylar: a degree-of-interest model for IDEs, Proceedings of the 4th international conference on Aspect-oriented software development, p.159-168, March 14-18, 2005, Chicago, Illinois\n\n\n","citation":"1052912"},{"text":"\n\n\nVictor Luchangco, Modeling weakly consistent memories with locks, Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures, p.332-333, July 2001, Crete Island, Greece\n\n\n","citation":"378759"},{"text":"\n\n\nMin-Sik Jin , Won-Ho Choi , Yoon-Sim Yang , Min-Soo Jung, The research on how to reduce the number of EEPROM writing to improve speed of java card, Proceedings of the Second international conference on Embedded Software and Systems, December 16-18, 2005, Xi'an, China\n\n\n","citation":"2113451"},{"text":"\n\n\nDemóstenes Sena , Roberta Coelho , Uirá Kulesza, Integrated analysis of exception flows and handler actions in Java libraries: an empirical study, Proceedings of the 31st Annual ACM Symposium on Applied Computing, April 04-08, 2016, Pisa, Italy\n\n\n","citation":"2851793"},{"text":"\n\n\nPaola Giannini , Marco Servetto , Elena Zucca, Initialize-and-catch, Proceedings of the 31st Annual ACM Symposium on Applied Computing, April 04-08, 2016, Pisa, Italy\n\n\n","citation":"2851943"},{"text":"\n\n\nRobert F. Stärk , Joachim Schmid, Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler, Journal of Automated Reasoning, v.30 n.3-4, p.323-361, 2003\n\n\n","citation":"872718"},{"text":"\n\n\nKonstantin Nasartschuk , Kenneth B. Kent , Stephen A. MacKay , Aleksandar Micic , Charlie Gracie, Improving garbage collection-time string deduplication, Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, November 06-08, 2017, Markham, Ontario, Canada\n\n\n","citation":"3172809"},{"text":"\n\n\nKarl Lieberherr , David H. Lorenz , Pengcheng Wu, A case for statically executable advice: checking the law of demeter with AspectJ, Proceedings of the 2nd international conference on Aspect-oriented software development, p.40-49, March 17-21, 2003, Boston, Massachusetts\n\n\n","citation":"643608"},{"text":"\n\n\nC. van Reeuwijk , H. J. Sips, Adding tuples to Java: a study in lightweight data structures, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.185-191, November 03-05, 2002, Seattle, Washington, USA\n\n\n","citation":"583831"},{"text":"\n\n\nVlad Tanasescu , Paweł T. Wojciechowski, Role-Based declarative synchronization for reconfigurable systems, Proceedings of the 7th international conference on Practical Aspects of Declarative Languages, January 10-11, 2005, Long Beach, CA\n\n\n","citation":"2158269"},{"text":"\n\n\nChris Kojouharov , Aleksey Solodovnik , Gleb Naumovich, JTutor: an Eclipse plug-in suite for creation and replay of code-based tutorials, Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange, p.27-31, October 24-24, 2004, Vancouver, British Columbia, Canada\n\n\n","citation":"1066135"},{"text":"\n\n\nK. Ozaki , T. Ogita , S. Miyajima , S. Oishi , S. M. Rump, A method of obtaining verified solutions for linear systems suited for Java, Journal of Computational and Applied Mathematics, v.199 n.2, p.337-344, 15 February 2007\n\n\n","citation":"1232156"},{"text":"\n\n\nToshihiro Kamiya, SOMA: a paradigm to evolve software based on separation of concerns, Proceedings of the International Workshop on Principles of Software Evolution, May 19-20, 2002, Orlando, Florida\n\n\n","citation":"512065"},{"text":"\n\n\nJoachim van den Berg , Bart Jacobs, The LOOP Compiler for Java and JML, Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p.299-312, April 02-06, 2001\n\n\n","citation":"694447"},{"text":"\n\n\nZehra Sura , Chi-Leung Wong , Xing Fang , Jaejin Lee , Samuel P. Midkiff , David Padua, Automatic implementation of programming language consistency models, Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing, p.172-187, July 25-27, 2002, College Park, MD\n\n\n","citation":"2144397"},{"text":"\n\n\nJavier Miranda , Edmond Schonberg , Gary Dismukes, The implementation of ada 2005 interface types in the GNAT compiler, Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies, June 20-24, 2005, York, UK\n\n\n","citation":"2103254"},{"text":"\n\n\nWillem van Heiningen , Tim Brecht , Steve MacDonald, Exploiting dynamic proxies in middleware for distributed, parallel, and mobile java applications, Proceedings of the 20th international conference on Parallel and distributed processing, p.231-231, April 25-29, 2006, Rhodes Island, Greece\n\n\n","citation":"1898731"},{"text":"\n\n\nG. Ardourel , M. Huchard, AGATE, Access Graph-Based Tools for Handling Encapsulation, Proceedings of the 16th IEEE international conference on Automated software engineering, p.311, November 26-29, 2001\n\n\n","citation":"872514"},{"text":"\n\n\nGünter Kniesel , Michael Austermann, CC4J - Code Coverage for Java, Proceedings of the IFIP/ACM Working Conference on Component Deployment, p.155-169, June 20-21, 2002\n\n\n","citation":"727951"},{"text":"\n\n\nVijay Saraswat, Concurrent constraint-based memory machines: a framework for java memory models (summary), Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, December 08-10, 2004, Chiang Mai, Thailand\n\n\n","citation":"2105813"},{"text":"\n\n\nLeonardo Cole , Paulo Borba, Deriving refactorings for aspectJ, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 24-28, 2004, Vancouver, BC, CANADA\n\n\n","citation":"1028750"},{"text":"\n\n\nPatrice Chalin, Logical Foundations of Program Assertions: What do Practitioners Want?, Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, p.383-393, September 07-09, 2005\n\n\n","citation":"1110594"},{"text":"\n\n\nPaola Giannini , Marco Servetto , Elena Zucca, Coupling catch clauses with local declarations, Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, p.1-6, July 17-22, 2016, Rome, Italy\n\n\n ","citation":"2955817"},{"text":"\n\n\nD. Ancona , G. Lagorio , E. Zucca, True separate compilation of Java classes, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.189-200, October 06-08, 2002, Pittsburgh, PA, USA\n\n\n","citation":"571177"},{"text":"\n\n\nBart Jacobs, A Formalisation of Java's Exception Mechanism, Proceedings of the 10th European Symposium on Programming Languages and Systems, p.284-301, April 02-06, 2001\n\n\n","citation":"651930"},{"text":"\n\n\nWalter Cazzola, SmartMethod: an efficient replacement for method, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus\n\n\n","citation":"968164"},{"text":"\n\n\nEli Tilevich , Yannis Smaragdakis, J-Orchestra: Automatic Java Application Partitioning, Proceedings of the 16th European Conference on Object-Oriented Programming, p.178-204, June 10-14, 2002\n\n\n","citation":"680022"},{"text":"\n\n\nG. Lagorio, Another step towards a smart compilation manager for Java, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus\n\n\n","citation":"968160"},{"text":"\n\n\nBarbara Barth , Gregory Butler , Krzysztof Czarnecki , Ulrich W. Eisenecker, Generative Programming, Proceedings of the Workshops on Object-Oriented Technology, p.135-149, June 18-22, 2001\n\n\n","citation":"705926"},{"text":"\n\n\nNéstor Cataño, Formal modeling of a slicing algorithm for java event spaces in PVS, Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics, August 22-25, 2005, Oxford, UK\n\n\n","citation":"2145064"},{"text":"\n\n\nRan Ettinger , Mathieu Verbaere, Untangling: a slice extraction refactoring, Proceedings of the 3rd international conference on Aspect-oriented software development, p.93-101, March 22-24, 2004, Lancaster, UK\n\n\n","citation":"976283"},{"text":"\n\n\nMarkus Mohnen, Interfaces with default implementations in Java, Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, June 13-14, 2002, Dublin, Ireland\n\n\n","citation":"638484"},{"text":"\n\n\nLingli Zhang , Chandra Krintz, The design, implementation, and evaluation of adaptive code unloading for resource-constrained devices, ACM Transactions on Architecture and Code Optimization (TACO), v.2 n.2, p.131-164, June 2005\n\n\n","citation":"1071606"},{"text":"\n\n\nGregory T. Sullivan, Dynamic Partial Evaluation, Proceedings of the Second Symposium on Programs as Data Objects, p.238-256, May 21-23, 2001\n\n\n","citation":"668117"},{"text":"\n\n\nDavid Hovemeyer , William Pugh , Jaime Spacco, Atomic Instructions in Java, Proceedings of the 16th European Conference on Object-Oriented Programming, p.133-154, June 10-14, 2002\n\n\n","citation":"680040"},{"text":"\n\n\nVadim Zaytsev, Language convergence infrastructure, Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III, July 06-11, 2009, Braga, Portugal\n\n\n","citation":"1949944"},{"text":"\n\n\nCees Pierik , Dave Clarke , Frank S. de Boer, Controlling object allocation using creation guards, Proceedings of the 2005 international conference on Formal Methods, July 18-22, 2005, Newcastle, UK\n\n\n","citation":"2130017"},{"text":"\n\n\nNéstor Cataño , Marieke Huisman, CHASE: A Static Checker for JML's Assignable Clause, Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, p.26-40, January 09-11, 2002\n\n\n","citation":"696202"},{"text":"\n\n\nXiaoxia Ren , Ophelia C. Chesley , Barbara G. Ryder, Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis, IEEE Transactions on Software Engineering, v.32 n.9, p.718-732, September 2006\n\n\n","citation":"1248766"},{"text":"\n\n\nBrian Chin , Todd Millstein, Responders: language support for interactive applications, Proceedings of the 20th European conference on Object-Oriented Programming, July 03-07, 2006, Nantes, France\n\n\n","citation":"2171350"},{"text":"\n\n\n Wolfgang Ahrendt , Andreas Roth , Ralf Sasse, Automatic validation of transformation rules for java verification against a rewriting semantics, Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning, p.412-426, December 02-06, 2005, Montego Bay, Jamaica\n\n\n","citation":"2102303"},{"text":"\n\n\nWillem van Heiningen , Tim Brecht , Steve MacDonald, Babylon v2.0: middleware for distributed, parallel, and mobile java applications, Proceedings of the 20th international conference on Parallel and distributed processing, p.226-226, April 25-29, 2006, Rhodes Island, Greece\n\n\n","citation":"1898726"},{"text":"\n\n\nD. Ancona , G. Lagorio , E. Zucca, A core calculus for Java exceptions, ACM SIGPLAN Notices, v.36 n.11, p.16-30, 11/01/2001\n\n\n","citation":"504284"},{"text":"\n\n\nErnie Giangrande, Jr., CS1 programming language options, Journal of Computing Sciences in Colleges, v.22 n.3, p.153-160, January 2007\n\n\n","citation":"1181881"},{"text":"\n\n\nPramod 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\n\n\n","citation":"377902"},{"text":"\n\n\nDachuan Yu , Andrew Kennedy , Don Syme, Formalization of generics for the .NET common language runtime, ACM SIGPLAN Notices, v.39 n.1, p.39-51, January 2004\n\n\n","citation":"964005"},{"text":"\n\n\nErika Ábrahám , Andreas Grüner , Martin Steffen, Abstract interface behavior of object-oriented languages with monitors, Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, June 14-16, 2006, Bologna, Italy\n\n\n","citation":"2172127"},{"text":"\n\n\nRobert E. Filman, Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies, Proceedings of the 16th European Conference on Object-Oriented Programming, p.545-561, June 10-14, 2002\n\n\n","citation":"680019"},{"text":"\n\n\nJung Gyu Park , Myong-Soon Park, Using indexed data structures for program specialization, Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, p.61-69, September 12-14, 2002, Aizu, Japan\n\n\n","citation":"568180"},{"text":"\n\n\nMohammad Reza Azadmanesh , Mohsen Sharifi, Towards a system-wide and transparent security mechanism using language-level information flow control, Proceedings of the 3rd international conference on Security of information and networks, September 07-11, 2010, Taganrog, Rostov-on-Don, Russian Federation\n\n\n","citation":"1854107"},{"text":"\n\n\nEric Potratz, A practical comparison between Java and Ada in implementing a real-time embedded system, ACM SIGAda Ada Letters, v.XXIV n.1, p.71-83, March 2004\n\n\n","citation":"958431"},{"text":"\n\n\nTomoyuki Aotani , Hidehiko Masuhara, Towards a type system for detecting never-matching pointcut compositions, Proceedings of the 6th workshop on Foundations of aspect-oriented languages, p.23-26, March 13-13, 2007, Vancouver, British Columbia, Canada\n\n\n","citation":"1233837"},{"text":"\n\n\nSusan Eisenbach , Chris Sadler, Changing Java Programs, Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01), p.479, November 07-09, 2001\n\n\n","citation":"848703"},{"text":"\n\n\nSaso Greiner , Damijan Rebernak , Janez Brest , Viljem Zumer, Z0 - a tiny experimental language, ACM SIGPLAN Notices, v.40 n.8, August 2005\n\n\n","citation":"1089856"},{"text":"\n\n\nT. Richardson , A. J. Wellings , J. A. Dianes , M. Díaz, Providing temporal isolation in the OSGi framework, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, September 23-25, 2009, Madrid, Spain\n\n\n","citation":"1620407"},{"text":"\n\n\nMichael Batchelder , Laurie Hendren, Obfuscating Java: the most pain for the least gain, Proceedings of the 16th international conference on Compiler construction, March 26-30, 2007, Braga, Portugal\n\n\n","citation":"1759946"},{"text":"\n\n\n Daniel von Dincklage , Amer Diwan, Converting Java classes to use generics, ACM SIGPLAN Notices, v.39 n.10, October 2004\n\n\n","citation":"1028978"},{"text":"\n\n\nByeong-Mo Chang, Static check analysis for Java stack inspection, ACM SIGPLAN Notices, v.41 n.3, March 2006\n\n\n","citation":"1140550"},{"text":"\n\n\nPascal Costanza, Dynamic Replacement of Active Objects in the Gilgul Programming Language, Proceedings of the IFIP/ACM Working Conference on Component Deployment, p.125-140, June 20-21, 2002\n\n\n","citation":"727945"},{"text":"\n\n\nRobert Hirschfeld , Katsuya Kawamura, Dynamic Service Adaptation, Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04), p.290-297, March 23-24, 2004\n\n\n","citation":"977870"},{"text":"\n\n\nPascal Costanza, Dynamically scoped functions as the essence of AOP, ACM SIGPLAN Notices, v.38 n.8, August 2003\n\n\n","citation":"944587"},{"text":"\n\n\nSumant Kowshik , Dinakar Dhurjati , Vikram Adve, Ensuring code safety without runtime checks for real-time control systems, Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, October 08-11, 2002, Grenoble, France\n\n\n","citation":"581678"},{"text":"\n\n\nWilliam C. Benton , Charles N. Fischer, Mostly-Functional Behavior in Java Programs, Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, December 18-20, 2008, Savannah, GA\n\n\n","citation":"1505372"},{"text":"\n\n\nMarkus Mohnen, An open framework for data-flow analysis in Java: extended abstract, 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\n\n\n","citation":"638508"},{"text":"\n\n\nMikio Takeuchi , Hideaki Komatsu , Toshio Nakatani, A new speculation technique to optimize floating-point performance while preserving bit-by-bit reproducibility, Proceedings of the 17th annual international conference on Supercomputing, June 23-26, 2003, San Francisco, CA, USA\n\n\n","citation":"782857"},{"text":"\n\n\nJien-Tsai Chan , Wuu Yang, Advanced obfuscation techniques for Java bytecode, Journal of Systems and Software, v.71 n.1-2, p.1-10, April 2004\n\n\n","citation":"987217"},{"text":"\n\n\nDawid Kurzyniec , Vaidy S. Sunderam, The MICROBE Benchmarking Toolkit for Java: A Component-Based Approach, Proceedings of the International Conference on Computational Science-Part II, p.709-719, April 21-24, 2002\n\n\n","citation":"655466"},{"text":"\n\n\nMats Skoglund, Sharing Objects by Read-Only References, Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, p.457-472, September 09-13, 2002\n\n\n","citation":"676171"},{"text":"\n\n\nAndreas Roth, Specification and verification of encapsulation in java programs, Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, June 15-17, 2005, Athens, Greece\n\n\n","citation":"2144763"},{"text":"\n\n\nAmer Diwan , William M. Waite , Michele H. Jackson , Jacob Dickerson, PL-detective: A system for teaching programming language concepts, Journal on Educational Resources in Computing (JERIC), v.4 n.4, p.1-es, December 2004\n\n\n","citation":"1086340"},{"text":"\n\n\nVijay Saraswat , Radha Jagadeesan, Concurrent clustered programming, CONCUR 2005 - Concurrency Theory, Springer-Verlag, London, UK, 2005\n\n\n","citation":"1099361"},{"text":"\n\n\nCássio M. M. Pereira , Daniel C. Lobato , César A. C. Teixeira , Maria G. Pimentel, Achieving causal and total ordering in publish/subscribe middleware with DSM, Proceedings of the 3rd workshop on Middleware for service oriented computing, p.61-66, December 01-05, 2008, Leuven, Belgium\n\n\n","citation":"1462813"},{"text":"\n\n\nBenjamin M. Brosgol , Andy Wellings, A comparison of the asynchronous transfer of control features in Ada and the real-time specification for Java™, Proceedings of the 8th Ada-Europe international conference on Reliable software technologies, June 16-20, 2003, Toulouse, France\n\n\n","citation":"1757079"},{"text":"\n\n\nYoonkyung Kim , Byeong-Mo Chang, Visualization of permission checks in java using static analysis, Proceedings of the 7th international conference on Information security applications: PartI, August 28-30, 2006, Jeju Island, Korea\n\n\n","citation":"1764692"},{"text":"\n\n\nXiaoxia Ren , Fenil Shah , Frank Tip , Barbara G. Ryder , Ophelia Chesley, Chianti: a tool for change impact analysis of java programs, ACM SIGPLAN Notices, v.39 n.10, October 2004\n\n\n","citation":"1029012"},{"text":"\n\n\nBen Bellamy , Pavel Avgustinov , Oege de Moor , Damien Sereni, Efficient local type inference, ACM SIGPLAN Notices, v.43 n.10, September 2008\n\n\n","citation":"1449802"},{"text":"\n\n\nMartin Hirzel , Nathaniel Nystrom , Bard Bloom , Jan Vitek, Matchete: paths through the pattern matching jungle, Proceedings of the 10th international conference on Practical aspects of declarative languages, p.150-166, January 07-08, 2008, San Francisco, CA, USA\n\n\n","citation":"1785765"},{"text":"\n\n\nNicolas Geoffray , Gaël Thomas , Bertil Folliot, Transparent and dynamic code offloading for java applications, Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE, October 29-November 03, 2006, Montpellier, France\n\n\n","citation":"2150410"},{"text":"\n\n\nCésar F. Acebal , Raúl Izquierdo Castanedo , Juan M. Cueva Lovelle, Good design principles in a compiler university course, ACM SIGPLAN Notices, v.37 n.4, April 2002\n\n\n","citation":"510870"},{"text":"\n\n\nWalter Binder , Jarle Hulaas, Extending standard java runtime systems for resource management, Proceedings of the 4th international conference on Software Engineering and Middleware, September 20-21, 2004, Linz, Austria\n\n\n","citation":"2136580"},{"text":"\n\n\nKerry Trentelman, Proving Correctness of JavaCard DL Taclets using Bali, Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, p.160-169, September 07-09, 2005\n\n\n","citation":"1110571"},{"text":"\n\n\nWalter Binder , Balázs Lichtl, Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications, Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies, p.125-135, June 17-21, 2002\n\n\n","citation":"697917"},{"text":"\n\n\nMarian Bubak , Dawid Kurzyniec , Piotr Luszczek , Vaidy Sunderam, Creating Java to Native Code Interfaces with Janet, Scientific Programming, v.9 n.1, p.39-50, January 2001\n\n\n","citation":"1239925"},{"text":"\n\n\nGiuseppe Milicia , Vladimiro Sassone, The inheritance anomaly: ten years after, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus\n\n\n","citation":"968159"},{"text":"\n\n\nBernhard Beckert, A Dynamic Logic for the Formal Verification of Java Card Programs, Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security, p.6-24, September 14, 2000\n\n\n","citation":"713764"},{"text":"\n\n\nIoannis T. Christou , Sofoklis Efremidis , Aikaterini Roukounaki, A CASE Tool for Java Mobile Computing Applications, International Journal of Mobile Computing and Multimedia Communications, v.2 n.2, p.34-48, April 2010\n\n\n","citation":"2440574"},{"text":"\n\n\nSang Boem Lim , Bryan Carpenter , Geoffrey Fox , Han-Ku Lee, Collective communications for scalable programming, Proceedings of the Third international conference on Parallel and Distributed Processing and Applications, November 02-05, 2005, Nanjing, China\n\n\n","citation":"2098837"},{"text":"\n\n\nBen Brosgol , Brian Dobbing, Real-time convergence of Ada and Java™, ACM SIGAda Ada Letters, v.XXI n.4, December 2001\n\n\n","citation":"507579"},{"text":"\n\n\nBen Stephenson , Wade Holst, A quantitative analysis of the performance impact of specialized bytecodes in java, Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, p.267-281, October 04-07, 2004, Markham, Ontario, Canada\n\n\n","citation":"1034935"},{"text":"\n\n\nWolfgang Puffitsch , Martin Schoeberl, Non-blocking root scanning for real-time garbage collection, Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, September 24-26, 2008, Santa Clara, California, USA\n\n\n","citation":"1434801"},{"text":"\n\n\nPaweł Garbacki , Bartosz Biskupski , Henri Bal, Transparent fault tolerance for grid applications, Proceedings of the 2005 European conference on Advances in Grid Computing, p.671-680, February 14-16, 2005, Amsterdam, The Netherlands\n\n\n","citation":"2154385"},{"text":"\n\n\nGang Huang , Hong Mei , Fu-Qing Yang, Runtime recovery and manipulation of software architecture of component-based systems, Automated Software Engineering, v.13 n.2, p.257-281, April 2006\n\n\n","citation":"1120209"},{"text":"\n\n\nLaurent Daynès , Grzegorz Czajkowski, Sharing the runtime representation of classes across class loaders, Proceedings of the 19th European conference on Object-Oriented Programming, July 25-29, 2005, Glasgow, UK\n\n\n","citation":"2144899"},{"text":"\n\n\nMatthias Blume , Umut A. Acar , Wonseok Chae, Exception Handlers as Extensible Cases, Proceedings of the 6th Asian Symposium on Programming Languages and Systems, p.273-289, December 09-11, 2008, Bangalore, India\n\n\n","citation":"1485366"},{"text":"\n\n\nAndreas Naderlinger , Josef Templ, A framework for command processing in Java/Swing programs based on the MVC pattern, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy\n\n\n","citation":"1411738"},{"text":"\n\n\nDavid Sehr , Robert Muth , Cliff Biffle , Victor Khimenko , Egor Pasko , Karl Schimpf , Bennet Yee , Brad Chen, Adapting software fault isolation to contemporary CPU architectures, Proceedings of the 19th USENIX conference on Security, August 11-13, 2010, Washington, DC\n\n\n","citation":"1929822"},{"text":"\n\n\nFrancesco Logozzo, Cibai: an abstract interpretation-based static analyzer for modular analysis and verification of java classes, Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation, January 14-16, 2007, Nice, France\n\n\n","citation":"1763079"},{"text":"\n\n\nPhillip M. Yelland , Eunice Lee, Forecasting product sales with dynamic linear mixture models, Sun Microsystems, Inc., Mountain View, CA, 2003\n\n\n","citation":"1698168"},{"text":" \n\n\nMichael Samulowitz , Florian Michahelles , Claudia Linnhoff-Popien, Adaptive interaction for enabling pervasive services, Proceedings of the 2nd ACM international workshop on Data engineering for wireless and mobile access, p.20-26, May 2001, Santa Barbara, California, USA\n\n\n","citation":"376886"},{"text":"\n\n\nGuangyu Chen , Mahmut Kandemir, Improving java virtual machine reliability for memory-constrained embedded systems, Proceedings of the 42nd annual Design Automation Conference, June 13-17, 2005, Anaheim, California, USA\n\n\n","citation":"1065761"},{"text":"\n\n\nBhim Prasad Upadhyaya , Zhiming Liu, Formal Support for Development of JavaBeans\" Component Systems, Proceedings of the 28th Annual International Computer Software and Applications Conference, p.23-28, September 28-30, 2004\n\n\n","citation":"1025471"},{"text":"\n\n\nYuuji Ichisugi , Akira Tanaka, Difference-Based Modules: A Class-Independent Module Mechanism, Proceedings of the 16th European Conference on Object-Oriented Programming, p.62-88, June 10-14, 2002\n\n\n","citation":"680035"},{"text":"\n\n\nDinakar Dhurjati , Sumant Kowshik , Vikram Adve , Chris Lattner, Memory safety without runtime checks or garbage collection, ACM SIGPLAN Notices, v.38 n.7, July 2003\n\n\n","citation":"780743"},{"text":"\n\n\nMarco Cornero , Roberto Costa , Ricardo Fernández Pascual , Andrea C. Ornstein , Erven Rohou, An experimental environment validating the suitability of CLI as an effective deployment format for embedded systems, Proceedings of the 3rd international conference on High performance embedded architectures and compilers, January 27-29, 2008, Göteborg, Sweden\n\n\n","citation":"1786068"},{"text":"\n\n\nGrzegorz Czajkowski , Laurent Daynès , Ben Titzer, A multi-user virtual machine, Proceedings of the annual conference on USENIX Annual Technical Conference, p.7-7, June 09-14, 2003, San Antonio, Texas\n\n\n","citation":"1247347"},{"text":"\n\n\nHolger Grandy , Kurt Stenzel , Wolfgang Reif, Object Oriented Verification Kernels for Secure Java Applications, Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, p.170-179, September 07-09, 2005\n\n\n","citation":"1110572"},{"text":"\n\n\nFabrice Bouquet , Frédéric Dadeau , Julien Groslambert, Checking JML specifications with b machines, Proceedings of the 4th international conference on Formal Specification and Development in Z and B, p.434-453, April 13-15, 2005, Guildford, UK\n\n\n","citation":"2154151"},{"text":"\n\n\nAmir Kamil , Katherine Yelick, Hierarchical pointer analysis for distributed programs, Proceedings of the 14th international conference on Static Analysis, August 22-24, 2007, Kongens Lyngby, Denmark\n\n\n","citation":"2391471"},{"text":"\n\n\nAtanas Rountev , Scott Kagan , Michael Gibas, Static and dynamic analysis of call chains in java, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004\n\n\n","citation":"1007514"},{"text":"\n\n\nMasahiro Takatsuka, A component-oriented software authoring system for exploratory visualization, Future Generation Computer Systems, v.21 n.7, p.1213-1222, July 2005\n\n\n","citation":"1708282"},{"text":"\n\n\nCoen De Roover , Theo D'Hondt , Johan Brichau , Carlos Noguera , Laurence Duchien, Behavioral similarity matching using concrete source code templates in logic queries, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 15-16, 2007, Nice, France\n\n\n","citation":"1244398"},{"text":"\n\n\nGrzegorz Czajkowski , Laurent Daynès , Nathaniel Nystrom, Code Sharing among Virtual Machines, Proceedings of the 16th European Conference on Object-Oriented Programming, p.155-177, June 10-14, 2002\n\n\n","citation":"758681"},{"text":"\n\n\nFrank Tip , Adam Kiezun , Dirk Bäumer, Refactoring for generalization using type constraints, ACM SIGPLAN Notices, v.38 n.11, November 2003\n\n\n","citation":"949308"},{"text":"\n\n\nThomas Vestdam , Kurt Nørmark, Maintaining program understanding: issues, tools, and future directions, Nordic Journal of Computing, v.11 n.3, p.303-320, September 2004\n\n\n","citation":"1080584"},{"text":"\n\n\nAna Milanova, Precise identification of composition relationships for UML class diagrams, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA\n\n\n","citation":"1101922"},{"text":"\n\n\nChen-Yong Cher , Antony L. Hosking , T. N. Vijaykumar, Software prefetching for mark-sweep garbage collection: hardware analysis and software redesign, ACM SIGOPS Operating Systems Review, v.38 n.5, December 2004\n\n\n","citation":"1024417"},{"text":"\n\n\nStefan Brunthaler, Virtual-Machine Abstraction and Optimization Techniques, Electronic Notes in Theoretical Computer Science (ENTCS), v.253 n.5, p.3-14, December, 2009\n\n\n","citation":"1660797"},{"text":"\n\n\nS. Cimato , A. De Santis , U. Ferraro Petrillo, Overcoming the obfuscation of Java programs by identifier renaming, Journal of Systems and Software, v.78 n.1, p.60-72, October 2005\n\n\n","citation":"1088559"},{"text":"\n\n\nYoshiki Sato , Shigeru Chiba, Loosely-separated “sister” namespaces in java, Proceedings of the 19th European conference on Object-Oriented Programming, July 25-29, 2005, Glasgow, UK\n\n\n","citation":"2144897"},{"text":"\n\n\nDavid F. Bacon, Kava: a Java dialect with a uniform object model for lightweight classes, Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, p.68-77, June 2001, Palo Alto, California, USA\n\n\n","citation":"376812"},{"text":"\n\n\nGrzegorz Czajkowski , Laurent Daynàs, Multitasking without compromise: a virtual machine evolution, ACM SIGPLAN Notices, v.47 n.4a, April 2012\n\n\n","citation":"2442785"},{"text":"\n\n\nAnton Setzer, Java as a functional programming language, Proceedings of the 2002 international conference on Types for proofs and programs, p.279-298, April 24-28, 2002, Berg en Dal, The Netherlands\n\n\n","citation":"1762655"},{"text":"\n\n\nDavid Herman , Cormac Flanagan, Status report: specifying javascript with ML, Proceedings of the 2007 workshop on Workshop on ML, October 05-05, 2007, Freiburg, Germany\n\n\n","citation":"1292543"},{"text":"\n\n\nOliver Trachsel , Christoph von Praun , Thomas R. Gross, On the effectiveness of speculative and selective memory fences, Proceedings of the 20th international conference on Parallel and distributed processing, p.33-33, April 25-29, 2006, Rhodes Island, Greece\n\n\n","citation":"1898968"},{"text":"\n\n\nMarc Éluard , Thomas P. Jensen , Ewen Denney, An Operational Semantics of the Java Card Firewall, Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security, p.95-110, September 19-21, 2001\n\n\n","citation":"706114"},{"text":"\n\n\nMarieke Huisman , Kerry Trentelman, Factorising temporal specifications, Proceedings of the 2005 Australasian symposium on Theory of computing, p.87-96, January 01, 2005, Newcastle, Australia\n\n\n","citation":"1082271"},{"text":"\n\n\nWei-Lun Hung , Vijay K. Garg, AutoSynch: an automatic-signal monitor based on predicate tagging, ACM SIGPLAN Notices, v.48 n.6, June 2013\n\n\n","citation":"2462175"},{"text":"\n\n\nHans Langmaack , Andrzej Salwicki, Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce, Fundamenta Informaticae, v.122 n.3, p.227-274, July 2013\n\n\n","citation":"2594856"},{"text":"\n\n\nGareth Baxter , Marcus Frean , James Noble , Mark Rickerby , Hayden Smith , Matt Visser , Hayden Melton , Ewan Tempero, Understanding the shape of Java software, ACM SIGPLAN Notices, v.41 n.10, October 2006\n\n\n","citation":"1167507"},{"text":"\n\n\nSergio Soares , Eduardo Laureano , Paulo Borba, Implementing distribution and persistence aspects with aspectJ, ACM SIGPLAN Notices, v.37 n.11, November 2002\n\n\n","citation":"582437"},{"text":"\n\n\nBart Jacobs , Erik Poll, Coalgebras and monads in the semantics of java, Theoretical Computer Science, v.291 n.3, p.329-349, 6 January 2003\n\n\n","citation":"642011"},{"text":"\n\n\nRalf Sasse , José Meseguer, Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics, Electronic Notes in Theoretical Computer Science (ENTCS), v.176 n.4, p.29-46, July, 2007\n\n\n","citation":"1279449"},{"text":"\n\n\n\nPaweł T. Wojciechowski, Isolation-only transactions by typing and versioning, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.70-81, July 11-13, 2005, Lisbon, Portugal\n\n\n","citation":"1069781"},{"text":"\n\n\nMikhail Dmitriev, Language-specific make technology for the Java programming language, ACM SIGPLAN Notices, v.37 n.11, November 2002\n\n\n","citation":"582453"},{"text":"\n\n\nStéphane Ducasse , Roel Wuyts , Alexandre Bergel , Oscar Nierstrasz, User-changeable visibility: resolving unanticipated name clashes in traits, ACM SIGPLAN Notices, v.42 n.10, October 2007\n\n\n","citation":"1297040"},{"text":"\n\n\nSusan Eisenbach , Chris Sadler , Shakil Shaikh, Evolution of Distributed Java Programs, Proceedings of the IFIP/ACM Working Conference on Component Deployment, p.51-66, June 20-21, 2002\n\n\n","citation":"727948"},{"text":"\n\n\nHayden Melton , Ewan Tempero, An empirical study of cycles among classes in Java, Empirical Software Engineering, v.12 n.4, p.389-415, August 2007\n\n\n","citation":"1285506"},{"text":"\n\n\nChristian Eisentraut , Holger Hermanns, Teaching Concurrency Concepts to Freshmen, Transactions on Petri Nets and Other Models of Concurrency I, Springer-Verlag, Berlin, Heidelberg, 2008\n\n\n","citation":"1485146"},{"text":"\n\n\nCyrille Artho , Armin Biere , Shinichi Honiden, Enforcer – efficient failure injection, Proceedings of the 14th international conference on Formal Methods, August 21-27, 2006, Hamilton, Canada\n\n\n","citation":"2164861"},{"text":"\n\n\nEyvind W. Axelsen , Stein Krogdahl , Birger Møller-Pedersen, Controlling dynamic module composition through an extensible meta-level API, ACM SIGPLAN Notices, v.45 n.12, December 2010\n\n\n","citation":"1869641"},{"text":"\n\n\nMasahiro Takatsuka, JBeanStudio: a component-oriented visual software authoring system for a problem solving environment–supporting exploratory visualization, Proceedings of the 2003 international conference on Computational science: PartIII, June 02-04, 2003, Melbourne, Australia\n\n\n","citation":"1762527"},{"text":"\n\n\nJan Schäfer , Markus Reitz , Jean-Marie Gaillourdet , Arnd Poetzsch-Heffter, Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes, The Common Component Modeling Example: Comparing Software Component Models, Springer-Verlag, Berlin, Heidelberg, 2007\n\n\n","citation":"1428997"},{"text":"\n\n\nJean Privat , Roland Ducournau, Link-time static analysis for efficient separate compilation of object-oriented languages, ACM SIGSOFT Software Engineering Notes, v.31 n.1, January 2006\n\n\n","citation":"1108799"},{"text":"\n\n\nJ. C. M. Baeten , H. M. A. van Beek , S. Mauw, Specifying internet applications with DiCons, Proceedings of the 2001 ACM symposium on Applied computing, p.576-584, March 2001, Las Vegas, Nevada, USA\n\n\n","citation":"372466"},{"text":"\n\n\nAdenauer Corrêa Yamin , Jorge Victória Barbosa , Iara Augustin , Luciano Cavalheiro Da Silva , Rodrigo Real , Cláudio Geyer , Gerson Cavalheiro, Towards Merging Context-Aware, Mobile and Grid Computing, International Journal of High Performance Computing Applications, v.17 n.2, p.191-203, May 2003\n\n\n","citation":"2747788"},{"text":"\n\n\nMarko Dooren , Dave Clarke , Bart Jacobs, Subobject-Oriented Programming, Revised Lectures of the 11th International Symposium on Formal Methods for Components and Objects, p.38-82, September 24-28, 2012, Bertinoro, Italy\n\n\n","citation":"2960580"},{"text":"\n\n\nGalen C. Hunt , James R. Larus , David Tarditi , Ted Wobber, Broad new OS research: challenges and opportunities, Proceedings of the 10th conference on Hot Topics in Operating Systems, p.15-15, June 12-15, 2005, Santa Fe, NM\n\n\n","citation":"1251138"},{"text":"\n\n\nDachuan Yu , Zhong Shao , Valery Trifonov, Supporting Binary Compatibility with Static Compilation, Proceedings of the 2nd Java™ Virtual Machine Research and Technology Symposium, p.165-180, August 01-02, 2002\n\n\n","citation":"744887"},{"text":"\n\n\nSean McDirmid , Matthew Flatt , Wilson C. Hsieh, Jiazzi: new-age components for old-fasioned Java, ACM SIGPLAN Notices, v.36 n.11, p.211-222, 11/01/2001\n\n\n","citation":"504298"},{"text":"\n \n\nCees Pierik , Frank S. de Boer, A proof outline logic for object-oriented programming, Theoretical Computer Science, v.343 n.3, p.413-442, 17 October 2005\n\n\n","citation":"1140706"},{"text":"\n\n\nNathaniel Nystrom , Stephen Chong , Andrew C. Myers, Scalable extensibility via nested inheritance, ACM SIGPLAN Notices, v.39 n.10, October 2004\n\n\n","citation":"1028986"},{"text":"\n\n\nOkehee Goh , Yann-Hang Lee , Ziad Kaakani, Schedulable persistence system for teal-time applications in virtual machine, Proceedings of the 6th ACM & IEEE International conference on Embedded software, October 22-25, 2006, Seoul, Korea\n\n\n","citation":"1176916"},{"text":"\n\n\nBennet Yee, Monotonicity and Partial Results Protection for Mobile Agents, Proceedings of the 23rd International Conference on Distributed Computing Systems, p.582, May 19-22, 2003\n\n\n","citation":"851979"},{"text":"\n\n\nMick Jordan, A comparative study of persistence mechanisms for the Java™ platform, Sun Microsystems, Inc., Mountain View, CA, 2004\n\n\n","citation":"1698191"},{"text":"\n\n\nMarco Bellia , M. Eugenia Occhiuto, Methods as Parameters: A Preprocessing Approach to Higher Order in Java, Fundamenta Informaticae, v.85 n.1-4, p.35-50, January 2008\n\n\n","citation":"2365900"},{"text":"\n\n\nWilliam Van Lepthien , Kenneth M. Anderson, A metainformatical view of collections, Proceedings of the 2005 symposia on Metainformatics, p.16-es, November 09-11, 2005, Esbjerg, Denmark\n\n\n","citation":"1234340"},{"text":"\n\n\nMarco Bellia , M. Eugenia Occhiuto, Methods as Parameters: A Preprocessing Approach to Higher Order in Java, Fundamenta Informaticae, v.85 n.1-4, p.35-50, September 2008\n\n\n","citation":"1516169"},{"text":"\n\n\nGrzegorz Czajkowski, Application isolation in the Java Virtual Machine, ACM SIGPLAN Notices, v.35 n.10, p.354-366, Oct. 2000\n\n\n","citation":"353195"},{"text":"\n\n\nPascal Cuoq , Damien Doligez, Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2, Proceedings of the 2008 ACM SIGPLAN workshop on ML, September 21-21, 2008, Victoria, BC, Canada\n\n\n","citation":"1411308"},{"text":"\n\n\nMichal Cierniak , Brian T. Lewis , James M. Stichnoth, Open runtime platform: flexibility with performance using interfaces, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.156-164, November 03-05, 2002, Seattle, Washington, USA\n\n\n","citation":"583828"},{"text":"\n\n\nGansha Wu , Xin Zhou , Guei-Yuan Lueh , Jesse Z Fang , Peng Guo , Jinzhan Peng , Victor Ying, XAMM: a high-performance automatic memory management system with memory-constrained designs, Proceedings of the First international conference on High Performance Embedded Architectures and Compilers, November 17-January 18, 2005, Barcelona, Spain\n\n\n","citation":"2129340"},{"text":"\n\n\nDavide Ancona , Giovanni Lagorio , Elena Zucca, A Formal Framework for Java Separate Compilation, Proceedings of the 16th European Conference on Object-Oriented Programming, p.609-636, June 10-14, 2002\n\n\n","citation":"680016"},{"text":"\n\n\nEyvind W. Axelsen , Stein Krogdahl, Groovy package templates: supporting reuse and runtime adaption of class hierarchies, ACM SIGPLAN Notices, v.44 n.12, December 2009\n\n\n","citation":"1640139"},{"text":"\n\n\nArnd Poetzsch-Heffter , Jan Schäfer, Modular specification of encapsulated object-oriented components, Proceedings of the 4th international conference on Formal Methods for Components and Objects, November 01-04, 2005, Amsterdam, The Netherlands\n\n\n","citation":"2090479"},{"text":"\n\n\nAlan Jeffrey , Julian Rathke, Java JR: fully abstract trace semantics for a core java language, Proceedings of the 14th European conference on Programming Languages and Systems, p.423-438, April 04-08, 2005, Edinburgh, UK\n\n\n","citation":"2140737"},{"text":"\n\n\nLingli Zhang , Chandra Krintz , Priya Nagpurkar, Supporting exception handling for futures in Java, Proceedings of the 5th international symposium on Principles and practice of programming in Java, September 05-07, 2007, Lisboa, Portugal\n\n\n","citation":"1294349"},{"text":"\n\n\nLantian Zheng , Andrew C. Myers, Dynamic security labels and static information flow control, International Journal of Information Security, v.6 n.2-3, p.67-84, March 2007\n\n\n","citation":"2701799"},{"text":"\n\n\nDemóstenes Sena , Roberta Coelho , Uirá Kulesza , Rodrigo Bonifácio, Understanding the exception handling strategies of Java libraries: an empirical study, Proceedings of the 13th International Conference on Mining Software Repositories, May 14-22, 2016, Austin, Texas\n\n\n","citation":"2901757"},{"text":"\n\n\nAna Milanova, Composition inference for UML class diagrams, Automated Software Engineering, v.14 n.2, p.179-213, June 2007\n\n\n","citation":"1285566"},{"text":"\n\n\nJohn S. Danaher , I.-Ting Angelina Lee , Charles E. Leiserson, Programming with exceptions in JCilk, Science of Computer Programming, v.63 n.2, p.147-171, 1 December 2006\n\n\n","citation":"1228565"},{"text":"\n\n\nJian-Min Jiang , Huibiao Zhu , Qin Li , Yongxin Zhao , Lin Zhao , Shi Zhang , Ping Gong , Zhong Hong , Donghuo Chen, Event-Based Mobility Modeling and Analysis, ACM Transactions on Cyber-Physical Systems, v.1 n.2, p.1-32, February 2017\n\n\n","citation":"2823353"},{"text":"\n\n\nWalter Binder , Jarle Hulaas, Using Bytecode Instruction Counting as Portable CPU Consumption Metric, Electronic Notes in Theoretical Computer Science (ENTCS), v.153 n.2, p.57-77, May, 2006\n\n\n","citation":"1706732"},{"text":"\n\n\nLingli Zhang , Chandra Krintz, As-if-serial exception handling semantics for Java futures, Science of Computer Programming, v.74 n.5-6, p.314-332, March, 2009\n\n\n","citation":"1518658"},{"text":"\n\n\nBruno Cabral , Paulo Marques, Exception handling: a field study in Java and .NET, Proceedings of the 21st European conference on Object-Oriented Programming, July 30-August 03, 2007, Berlin, Germany\n\n\n","citation":"2394770"},{"text":"\n\n\nJavier Miranda , Edmond Schonberg, GNAT: on the road to Ada 2005, ACM SIGAda Ada Letters, v.XXIV n.4, p.51-60, December 2004\n\n\n","citation":"1032307"},{"text":"\n\n\nTorbjörn Ekman , Görel Hedin, The jastadd extensible java compiler, ACM SIGPLAN Notices, v.42 n.10, October 2007\n\n\n","citation":"1297029"},{"text":"\n\n\nBrian Cabana , Suad Alagić , Jeff Faulkner, Parametric polymorphism for Java: is there any hope in sight?, ACM SIGPLAN Notices, v.39 n.12, December 2004\n\n\n","citation":"1052887"},{"text":"\n\n\nAndrew McCreight , Zhong Shao , Chunxiao Lin , Long Li, A general framework for certifying garbage collectors and their mutators, ACM SIGPLAN Notices, v.42 n.6, June 2007\n\n\n","citation":"1250788"},{"text":"\n\n\nSašo Greiner , Janez Brest , Viljem umer, Zero-a blend of static typing and dynamic metaprogramming, Computer Languages, Systems and Structures, v.35 n.3, p.241-251, October, 2009\n\n\n","citation":"1518043"},{"text":"\n\n\nHan B. Lee , Amer Diwan , J. Eliot B. Moss, Design, implementation, and evaluation of a compilation server, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.4, p.18-es, August 2007\n\n\n","citation":"1255451"},{"text":"\n\n\nAdrian Francalanza , Matthew Hennessy, A theory of system behaviour in the presence of node and link failure, Information and Computation, v.206 n.6, p.711-759, June, 2008\n\n\n","citation":"1375001"},{"text":"\n\n\nJonathan J. Cook, P#: a concurrent prolog for the .NET framework, Software—Practice & Experience, v.34 n.9, p.815-845, 25 July 2004\n\n\n","citation":"1045975"},{"text":"\n\n\nBor-Yuh Evan Chang , Karl Crary , Margaret DeLap , Robert Harper , Jason Liszka , Tom Murphyø, VII , Frank Pfenning, Trustless Grid Computing in ConCert, Proceedings of the Third International Workshop on Grid Computing, p.112-125, November 18, 2002\n\n\n","citation":"652672"},{"text":"\n\n\nRaymond P.L. Buse , Westley R. Weimer, A metric for software readability, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA\n\n\n","citation":"1390647"},{"text":"\n\n\nPeter H. Fröhlich , Andreas Gal , Michael Franz, Supporting software composition at the programming language level, Science of Computer Programming, v.56 n.1-2, p.41-57, April 2005\n\n\n","citation":"1072122"},{"text":"\n\n\nRonald Garcia , Jaakko Jarvi , Andrew Lumsdaine , Jeremy Siek , Jeremiah Willcock, An extended comparative study of language support for generic programming, Journal of Functional Programming, v.17 n.2, p.145-205, March 2007\n\n\n","citation":"1230757"},{"text":"\n\n\nPaul Gestwicki , Bharat Jayaraman, Methodology and architecture of JIVE, Proceedings of the 2005 ACM symposium on Software visualization, May 14-15, 2005, St. Louis, Missouri\n\n\n","citation":"1056032"},{"text":"\n\n\nViktor Schuppan , Marcel Baur , Armin Biere, JVM Independent Replay in Java, Electronic Notes in Theoretical Computer Science (ENTCS), v.113 n.C, p.85-104, January 2005\n\n\n","citation":"2773781"},{"text":"\n\n\nMartin Odersky , Matthias Zenger, Scalable component abstractions, ACM SIGPLAN Notices, v.40 n.10, October 2005\n\n\n","citation":"1094815"},{"text":"\n\n\nGang Huang , Lian-Shan Sun, An access control framework for reflective middleware, Journal of Computer Science and Technology, v.23 n.6, p.895-904, November 2008\n\n\n","citation":"1594698"},{"text":"\n\n\nTodd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM SIGPLAN Notices, v.37 n.9, p.110-122, September 2002\n\n\n","citation":"581489"},{"text":"\n\n\nFlorian Kerschbaum , Orestis Terzidis, Filtering for private collaborative benchmarking, Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security, June 06-09, 2006, Freiburg, Germany\n\n\n","citation":"2094807"},{"text":"\n\n\nPramod 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\n\n\n","citation":"608789"},{"text":"\n\n\nVikram Adve , Chris Lattner , Michael Brukman , Anand Shukla , Brian Gaeke, LLVA: A Low-level Virtual Instruction Set Architecture, Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture, p.205, December 03-05, 2003\n\n\n","citation":"956545"},{"text":"\n\n\nR. Martens , R. Paranjape , L. Benedicenti , S. Sankaran , A. Sadanand, Mobile agent strategies for the provision of public goods: An experimental study, Electronic Commerce Research and Applications, v.5 n.2, p.140-146, Summer 2006\n\n\n","citation":"1705356"},{"text":"\n\n\nMarko van Dooren , Eric Steegmans, A higher abstraction level using first-class inheritance relations, Proceedings of the 21st European conference on Object-Oriented Programming, July 30-August 03, 2007, Berlin, Germany\n\n\n","citation":"2394786"},{"text":"\n\n\nMarco Bellia , M. Eugenia Occhiuto, JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters, Fundamenta Informaticae, v.93 n.1-3, p.45-64, January 2009\n\n\n","citation":"2364585"},{"text":"\n\n\nSusan Eisenbach , Chris Sadler , Dominic Wong, Component adaptation in contemporary execution environments, Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems, June 06-08, 2007, Paphos, Cyprus\n\n\n","citation":"1776142"},{"text":"\n\n\nWilliam R. Bush , Antony Ng , Doug Simon , Bernd Mathiske, A mechanism for secure, fine-grained dynamic provisioning of applications on small devices, Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, p.86-107, March 10-14, 2004, Marseille, France\n\n\n","citation":"2131551"},{"text":"\n\n\nMarco Bellia , M. Eugenia Occhiuto, JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters, Fundamenta Informaticae, v.93 n.1-3, p.45-64, January 2009\n\n\n","citation":"1576075"},{"text":"\n\n\nHans Langmaack, On revival of Algol-concepts in modern programming and specification languages, Formal methods and hybrid real-time systems, Springer-Verlag, Berlin, Heidelberg, 2007\n\n\n","citation":"1793893"},{"text":"\n\n\nTom Dinkelaker , Mira Mezini , Christoph Bockisch, The art of the meta-aspect protocol, Proceedings of the 8th ACM international conference on Aspect-oriented software development, March 02-06, 2009, Charlottesville, Virginia, USA\n\n\n","citation":"1509248"},{"text":"\n\n\nSerge Chaumette , Asier Ugarte, A formal model of the java multi-threading system and its validation on a known problem, Proceedings of the 15th International Parallel & Distributed Processing Symposium, p.148, April 23-27, 2001\n\n\n","citation":"662617"},{"text":"\n\n\nDawson Engler , Ken Ashcraft, RacerX: effective, static detection of race conditions and deadlocks, ACM SIGOPS Operating Systems Review, v.37 n.5, December 2003\n\n\n","citation":"945468"},{"text":"\n\n\nChristopher A. Stone, Extensible objects without labels, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.805-835, September 2004\n\n\n","citation":"1018206"},{"text":"\n\n\nArnd Poetzsch-Heffter , Kathrin Geilmann , Jan Schäfer, Infering ownership types for encapsulated object-oriented program components, Program analysis and compilation, theory and practice: essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday, Springer-Verlag, Berlin, Heidelberg, 2007\n\n\n","citation":"1805801"},{"text":"\n\n\nMatthias Zenger , Martin Odersky, Extensible algebraic datatypes with defaults, ACM SIGPLAN Notices, v.36 n.10, October 2001\n\n\n","citation":"507665"},{"text":"\n\n\nMasahiro Takatsuka , Mark Gahegan, GeoVISTA studio: a codeless visual programming environment for geoscientific data analysis and visualization, Computers & Geosciences, v.28 n.10, p.1131-1144, December 2002\n\n\n","citation":"606763"},{"text":"\n\n\nRobert Dyer , Hridesh Rajan , Hoan Anh Nguyen , Tien N. Nguyen, Mining billions of AST nodes to study actual and potential usage of Java language features, Proceedings of the 36th International Conference on Software Engineering, May 31-June 07, 2014, Hyderabad, India\n\n\n","citation":"2568295"},{"text":"\n\n\nMarko van Dooren , Eric Steegmans, Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations, ACM SIGPLAN Notices, v.40 n.10, October 2005\n\n\n","citation":"1094847"},{"text":"\n\n\nRemi Forax , Etienne Duris , Gilles Roussel, A Reflective Implementation of Java Multi-Methods, IEEE Transactions on Software Engineering, v.30 n.12, p.1055-1071, December 2004\n\n\n","citation":"1042426"},{"text":"\n\n\nCurtis Clifton , Gary T. Leavens , Craig Chambers , Todd Millstein, MultiJava: modular open classes and symmetric multiple dispatch for Java, ACM SIGPLAN Notices, v.35 n.10, p.130-145, Oct. 2000\n\n\n","citation":"353181"},{"text":"\n\n\nMatthew S. Tschantz , Michael D. Ernst, Javari: adding reference immutability to Java, ACM SIGPLAN Notices, v.40 n.10, October 2005\n\n\n","citation":"1094828"},{"text":"\n\n\nDavid C. van Moolenbroek , Raja Appuswamy , Andrew S. Tanenbaum, Towards a Flexible, Lightweight Virtualization Alternative, Proceedings of International Conference on Systems and Storage, June 30-July 02, 2014, Haifa, Israel\n\n\n","citation":"2611369"},{"text":"\n\n\nJarle Hulaas , Walter Binder, Program transformations for light-weight CPU accounting and control in the Java virtual machine, Higher-Order and Symbolic Computation, v.21 n.1-2, p.119-146, June 2008\n\n\n","citation":"1380611"},{"text":"\n\n\nCengiz Günay , Anthony S. Maida, Using temporal binding for hierarchical recruitment of conjunctive concepts over delayed lines, Neurocomputing, v.69 n.4-6, p.317-367, January, 2006\n\n\n","citation":"1745995"},{"text":"\n\n\nDinakar Dhurjati , Sumant Kowshik , Vikram Adve , Chris Lattner, Memory safety without garbage collection for embedded applications, ACM Transactions on Embedded Computing Systems (TECS), v.4 n.1, p.73-111, February 2005\n\n\n","citation":"1053275"},{"text":"\n\n\nRoberta Coelho , Lucas Almeida , Georgios Gousios , Arie Van Deursen , Christoph Treude, Exception handling bug hazards in Android, Empirical Software Engineering, v.22 n.3, p.1264-1304, June 2017\n\n\n","citation":"3106890"},{"text":"\n\n\nEgon Börger, Design for Reuse via Structuring Techniques for ASMs, Computer Aided Systems Theory - EUROCAST 2001-Revised Papers, p.20-35, February 19-23, 2001\n\n\n","citation":"711908"},{"text":"\n\n\nValerio Terragni , Yepang Liu , Shing-Chi Cheung, CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites, Proceedings of the 25th International Symposium on Software Testing and Analysis, July 18-20, 2016, Saarbrücken, Germany\n\n\n","citation":"2931058"},{"text":"\n\n\nDavide Ancona , Giovanni Lagorio , Elena Zucca, Jam---designing a Java extension with mixins, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.5, p.641-712, September 2003\n\n\n","citation":"937567"},{"text":"\n\n\nEtienne M. Gagnon , Laurie J. Hendren, SableVM: a research framework for the efficient execution of java bytecode, Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium, p.3-3, April 23-24, 2001, Monterey, California\n\n\n","citation":"1267850"},{"text":"\n\n\nDavid 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\n\n\n","citation":"1353446"},{"text":"\n\n\nTodd Millstein , Mark Reay , Craig Chambers, Relaxed MultiJava: balancing extensibility and modular typechecking, ACM SIGPLAN Notices, v.38 n.11, November 2003\n\n\n","citation":"949325"},{"text":"\n\n\nBrian Chin , Shane Markstrum , Todd Millstein, Semantic type qualifiers, ACM SIGPLAN Notices, v.40 n.6, June 2005\n\n\n","citation":"1065022"},{"text":"\n\n\nTom Dinkelaker , Michael Eichberg , Mira Mezini, An architecture for composing embedded domain-specific languages, Proceedings of the 9th International Conference on Aspect-Oriented Software Development, March 15-19, 2010, Rennes and Saint-Malo, France\n\n\n","citation":"1739237"},{"text":"\n\n\nCharles E. Leiserson , Tao B. Schardl , Jim Sukha, Deterministic parallel random-number generation for dynamic-multithreading platforms, ACM SIGPLAN Notices, v.47 n.8, August 2012\n\n\n","citation":"2145841"},{"text":"\n\n\nGary T. Leavens , Albert L. Baker , Clyde Ruby, Preliminary design of JML: a behavioral interface specification language for java, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006\n\n\n","citation":"1127884"},{"text":"\n\n\nThomas Vestdam, Elucidative program tutorials, Nordic Journal of Computing, v.9 n.3, p.209-230, September 2002\n\n\n","citation":"766529"},{"text":"\n\n\nPeter A. Buhr , Ashif S. Harji, Implicit-signal monitors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1270-1343, November 2005\n\n\n","citation":"1108975"},{"text":"\n\n\nC. Bernardeschi , N. De Francesco , G. Lettieri , L. Martini , P. Masci, Decomposing bytecode verification by abstract interpretation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.1, p.1-63, December 2008\n\n\n","citation":"1452047"},{"text":"\n\n\nMichael Möller , Ernst-Rüdiger Olderog , Holger Rasch , Heike Wehrheim, Integrating a formal method into a software engineering process with UML and Java, Formal Aspects of Computing, v.20 n.2, p.161-204, March 2008\n\n\n","citation":"3065534"},{"text":"\n\n\nPhilippe Charles , Christian Grothoff , Vijay Saraswat , Christopher Donawa , Allan Kielstra , Kemal Ebcioglu , Christoph von Praun , Vivek Sarkar, X10: an object-oriented approach to non-uniform cluster computing, ACM SIGPLAN Notices, v.40 n.10, October 2005\n\n\n","citation":"1094852"},{"text":"\n\n\nMichael Kölling, Lessons from the Design of Three Educational Programming Environments: Blue, BlueJ and Greenfoot, International Journal of People-Oriented Programming, v.4 n.1, p.5-32, January 2015\n\n\n","citation":"3033671"},{"text":"\n\n\nGwan-Hwan Hwang , Sheng-Jen Chang , Huey-Der Chu, Technology for Testing Nondeterministic Client/Server Database Applications, IEEE Transactions on Software Engineering, v.30 n.1, p.59-77, January 2004\n\n\n","citation":"960315"},{"text":"\n\n\nYan Tang , Yan Tang , Qi Gao , Qi Gao , Feng Qin , Feng Qin, LeakSurvivor: towards safely tolerating memory leaks for garbage-collected languages, USENIX 2008 Annual Technical Conference on Annual Technical Conference, p.307-320, June 22-27, 2008, Boston, Massachusetts\n\n\n","citation":"1404040"},{"text":"\n\n\nMartin Odersky, An Introduction to Functional Nets, Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, p.333-377, September 09-15, 2000\n\n\n","citation":"725802"},{"text":"\n\n\nDenis Bogdanas , Grigore Roşu, K-Java: A Complete Semantics of Java, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 15-17, 2015, Mumbai, India\n\n\n","citation":"2676982"},{"text":"\n\n\nRalf Lämmel , Vadim Zaytsev, Recovering grammar relationships for the Java Language Specification, Software Quality Control, v.19 n.2, p.333-378, June 2011\n\n\n","citation":"1969237"},{"text":"\n\n\nSimon Beloglavec , Marjan Heričko , Matjaž B. Jurič , Ivan Rozman, Analysis of the limitations of multiple client handling in a Java server environment, ACM SIGPLAN Notices, v.40 n.4, April 2005\n\n\n","citation":"1064170"},{"text":"\n\n\nMatthias Zenger, Type-Safe Prototype-Based Component Evolution, Proceedings of the 16th European Conference on Object-Oriented Programming, p.470-497, June 10-14, 2002\n\n\n","citation":"680027"},{"text":"\n\n\nAmnon H. Eden, A Theory of Object-Oriented Design, Information Systems Frontiers, v.4 n.4, p.379-391, December 2002\n\n\n","citation":"595246"},{"text":"\n\n\nKrishnaprasad Thirunarayan , GüNter Kniesel , Haripriyan Hampapuram, Simulating multiple inheritance and generics in Java, Computer Languages, v.25 n.4, p.189-210, December, 1999\n\n\n","citation":"2245794"},{"text":"\n\n\nTodd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.836-889, September 2004\n\n\n","citation":"1018207"},{"text":"\n\n\nNicolas Geoffray , Gaël Thomas , Charles Clément , Bertil Folliot, A lazy developer approach: building a JVM with third party software, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy\n\n\n","citation":"1411743"},{"text":"\n\n\nFrank Tip , Peter F. Sweeney , Chris Laffra , Aldo Eisma , David Streeter, Practical extraction techniques for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.6, p.625-666, November 2002\n\n\n","citation":"586090"},{"text":"\n\n\nRoberta Coelho , Lucas Almeida , Georgios Gousios , Arie van Deursen, Unveiling exception handling bug hazards in Android based on GitHub and Google code issues, Proceedings of the 12th Working Conference on Mining Software Repositories, May 16-24, 2015, Florence, Italy\n\n\n","citation":"2820536"},{"text":"\n\n\nNicolas Geoffray , Gaël Thomas , Julia Lawall , Gilles Muller , Bertil Folliot, VMKit: a substrate for managed runtime environments, ACM SIGPLAN Notices, v.45 n.7, July 2010\n\n\n","citation":"1736006"},{"text":"\n\n\nTodd Millstein, Practical predicate dispatch, ACM SIGPLAN Notices, v.39 n.10, October 2004\n\n\n","citation":"1029006"},{"text":"\n\n\nShane Markstrum , Daniel Marino , Matthew Esquivel , Todd Millstein , Chris Andreae , James Noble, JavaCOP: Declarative pluggable types for java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.32 n.2, p.1-37, January 2010\n\n\n","citation":"1667049"},{"text":"\n\n\nRobert Bentley , John Brooke , André Csillaghy , Donal Fellows , Anja Le Blanc , Mauro Messerotti , David Pérez-Suárez , Gabriele Pierantoni , Marco Soldati, HELIO: Discovery and analysis of data in heliophysics, Future Generation Computer Systems, v.29 n.8, p.2157-2168, October, 2013\n\n\n","citation":"2537442"},{"text":"\n\n\nChris Andreae , James Noble , Shane Markstrum , Todd Millstein, A framework for implementing pluggable type systems, ACM SIGPLAN Notices, v.41 n.10, October 2006\n\n\n","citation":"1167479"},{"text":"\n\n\nFabio Martinelli , Paolo Mori, Enhancing Java security with history based access control, Foundations of security analysis and design IV, Springer-Verlag, Berlin, Heidelberg, 2007\n\n\n","citation":"1793920"},{"text":"\n\n\nLorenzo Bettini , Ferruccio Damiani , Kathrin Geilmann , Jan Schäfer, Combining traits with boxes and ownership types in a Java-like setting, Science of Computer Programming, v.78 n.2, p.218-247, February, 2013\n\n\n","citation":"2399459"},{"text":"\n\n\nAnna Formica , Michele Missikoff, Inheritance processing and conflicts in structural generalization hierarchies, ACM Computing Surveys (CSUR), v.36 n.3, p.263-290, September 2004\n\n\n","citation":"1035572"},{"text":"\n\n\nSara Gradara , Antonella Santone , Maria Luisa Villani, Using heuristic search for finding deadlocks in concurrent systems, Information and Computation, v.202 n.2, p.191-226, 1 November, 2005\n\n\n","citation":"1709550"},{"text":"\n\n\nA. Rountev , A. Milanova , B. G. Ryder, Fragment Class Analysis for Testing of Polymorphism in Java Software, IEEE Transactions on Software Engineering, v.30 n.6, p.372-387, June 2004\n\n\n","citation":"998621"},{"text":"\n\n\nGodmar Back , Wilson C. Hsieh, The KaffeOS Java runtime system, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.4, p.583-630, July 2005\n\n\n","citation":"1075383"},{"text":"\n\n\nEinar Broch Johnsen , Olaf Owe , Ingrid Chieh Yu, Creol: a type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, v.365 n.1, p.23-66, 10 November 2006\n\n\n","citation":"1226611"},{"text":"\n\n\nCurtis Clifton , Todd Millstein , Gary T. Leavens , Craig Chambers, MultiJava: Design rationale, compiler implementation, and applications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.3, p.517-575, May 2006\n\n\n","citation":"1133655"},{"text":"\n\n\nJ.-C. Royer, An Operational Approach to the Semantics of Classes: Application to Type Checking, Programming and Computing Software, v.28 n.3, p.127-147, May-June 2002\n\n\n","citation":"597499"},{"text":"\n\n\nVadim Zaytsev, Grammar Zoo, Science of Computer Programming, v.98 n.P1, p.28-51, February 2015\n\n\n","citation":"2943649"},{"text":"\n\n\nPieter 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\n\n\n","citation":"503115"},{"text":"\n\n\nPontus Johnson , Mathias Ekstedt, The Tarpit - A general theory of software engineering, Information and Software Technology, v.70 n.C, p.181-203, February 2016\n\n\n","citation":"2873285"},{"text":"\n\n\nBernhard Beckert , Reiner Hähnle , Peter H. Schmitt, Verification of object-oriented software: The KeY approach, Springer-Verlag, Berlin, Heidelberg, 2007\n\n\n","citation":"1808999"}]