Volume 37,
Number 1,
January 2002
Conference Record of POPL 2002:
The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Portland,
January 16-18,
2002. ISBN 1-58113-450-9,
ACM,
2002
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
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,
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
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
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
Proceedings of the SeventhACM SIGPLAN International Conference on Functional Programming (ICFP '02),
Pittsburgh,
Pennsylvania,
USA,
October 4-6,
2002. ACM,
ISBN 1-58113-487-8
Contents
Volume 37,
Number 10,
October 2002
Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X),
San Jose,
California,
October 5-9,
2002.
Contents
Volume 37,
Number 11,
November 2002
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems,
Languages and Applications,
OOPSLA 2002,
November 4-8,
2002,
Seattle,
Washington,
USA.
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 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
Copyright © Fri Mar 12 17:32:28 2010
by Michael Ley (ley@uni-trier.de)
