SIGPLAN Notices, Volume 40, 2005

Volume 40, Number 1, January 2005

Jens Palsberg, Martín Abadi (Eds.): Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005. ACM 2005, ISBN 1-58113-830-X
Contents

Volume 40, Number 2, February 2005

Forth

Paul Frenger:
Tina: an improbable 3-pin microcontroller. 5-10

Technical correspondence

Mihal Badjonski, Mirjana Ivanovic, Zoran Budimac:
Adaptable Java Agents (AJA): a tool for programming of multi-agent systems. 17-26
Shujuan Jiang, Baowen Xu:
An efficient and reliable object-oriented exception handling mechanism. 27-32
Sachin Shaw, Pawan Kumar:
Loop-dead optimization. 33-40
Alexandros Zerzelidis, Andy J. Wellings:
Requirements for a real-time .NET framework. 41-50

Volume 40, Number 3, March 2005

Circular patterns

Viera K. Proulx, Tanya Cashorali:
Calculator problem and the design recipe. 4-11

Technical correspondence

Conrad Mueller:
Axiomatic computational model. 29-39
Yuqiang Xian, Guangze Xiong:
Minimizing memory requirement of real-time systems with concurrent garbage collector. 40-48

Volume 40, Number 4, April 2005

Forth

Paul Frenger:
Tired by Forth?: you should be! 5-8

Technical correspondence

Tetsuo Saitou, Mitsugu Suzuki, Tan Watanabe:
Dominance analysis of irreducible CFGs by reduction. 10-19
Simon Beloglavec, Marjan Hericko, Matjaz B. Juric, Ivan Rozman:
Analysis of the limitations of multiple client handling in a Java server environment. 20-28
Matej Crepinsek, Marjan Mernik, Viljem Zumer:
Extracting grammar from programs: brute force approach. 29-38
Matej Crepinsek, Marjan Mernik, Faizan Javed, Barrett R. Bryant, Alan P. Sprague:
Extracting grammar from programs: evolutionary approach. 39-46
Peter van der Spek, Nico Plat, Cornelis Pronk:
Syntax error repair for a Java-based parser generator. 47-50
Patricio Bulic, Veselko Gustin:
An efficient way to filter out data dependences with a sufficiently large distance between memory references. 51-60

Volume 40, Number 5, May 2005

Robert Glück, Masahiko Kawabe:
Revisiting an automatic program inverter for Lisp. 8-17
Rajeev Kumar, Vikram Agrawal, Anil Mangolia:
Realization of multimethods in single dispatch object oriented languages. 18-27
Boris Sunik:
The specification language T. 28-38
M. D. Derk:
Towards a simpler method of operational semantics for language definition. 39-44
Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto:
Recursion patterns and time-analysis. 45-54

Volume 40, Number 6, June 2005

Vivek Sarkar, Mary W. Hall (Eds.): Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005. ACM 2005, ISBN 1-59593-056-6
Contents

Volume 40, Number 7, July 2005

Yunheung Paek, Rajiv Gupta (Eds.): Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'05), Chicago, Illinois, USA, June 15-17, 2005. ACM 2005, ISBN 1-59593-018-3
Contents

Volume 40, Number 8, August 2005

Forth

Paul Frenger:
Forth sorts fruit down under. 7-10

Technical correspondence

Jeff Furlong, Atanas Radenski:
Handling the subclassing anomaly with Object Teams. 12-18
Saso Greiner, Damijan Rebernak, Janez Brest, Viljem Zumer:
Z₀ - a tiny experimental language. 19-28
Dirk Draheim, Christof Lutteroth, Gerald Weber:
Generative programming for C#. 29-33
Shujuan Jiang, Yongping Zhang, Dashun Yan, Yuanpeng Jiang:
An approach to automatic testing exception handling. 34-39

Volume 40, Number 9, September 2005

Olivier Danvy, Benjamin C. Pierce (Eds.): Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005. ACM 2005, ISBN 1-59593-064-7
Contents

Volume 40, Number 10, October 2005

Ralph E. Johnson, Richard P. Gabriel (Eds.): Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA. ACM 2005, ISBN 1-59593-031-0
Contents

Volume 40, Number 11, November 2005

Forth report

Paul Frenger:
Ten years of Forth in ACM Sigplan Notices: part 1. 4-16

Technical Correspondence

Chandan Kumar Behera, Pawan Kumar:
An improved algorithm for loop dead optimization. 18-28
Bixin Li, Ying Zhou, Yancheng Wang, Junhui Mo:
Matrix-based component dependence representation and its applications in software quality assurance. 29-36
Robert M. Siegfried, Denis Diakoniarakis, Kenneth G. Franqueiro, Amol Jain:
Extending a scripting language for visual basic forms. 37-40

Volume 40, Number 12, December 2005

Anthony Savidis:
More dynamic imperative languages. 6-13
Rajeev Kumar, Amit Gupta, B. S. Pankaj, Mrinmoy Ghosh, P. P. Chakrabarti:
Post-compilation optimization for multiple gains with pattern matching. 14-23
Raghavendra Rao Loka:
Hybrid compilation: a case study. 24-27
José Luis Sierra, Antonio Navarro, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor:
Incremental definition and operationalization of domain-specific markup languages in ADDS. 28-37

Last update Tue May 21 19:36:23 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page