SIGPLAN Notices, Volume 39, 2004

Volume 39, Number 1, January 2004

Neil D. Jones, Xavier Leroy (Eds.): Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004. ACM 2004, ISBN 1-58113-729-X
Contents

Volume 39, Number 2, February 2004

Forth

Paul Frenger:
Dutch treat. 7-10

Technical Correspondence

Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay:
Adding the leads-to operator to Dijkstra's calculus. 12-17
Hongmin Lu, Yuming Zhou, Jiangtao Lu, Baowen Xu:
A compile-time optimization framework for Ada rendezvous. 18-25
Litong Song, Krishna M. Kavi:
What can we gain by unfolding loops? 26-33
Yuan Liu, Baowen Xu:
Process algebra model of Ada protected objects. 34-39

Volume 39, Number 3, March 2004

Forth report

Paul Frenger:
Deus Ex Macintosh. 7-11

Technical Correspondence

Yingzhou Zhang, Baowen Xu:
A survey of semantic description frameworks for programming languages. 14-30
Jonathan Yavner:
Back-propagation of knowledge from syntax tree to C source code. 31-37
K. V. Seshu Kumar:
When and what to compile/optimize in a virtual machine? 38-45
Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Generalized typestate checking using set interfaces and pluggable analyses. 46-55

Volume 39, Number 4, April 2004

Kathryn S. McKinley (Ed.): 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection. ACM 2004, ISBN 1-58113-623-4
Contents

Volume 39, Number 5, May 2004

Functional Programming

Chung-chieh Shan:
Sexy types in action. 15-22

Technical Correspondence

Debasish Ghosh:
Generics in Java and C++: a comparative model. 40-47
Paul Damian Wells:
A universal intermediate representation for massively parallel software development. 48-57
Matjaz B. Juric, Bostjan Kezmah, Marjan Hericko, Ivan Rozman, Ivan Vezocnik:
Java RMI, RMI tunneling and Web services comparison and performance analysis. 58-65
Isaiah Pinchas Kantorovitz:
Lexical analysis tool. 66-74

Volume 39, Number 6, June 2004

William Pugh, Craig Chambers (Eds.): Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004. ACM 2004, ISBN 1-58113-807-5
Contents

Volume 39, Number 7, July 2004

Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004. ACM 2004
Contents

Volume 39, Number 8, August 2004

Forth

Paul Frenger:
Embed with Forth. 8-11

How things were

G. Alan Creak:
Parsing by numbers and asparagus. 12-19

Technical correspondence

John K. Reid:
An overview of Fortran 2003. 31-38
Fangjun Wu, Tong Yi:
Slicing Z specifications. 39-48
Dmitri Bronnikov:
A practical adoption of partial redundancy elimination. 49-53
José de Oliveira Guimarães:
Closures for statically-typed object-oriented languages. 54-60
Chitra Babu, D. Janaki Ram:
Method driven model: a unified model for an object composition language. 61-71
S. M. Sandya:
Jazzing up JVMs with off-line profile data: does it pay? 72-80

Volume 39, Number 9, September 2004

Chris Okasaki, Kathleen Fisher (Eds.): Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004. ACM 2004, ISBN 1-58113-905-5
Contents

Volume 39, Number 10, October 2004

John M. Vlissides, Douglas C. Schmidt (Eds.): Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada. ACM 2004, ISBN 1-58113-833-4
Contents

Volume 39, Number 11, November 2004

Shubu Mukherjee, Kathryn S. McKinley (Eds.): Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2004, Boston, MA, USA, October 7-13, 2004. ACM 2004, ISBN 1-58113-804-0
Contents

Volume 39, Number 12, December 2004

Forth

Paul Frenger:
Forth and AI revisited: BRAIN.FORTH. 11-16

Technical correspondence

Brian Cabana, Suad Alagic, Jeff Faulkner:
Parametric polymorphism for Java: is there any hope in sight? 22-31
Elliott Hughes:
Checking spelling in source code. 32-38

OOPSLA onward!

James Noble, Robert Biddle:
Notes on notes on postmodern programming. 40-56
David West:
Looking for love (in all the wrong places). 57-63
Brian Marick:
Methodology work is ontology work. 64-72
Munindar P. Singh, Amit K. Chopra, Nirmit Desai, Ashok U. Mallya:
Protocols for processes: programming in the large for open systems. 73-83
Jonathan Edwards:
Example centric programming. 84-91
David Hovemeyer, William Pugh:
Finding bugs is easy. 92-106
Yinliang Zhao:
Granule-oriented programming. 107-118
Tim Sheard:
Languages of the future. 119-132