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 BibTeX
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
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
Electronic Edition (ACM DL) BibTeX
- Dai Guilan, Tian Jinlan, Zhang Suqing, Jiang Weidu, Dai Jun:
Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr.
38-44
Electronic Edition (ACM DL) BibTeX
- Dai Guilan, Zhang Suqing, Tian Jinlan, Jiang Weidu:
A study of compiler techniques for multiple targets in compiler infrastructures.
45-51
Electronic Edition (ACM DL) BibTeX
- Oleg Kiselyov:
SXML specification.
52-58
Electronic Edition (ACM DL) BibTeX
- W. Paul Cockshott:
Vector Pascal reference manual.
59-81
Electronic Edition (ACM DL) BibTeX
- Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang:
Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique.
82-92
Electronic Edition (ACM DL) BibTeX
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 BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Thomas Arts, Lars-Åke Fredlund:
Trace analysis of Erlang programs.
18-24
Electronic Edition (ACM DL) BibTeX
- Ulf Wiger, Gösta Ask, Kent Boortz:
World-class product certification using Erlang.
25-34
Electronic Edition (ACM DL) BibTeX
- Koen Claessen, Gordon J. Pace:
An embedded language approach to teaching hardware compilation.
35-46
Electronic Edition (ACM DL) BibTeX
- Koen Claessen, John Hughes:
Testing monadic code with QuickCheck.
47-59
Electronic Edition (ACM DL) BibTeX
- Tim Sheard, Simon L. Peyton Jones:
Template meta-programming for Haskell.
60-75
Electronic Edition (ACM DL) BibTeX
- Jean-Louis Giavitto, Olivier Michel, Julien Cohen:
Pattern-matching and rewriting rules for group indexed data structures.
76-87
Electronic Edition (ACM DL) BibTeX
- Martin Erwig, Deling Ren:
A rule-based language for programming software updates.
88-97
Electronic Edition (ACM DL) BibTeX
- Jan Friso Groote, Bert Lisser:
Computer assisted manipulation of algebraic process specifications.
98-107
Electronic Edition (ACM DL) BibTeX
- Miguel J. Hornos, Manuel I. Capel:
On-the-fly model checking from interval logic specifications.
108-119
Electronic Edition (ACM DL) BibTeX
Copyright © Sun May 17 00:21:50 2009
by Michael Ley (ley@uni-trier.de)
