![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
SIGPLAN Notices, Volume 37, 2002
Volume 37, Number 1, January 2002
- John Launchbury, John C. Mitchell:
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
- Jay Fenwick, Cindy Norris:
Thank you, Seth. 1
- Calendar. 4-12
- Julian V. Noble:
Jump Tables and State Machines. 14-19
- Thomas W. Christopher:
What Should Be In a Parallel Library. 20-22
- G. Alan Creak:
Programming lessons from days gone by: Backward ran sentences until reeled the mind. 23-26
- Prabhat K. Singh, Arun Lakhotia:
Analysis and Detection of Computer Viruses and Worms: An Annotated Bibliography. 29-35 - Awais Rashid
:
Weaving Aspects in a Persistent Environment. 36-44 - Bernd Kühl, Axel-Tobias Schreiner:
Objects for Lexical Analysis. 45-52 - Robert M. Siegfried:
A Scripting Language to Help the Blind to Program Visually. 53-56 - Nadia Nedjah, Luiza de Macedo Mourelle
:
Efficient Concise Deterministic Pattern-Matching Automata for Ambiguous Patterns. 57-67 - Zongyan Qiu:
Bit Vector Encoding of N-Queen Problem. 68-70
Volume 37, Number 3, March 2002
- Peter Thiemann:
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
- Norman Ramsey:
LATEX Support for Proceedings. ACM SIGPLAN Notices 37(4): 1-3 (2002)
- Calendar. ACM SIGPLAN Notices 37(4): 5-14 (2002)
- Paul Frenger:
Forth report: strap-on Forth. 17-20
- G. Alan Creak:
Programming lessons from days gone by: Cobol, stewed for students. 21-26
- Thomas W. Christopher:
Communicating reactive objects: message-driven parallelism. 27-28
- Conrad Weisert:
Pseudo object-oriented programming considered harmful. 31 - Karen Zee, Martin C. Rinard:
Write barrier removal by static analysis. 32-41 - Yumin Zhang, Xiaobo Hu
, Danny Z. Chen:
Efficient global register allocation for minimizing energy consumption. 42-53 - Diomidis Spinellis:
A modest proposal for curing the public field phobia. 54-56 - Pascal Ledru:
Smart proxies for Jini services. 57-61 - César F. Acebal, Raúl Izquierdo Castanedo, Juan Manuel Cueva Lovelle:
Good design principles in a compiler university course. 62-73 - Paul Damian Wells:
The HSSM macro-architecture, Virtual Machine and H languages. 74-82
Volume 37, Number 5, May 2002
- Jens Knoop, Laurie J. Hendren:
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
- Paul Frenger:
Forth's DOOM. 14-17
- Joseph Bergin, Russel L. Winder:
Understanding object-oriented programming. 18-25
- Haiming Chen, Yunmei Dong:
Yet another meta-language for programming language processing. 28-37 - Guilan Dai, Jinlan Tian, Suqing Zhang, Weidu Jiang, Jun Dai:
Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr. 38-44 - Guilan Dai, Suqing Zhang, Jinlan Tian, Weidu Jiang:
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:
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
- Paul Frenger:
Quartus forth for the palm pilot. 6-8
- Chris Clark:
Conflicts. 9-14
- Thomas W. Christopher:
HPC is a strange land. 15-16
- Elliott Hughes:
How many trivial getter methods does java have? 19-24 - Taewoong Jeon, Hyonwoo Seung, Sungyoung Lee:
Embedding built-in tests in hot spots of an object-oriented framework. 25-34 - Francisco Ortín Soler, Juan Manuel Cueva Lovelle:
Implementing a real computational-environment jump in order to develop a runtime-adaptable reflective platform. 35-44 - Zhenqiang Chen, Baowen Xu
, Jianjun Zhao:
An overview of methods for dependence analysis of concurrent programs. 45-52 - Dhananjay M. Dhamdhere:
E-path_PRE: partial redundancy elimination made easy. 53-65 - Kyung-Goo Doh, Seung Cheol Shin:
Detection of information leak by data flow analysis. 66-71
Volume 37, Number 9, September 2002
- Mitchell Wand, Simon L. Peyton Jones:
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, David A. Wood:
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:
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
- Paul Frenger:
Going APE.FORTH to mars. 9-13
- G. Alan Creak:
Edsger W. Dijkstra. 14-16
- 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.