{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:39Z","timestamp":1772163999932,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,21]],"date-time":"2007-10-21T00:00:00Z","timestamp":1192924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10,21]]},"DOI":"10.1145\/1297027.1297064","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T09:30:20Z","timestamp":1195119020000},"page":"499-514","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["The java module system"],"prefix":"10.1145","author":[{"given":"Rok","family":"Strni\u0161a","sequence":"first","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Sewell","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Parkinson","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Apache Felix. http:\/\/cwiki.apache.org\/felix\/.  Apache Felix. http:\/\/cwiki.apache.org\/felix\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Eclipse Callisto. http:\/\/www.eclipse.org\/callisto\/.  Eclipse Callisto. http:\/\/www.eclipse.org\/callisto\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Equinox. http:\/\/www.eclipse.org\/equinox\/.  Equinox. http:\/\/www.eclipse.org\/equinox\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Fusion. http:\/\/en.wikipedia.org\/wiki\/.NET_assembly#Fusion.  Fusion. http:\/\/en.wikipedia.org\/wiki\/.NET_assembly#Fusion."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040308"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646157.679852"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc7th Workshop on Formal Techniques for Java-like Programs, FTfJP'05 (Glasgow","author":"Ancona D.","year":"2005"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/3-540-45337-7_19","volume-title":"ProcEuropean Conference on Object-Oriented Programming, ECOOP'01 (Budapest, Hungary, June18-22","author":"Ancona D.","year":"2001"},{"key":"e_1_3_2_1_10_1","unstructured":"Bracha G. Developing Modules for Development. http:\/\/blogs.sun.com\/gbracha\/ Mar. 2006.  Bracha G. Developing Modules for Development. http:\/\/blogs.sun.com\/gbracha\/ Mar. 2006."},{"key":"e_1_3_2_1_11_1","volume-title":"G. Superpackages: Development Modules in Dolphin. In ProcJavaOneSM Conference","author":"Bracha","year":"2006"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949326"},{"key":"e_1_3_2_1_13_1","unstructured":"DevelopMentor. Assemblies Module -.NET: Building Applications and Components with C# Jan. 2004.  DevelopMentor. Assemblies Module -.NET: Building Applications and Components with C# Jan. 2004."},{"key":"e_1_3_2_1_15_1","volume-title":"Inc.","author":"Gosling J.","year":"2005"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146809.1146811"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286945"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504298"},{"key":"e_1_3_2_1_20_1","unstructured":"Microsoft. C# Specification 2.0 ed. Sept. 2005.  Microsoft. C# Specification 2.0 ed. Sept. 2005."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Nipkow T. Paulson L. C. and \n      \n      \n      Wenzel M\n      \n  \n  . \n  Isabelle\/HOL -A Proof Assistant for Higher-Order Logic vol. \n  2283\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer 2002\n  .  Nipkow T. Paulson L. C. and Wenzel M. Isabelle\/HOL -A Proof Assistant for Higher-Order Logic vol. 2283 of Lecture Notes in Computer Science. Springer 2002.","DOI":"10.1007\/3-540-45949-9"},{"key":"e_1_3_2_1_22_1","unstructured":"OSGi\u2122 Alliance. About the OSGi Service Platform 4.1 ed. Nov. 2005.  OSGi\u2122 Alliance. About the OSGi Service Platform 4.1 ed. Nov. 2005."},{"key":"e_1_3_2_1_23_1","unstructured":"Robinson R. Developing and Deploying Modular J2EE Applications with WebSphere Studio Application Developer and WebSphere Application Server. http:\/\/www-128.ibm.com\/developerworks\/websphere\/library\/techarticles\/02%06_robinson\/robinson.html June 2002.  Robinson R. Developing and Deploying Modular J2EE Applications with WebSphere Studio Application Developer and WebSphere Application Server. http:\/\/www-128.ibm.com\/developerworks\/websphere\/library\/techarticles\/02%06_robinson\/robinson.html June 2002."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/646157.679861"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291155"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Strni\u0161a R. Lightweight Java Module System. http:\/\/www.cl.cam.ac.uk\/~rs456\/ljam Feb. 2007.  Strni\u0161a R. Lightweight Java Module System. http:\/\/www.cl.cam.ac.uk\/~rs456\/ljam Feb. 2007.","DOI":"10.1145\/1297027.1297064"},{"key":"e_1_3_2_1_27_1","unstructured":"Strni\u0161a R. and Parkinson M. Lightweight Java. http:\/\/www.cl.cam.ac.uk\/~rs456\/lj Sept. 2006.  Strni\u0161a R. and Parkinson M. Lightweight Java. http:\/\/www.cl.cam.ac.uk\/~rs456\/lj Sept. 2006."},{"key":"e_1_3_2_1_28_1","unstructured":"Sun Microsystems Inc. Java\u2122 SE 7. https:\/\/jdk7.dev.java.net\/. In development.  Sun Microsystems Inc. Java\u2122 SE 7. https:\/\/jdk7.dev.java.net\/. In development."},{"key":"e_1_3_2_1_29_1","unstructured":"Sun Microsystems Inc. JSR-294: Improved Modularity Support in the Java\u2122 Programming Language. http:\/\/jcp.org\/en\/jsr\/detail?id=294.  Sun Microsystems Inc. JSR-294: Improved Modularity Support in the Java\u2122 Programming Language. http:\/\/jcp.org\/en\/jsr\/detail?id=294."},{"key":"e_1_3_2_1_30_1","unstructured":"Sun Microsystems Inc. OpenJDK: Modules project. http:\/\/openjdk.java.net\/projects\/modules\/.  Sun Microsystems Inc. OpenJDK: Modules project. http:\/\/openjdk.java.net\/projects\/modules\/."},{"key":"e_1_3_2_1_31_1","unstructured":"Sun Microsystems Inc. JSR-277: Java\u2122 Module System. http:\/\/jcp.org\/en\/jsr\/detail?id=277 Oct. 2006. Early Draft.  Sun Microsystems Inc. JSR-277: Java\u2122 Module System. http:\/\/jcp.org\/en\/jsr\/detail?id=277 Oct. 2006. Early Draft."},{"key":"e_1_3_2_1_32_1","volume-title":"EPFL","author":"Zenger M.","year":"2003"}],"event":{"name":"OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Montreal Quebec Canada","acronym":"OOPSLA07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297064","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1297027.1297064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:58:27Z","timestamp":1750244307000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297064"}},"subtitle":["core design and semantic definition"],"short-title":[],"issued":{"date-parts":[[2007,10,21]]},"references-count":30,"alternative-id":["10.1145\/1297027.1297064","10.1145\/1297027"],"URL":"https:\/\/doi.org\/10.1145\/1297027.1297064","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1297105.1297064","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,21]]},"assertion":[{"value":"2007-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}