SIGPLAN Notices, Volume 38, 2003

Volume 38, Number 1, January 2003

• 
  Alex Aiken, Greg Morrisett:
  Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003. ACM 2003, ISBN 1-58113-628-5 [contents]

Volume 38, Number 2, February 2003

Technical correspondence

• 
  Dai Guilan, Tian Jinlan, Zhang Suqing, Jiang Weidu:
  An abstract intermediate representation in compilation systems. 12-18
• 
  Jennifer Hamilton:
  Language integration in the common language runtime. 19-28
• 
  Quinn Tyler Jackson:
  Efficient formalism-only parsing of XML/HTML using the s-calculus. 29-35
• 
  Jonathan L. Schilling:
  The simplest heuristics may be the best in Java JIT compilers. 36-46
• 
  Robert Sinclair:
  Interactive mathematics textbooks. 47-56
• 
  Christian Queinnec:
  Inverting back the inversion of control or, continuations versus page-centric programming. 57-64

Volume 38, Number 2 Supplement, February 2003

• 
  Hans-Juergen Boehm, David Detlefs:
  Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany. ACM 2002, ISBN 1-58113-539-4 [contents]

Volume 38, Number 3, March 2003

• 
  Zhong Shao, Peter Lee:
  Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003. ACM 2003, ISBN 1-58113-649-8 [contents]

Volume 38, Number 4, April 2003

How things were

• 
  G. Alan Creak:
  Everything is Fortran, in its own way. 7-12

Forth

• 
  Paul Frenger:
  Evaluating Forth in the Windows environment. 13-15

Technical Correspondence

• 
  Dibyendu Das:
  Function inlining versus function cloning. 18-24
• 
  José de Oliveira Guimarães:
  Experiences in building a compiler for an object-oriented language. 25-33
• 
  Jagun Kwon, Andy J. Wellings, Steve King:
  Assessment of the Java programming language for use in high integrity systems. 34-46
• 
  Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang:
  A formal semantic definition of DEVIL. 47-56
• 
  Hai Zhuge, Jie Liu:
  KGOL: a Knowledge Grid operating language. 57-66

Volume 38, Number 5, May 2003

• 
  Frank Mueller, Ulrich Kremer:
  Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003. ACM 2003, ISBN 1-58113-647-1 [contents]

Volume 38, Number 6, June 2003

In Parallel

• 
  Thomas W. Christopher:
  A simple parallel system. 6-8

Curricular Patterns

• 
  Achla Agarwal, Krishna Agarwal:
  Some deficiencies of C++ in teaching CS1 and CS2. 9-13

Technical Correspondence

• 
  Barbara G. Ryder, Mary Lou Soffa:
  Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design. 16-22
• 
  Dibyendu Das:
  Function inlining versus function cloning. 23-29
• 
  Chunyan Yu, Minghui Wu, Nairuo Liu, Yueting Zhuang, Yunhe Pan:
  Translating EXPRESS language model into C language model. 30-39
• 
  Francisco Ortín Soler, Juan Manuel Cueva Lovelle, Ana Belén Martínez Prieto:
  The reflective nitrO abstract machine. 40-49
• 
  Boris Sunik:
  The paradigm of open C++. 50-59
• 
  Qing-Li Zhang, Ming-Yuan Zhu, Shuo-Ying Chen:
  Automatic generation of device drivers. 60-69

Volume 38, Number 7, July 2003

• 
  Ron Cytron, Rajiv Gupta:
  Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003. ACM 2003, ISBN 1-58113-662-5 [contents]

Volume 38, Number 8, August 2003

In Parallel

• 
  Thomas W. Christopher:
  Details on a simple parallel system. 12-14

Forth

• 
  Paul Frenger:
  The JOY of forth. 15-17

Technical Correspondence

• 
  Cornelis Pronk, Martin Schönhacker:
  Formal definition of programming language standards. 20-21
• 
  Baomin Xu, Weimin Lian, Qiang Gao:
  Migration of enterprise JavaBeans with ProActive Interposition Objects. 22-28
