Volume 38, Number 1, January 2003

• 
  Alex Aiken, Greg Morrisett (Eds.): 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, (ACM SIGPLAN Notices 38(1), January 2003) [ 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 (Eds.): 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 (Eds.): 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 (Eds.): 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 (Eds.): 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 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 (Ed.): 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. (Eds.): 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 (Eds.): 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 ]