X hits on this document





14 / 14

[14] Robert Ennals, Richard Sharp, and Alan Mycroft. Linear Types for Packet Processing. In European Symposium on Programming, volume 2986 of LNCS, pages 204–218, Jan 2004.

[15] Manuel F¨ahndrich and Robert DeLine. Adoption and focus: Practical linear types for imperative programming. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 13–24, June 2002.

[16] Ce´dric Fournet, Tony Hoare, Sriram K. Rajamani, and Jakob Rehof. Stuck-Free Conformance. In LNCS, volume 3114, pages 242–254, Jan 2004.

[17] Simon Gay, Vasco Vasconcelos, and Anto´nio Ravara. Session Types for Inter-Process Communication. Technical Report TR-2003-133, Department of Computer Science, University of Glasgow, 2003.

[18] Charles M. Geschke, Jr. James H. Morris, and Edwin H. Satterthwaite. Early Experience with Mesa. Commununications of the ACM, 20(8):540–553, 1977.

[19] Per Brinch Hansen. The SOLO Operating System: A Concurrent Pascal Program. Software–Practice & Experience, 6(2):324–336, 1976.

[20] Hermann H¨artig, Michael Hohmuth, Jochen Liedtke, Sebastian Sch¨onberg, and Jean Wolter. The Performance of µ-Kernel-Based Systems. In Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP’97), October 1997.

[21] Kohei Honda, Vasco T. Vasconcelos, and Makoto Kubo. Language Primitives and Type Discipline for Structured Communication-Based Programming. In European Symposium on Programming, ESOP’98, volume 1381 of LNSC, Jan 1998.

[22] Galen Hunt, James Larus, Martı´n Abadi, Mark Aiken, Paul Barham, Manuel F¨ahndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, and Brian Zill. An Overview of the Singularity Project. Technical Report MSR-TR-2005-135, Microsoft Research, 2005.

[23] Galen C. Hunt, James R. Larus, David Tarditi, and Ted Wobber. Broad New OS Research: Challenges and Opportunities. In Proceedings of Tenth Workshop on Hot Topics in Operating Systems. USENIX, June 2005.

[24] A. Igarashi and N. Kobayashi. A generic type system for the Pi-calculus. In POPL 01: Principles of Programming Languages, pages 128–141, 2001.

[25] Trevor Jim, Gregory Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A Safe Dialect of C. In Proceedings of the USENIX 2002 Annual Conference, pages 275–288, 2002.

[26] Geraint Jones and Michael Goldsmith. Programming in occam 2. Web edition, 2001. http://web.comlab.ox.ac.uk/oucl/work/geraint.jones/- publications/book/Pio2/.

[27] Matthias Neubauer and Peter Thiemann. Session types for asynchronous communication. citeseer.ist.psu.edu/636671.html.

[28] Vivek S. Pai, Peter Druschel, and Willy Zwaenepoel. IO-Lite: A Unified I/O Buffering and Caching System. ACM Transactions on Computer Systems, 18(1):37–66, February 2000.

[29] Robert Pike. The Implementation of Newsqueak. Software–Practice & Experience, 20(7):649–659, 1990.

[30] David D. Redell, Yogen K Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, and Stephen C. Purcell. Pilot: An Operating System for a Personal Computer (summary). Communications of the ACM, 23(2):81–92, 1980.

[31] John H. Reppy. CML: A Higher-Order Concurrent Language. In Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation, pages 293–305, 1991.

[32] John C. Reynolds. Separation logic: A logic for shared mutable data structures. In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), pages 55–74, 2002.

[33] Konstantinos Sagonas and Jesper Wilhelmsson. Message Analysis-Guided Allocation and Low-Pause Incremental Garbage Collection in a Concurrent Language. In Proceedings of the 4th international symposium on Memory management (ISMM’04), pages 1–12, 2004.

[34] Frederick Smith, David Walker, and J. Gregory Morrisett. Alias Types. In Proceedings of the 9th European Symposium on Programming Languages and Systems, volume 1782 of LNCS, pages 366–381, 2000.

[35] Daniel C. Swinehart, Pollef T. Zellweger, Richard J. Beach, and Robert B. Hagmann. A Structural View of the Cedar Programming Environment. ACM Transactions on Programming Languages and Systems, 8(4):419–490, 1986.

[36] M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value λ-calculus using a stack of regions. In Conference Record of the 21st Annual ACM SSymposium on Principles of Programming Languages, pages 188–201, January 1994.

[37] Tian Zhao, James Noble, and Jan Vitek. Scoped Types for Real-time Java. In 25th IEEE International Real-Time Systems Symposium (RTSS’04), pages 241–251, 2004.

Document info
Document views48
Page views48
Page last viewedThu Jan 19 04:54:54 UTC 2017