SIGPLAN Notices, Volume 41, 2006

Volume 41, Number 1, January 2006

J. Gregory Morrisett, Simon L. Peyton Jones (Eds.): Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006. ACM 2006, ISBN 1-59593-027-2
Contents BibTeX

Volume 41, Number 2, February 2006

Technical correspondence

Deyi Xue:
Developing a superset language of smalltalk for modeling distributed mechanical design systems. 8-17
Electronic Edition (ACM DL) BibTeX
Kallol Borah:
Indus: an object oriented language for Ubiquitous computing. 18-24
Electronic Edition (ACM DL) BibTeX
Shiva Prasad Kintali:
MxYacc: parser generator for mixed languages. 25-28
Electronic Edition (ACM DL) BibTeX
Mike Murphy:
Some suggestions for the use of tables in compilers. 29-33
Electronic Edition (ACM DL) BibTeX

Volume 41, Number 3, March 2006

Workshop on partial evaluation and program manipulation (PEPM 2006)

Mark W. Bailey, John Hatcliff, Frank Tip:
PEPM 2006 paper abstracts. 4-8
Electronic Edition (ACM DL) BibTeX

Technical correspondence

D. Janakiram, R. Venkateswarlu, A. Vijay Srinivas, A. Uday Kumar:
Soma: a compositional language for distributed systems. 10-19
Electronic Edition (ACM DL) BibTeX
Zhang Ning, Guangze Xiong:
Minimizing GC work by analysis of live objects. 20-29
Electronic Edition (ACM DL) BibTeX
Anthony H. Dekker:
Lazy functional programming in Java. 30-39
Electronic Edition (ACM DL) BibTeX
Byeong-Mo Chang:
Static check analysis for Java stack inspection. 40-48
Electronic Edition (ACM DL) BibTeX

Volume 41, Number 4, April 2006

Forth

Paul Frenger:
Ten years of Forth in ACM Sigplan Notices: part 2. 3-14
Electronic Edition (ACM DL) BibTeX

Technical correspondence

Paul B. Mann:
A translational BNF grammar notation (TBNF). 16-23
Electronic Edition (ACM DL) BibTeX
Dillip Kumar Lenka, Pawan Kumar:
States merging in LR parser. 24-29
Electronic Edition (ACM DL) BibTeX
Shujuan Jiang, Baowen Xu, Liang Shi:
An approach to analyzing recursive programs with exception handling constructs. 30-35
Electronic Edition (ACM DL) BibTeX
Javier Tuya, María José Suárez Cabal, Claudio de la Riva:
A practical guide to SQL white-box testing. 36-41
Electronic Edition (ACM DL) BibTeX
Raghavendra Rao Loka:
Compilation reuse and hybrid compilation: an experiment. 42-49
Electronic Edition (ACM DL) BibTeX

Volume 41, Number 5, May 2006

Technical correspondence

Chandan Kumar Behera, Pawan Kumar:
An improved algorithm for loop dead optimization. 11-20
Electronic Edition (ACM DL) BibTeX
Sewon Moon, Byeong-Mo Chang:
A thread monitoring system for multithreaded Java programs. 21-29
Electronic Edition (ACM DL) BibTeX
Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río:
A monadic program slicer. 30-38
Electronic Edition (ACM DL) BibTeX
Michael D. Adams, David S. Wise:
Fast additions on masked integers. 39-45
Electronic Edition (ACM DL) BibTeX
Richard A. Frost, Rahmatullah Hafiz:
A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time. 46-54
Electronic Edition (ACM DL) BibTeX

Volume 41, Number 6, June 2006

Michael I. Schwartzbach, Thomas Ball (Eds.): Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006. ACM 2006, ISBN 1-59593-320-4
Contents BibTeX

Volume 41, Number 7, July 2006

Mary Jane Irwin, Koen De Bosschere (Eds.): Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006. ACM 2006, ISBN 1-59593-362-X
Contents BibTeX

Volume 41, Number 8, August 2006

Scheme 2006

Robert Bruce Findler:
Scheme and Functional Programming 2006: paper abstracts. 6-9
Electronic Edition (ACM DL) BibTeX

Forth: Forth & small systems report

Paul Frenger:
Book review: Designing Embedded Hardware. 10-14
Electronic Edition (ACM DL) BibTeX

Technical correspondence

Ben Denckla:
Many cyclic block diagrams do not need parallel semantics. 16-20
Electronic Edition (ACM DL) BibTeX
Dibyendu Das:
Optimizing subroutines with optional parameters in F90 via function cloning. 21-28
Electronic Edition (ACM DL) BibTeX
Fuh-Gwo Chen, Ting-Wei Hou:
Instruction-coated translation: an approach to restructure directly threaded interpreters with low cohesion. 29-33
Electronic Edition (ACM DL) BibTeX
J. Ángel Velázquez-Iturbide:
Principled design of logical fisheye views of functional expressions. 34-43
Electronic Edition (ACM DL) BibTeX

Volume 41, Number 9, September 2006

John H. Reppy, Julia L. Lawall (Eds.): Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. ACM 2006, ISBN 1-59593-309-3
Contents BibTeX

Volume 41, Number 10, October 2006

Peri L. Tarr, William R. Cook (Eds.): Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. ACM 2006, ISBN 1-59593-348-4
Contents BibTeX

Volume 41, Number 11, November 2006

John Paul Shen, Margaret Martonosi (Eds.): Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006. ACM 2006, ISBN 1-59593-451-0
Contents BibTeX

Volume 41, Number 12, December 2006

Forth

Paul Frenger:
Forth & small systems report: potential unrealized: the MicroMED advisor. 10-16
Electronic Edition (ACM DL) BibTeX

Technical correspondence

Fangjun Wu:
Formal specification of program slicing. 18-27
Electronic Edition (ACM DL) BibTeX
Sandya Mannarswamy, Shruti Doval, Hariharan Sandanagobalane, Mahesha Nanjundaiah:
TRICK: tracking and reusing compiler's knowledge. 28-37
Electronic Edition (ACM DL) BibTeX
B. Wang, C. Pronk:
Design and implementation of a GUI for the TLC model checker. 38-43
Electronic Edition (ACM DL) BibTeX
Alpana Dubey:
Goodness criteria for programming language grammar rules. 44-53
Electronic Edition (ACM DL) BibTeX