Volume 37, Number 1, January 2002
John Launchbury, John C. Mitchell (Eds.):
Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002.
ACM 2002, ISBN 1-58113-450-9
Contents 
Volume 37, Number 2, February 2002
Activities
Conference Corner
Forth
In Parallel
How Things Are
- G. Alan Creak:
Programming lessons from days gone by: Backward ran sentences until reeled the mind.
23-26
Technical Correspondence
Volume 37, Number 3, March 2002
Peter Thiemann (Ed.):
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002.
ACM 2002, ISBN 1-58113-455-X
Contents
Volume 37, Number 4, April 2002
Activities
Conference Corner
Forth
How things were
- G. Alan Creak:
Programming lessons from days gone by: Cobol, stewed for students.
21-26
In Parallel
Technical Correspondence
Volume 37, Number 5, May 2002
Jens Knoop, Laurie J. Hendren (Eds.):
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002.
ACM 2002, ISBN 1-58113-463-0
Contents
Volume 37, Number 6, June 2002
Forth report
Curricular patterns
Technical correspondence
- Haiming Chen, Yunmei Dong:
Yet another meta-language for programming language processing.
28-37
- Dai Guilan, Tian Jinlan, Zhang Suqing, Jiang Weidu, Dai Jun:
Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr.
38-44
- Dai Guilan, Zhang Suqing, Tian Jinlan, Jiang Weidu:
A study of compiler techniques for multiple targets in compiler infrastructures.
45-51
- Oleg Kiselyov:
SXML specification.
52-58
- W. Paul Cockshott:
Vector Pascal reference manual.
59-81
- Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang:
Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique.
82-92
Volume 37, Number 7, July 2002
Peter Marwedel, Srinivas Devadas (Eds.):
Proceedings of the 2002 Joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June 2002.
ACM 2002, ISBN 1-58113-527-0
Contents
Volume 37, Number 8, August 2002
Forth
Practical parsing patterns
In parallel
Technical correspondence
Volume 37, Number 9, September 2002
Mitchell Wand, Simon L. Peyton Jones (Eds.):
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002.
ACM 2002, ISBN 1-58113-487-8
Contents
Volume 37, Number 10, October 2002
Kourosh Gharachorloo (Ed.):
Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), San Jose, California, USA, October 5-9, 2002.
ACM Press 2002, ISBN 1-58113-574-2
Contents
Volume 37, Number 11, November 2002
Mamdouh Ibrahim, Satoshi Matsuoka (Eds.):
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002.
ACM 2002, ISBN 1-58113-471-1
Contents
Volume 37, Number 12, December 2002
Forth report
How things were
PLI workshops
- Cindy Norris:
Introduction to special issue.
17
- Thomas Arts, Lars-Åke Fredlund:
Trace analysis of Erlang programs.
18-24
- Ulf T. Wiger, Gösta Ask, Kent Boortz:
World-class product certification using Erlang.
25-34
- Koen Claessen, Gordon J. Pace:
An embedded language approach to teaching hardware compilation.
35-46
- Koen Claessen, John Hughes:
Testing monadic code with QuickCheck.
47-59
- Tim Sheard, Simon L. Peyton Jones:
Template meta-programming for Haskell.
60-75
- Jean-Louis Giavitto, Olivier Michel, Julien Cohen:
Pattern-matching and rewriting rules for group indexed data structures.
76-87
- Martin Erwig, Deling Ren:
A rule-based language for programming software updates.
88-97
- Jan Friso Groote, Bert Lisser:
Computer assisted manipulation of algebraic process specifications.
98-107
- Miguel J. Hornos, Manuel I. Capel:
On-the-fly model checking from interval logic specifications.
108-119
Last update Sat May 18 20:53:26 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