• 
  Pascal Costanza:
  Dynamically scoped functions as the essence of AOP. 29-36
• 
  Alex Iliasov:
  Templates-based portable just-in-time compiler. 37-43
• 
  Marjan Hericko, Matjaz B. Juric, Ivan Rozman, Simon Beloglavec, Ales Zivkovic:
  Object serialization analysis and comparison in Java and .NET. 44-54
• 
  Kurt Stephens:
  XVF: C++ introspection by extensible visitation. 55-59
• 
  K. V. Seshu Kumar:
  Value reuse optimization: reuse of evaluated math library function calls through compiler generated cache. 60-66

Volume 38, Number 9, September 2003

• 
  Thomas Knight Jr.:
  Conservation of information: applications in functional, reversible, and quantum computing. 1
• 
  Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra:
  Scripting the type inference process. 3-13
• 
  Matthias Neubauer, Peter Thiemann:
  Discriminative sum types locate the source of type errors. 15-26
• 
  Didier Le Botlan, Didier Rémy:
  ML^F: raising ML to the power of system F. 27-38
• 
  Vincent Simonet:
  An extension of HM(X) with bounded existential and universal data-types. 39-50
• 
  Véronique Benzaken, Giuseppe Castagna, Alain Frisch:
  CDuce: an XML-centric general-purpose language. 51-63
• 
  Michael Y. Levin:
  Compiling regular patterns. 65-77
• 
  Rex L. Page:
  Software is discrete mathematics. 79-86
• 
  James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough:
  Global abstraction-safe marshalling with hash types. 87-98
• 
  Gavin M. Bierman, Michael Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough:
  Dynamic rebinding for marshalling and update, with destruct-time ? 99-110
• 
  Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano:
  Iterative-free program analysis. 111-123
• 
  Harry G. Mairson:
  From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. 125
• 
  David Walker, Steve Zdancewic, Jay Ligatti:
  A theory of aspects. 127-139
• 
  Andres Löh, Dave Clarke, Johan Jeuring:
  Dependency-style generic haskell. 141-152
• 
  Henrik Nilsson:
  Functional automatic differentiation with dirac impulses. 153-164
• 
  Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett:
  A user-centred approach to functions in Excel. 165-176
• 
  Yukiyoshi Kameyama, Masahito Hasegawa:
  A sound and complete axiomatization of delimited continuations. 177-188
• 
  Philip Wadler:
  Call-by-value is dual to call-by-name. 189-201
• 
  Emmanuel Beffara, Vincent Danos:
  Disjunctive normal forms and local exceptions. 203-211
• 
  Yitzhak Mandelbaum, David Walker, Robert Harper:
  An effective theory of type refinements. 213-225
• 
  Tomoyuki Higuchi, Atsushi Ohori:
  A static type system for JVM access control. 227-237
• 
  R. John M. Hughes, S. Doaitse Swierstra:
  Polish parsers, step by step. 239-248
• 
  Geoffrey Washburn, Stephanie Weirich:
  Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. 249-262
• 
  Mark R. Shinwell, Andrew M. Pitts, Murdoch James Gabbay:
  FreshML: programming with binders made simple. 263-274
• 
  Chiyan Chen, Hongwei Xi:
  Meta-programming through typeful code representation. 275-286
• 
  Robert Ennals, Simon L. Peyton Jones:
  Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. 287-298
• 
  Mitchell Wand:
  Understanding aspects: extended abstract. 299-300

Volume 38, Number 10, October 2003

• 
  Michael Leuschel:
  Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003. ACM 2003, ISBN 1-58113-667-6 [contents]

Volume 38, Number 11, November 2003

• 
  Ron Crocker, Guy L. Steele Jr.:
  Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA. ACM 2003, ISBN 1-58113-712-5 [contents]

Volume 38, Number 12, December 2003

• 
  Colin Runciman, Olin Shivers:
  Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003. ACM 2003, ISBN 1-58113-756-7 [contents]