SIGPLAN Notices, Volume 42, 2007

Volume 42, Number 1, January 2007

Martin Hofmann, Matthias Felleisen (Eds.): Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007. ACM 2007, ISBN 1-59593-575-4
Contents

Volume 42, Number 2, February 2007

Hsiang-Yang Chen, Ting-Wei Hou, Chun-Liang Lin:
Tamper-proofing basis path by using oblivious hashing on Java. 9-16
Rajeev Kumar, Soham Sundar Chakraborty:
Precise static type analysis for object oriented programs. 17-26
Éric Tanter:
On dynamically-scoped crosscutting mechanisms. 27-33
William R. Mahoney, William L. Sousan:
Using common off-the-shelf tools to implement dynamic aspects. 34-41

Volume 42, Number 3, March 2007

Paul Frenger:
Forth & small systems report. 2-5
Chin-Yang Lin, Ting-Wei Hou:
A simple and efficient algorithm for cycle collection. 7-13
Cristóbal Pareja-Flores, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide:
WinHIPE: an IDE for functional programming based on rewriting and visualization. 14-23

Volume 42, Number 4, April 2007

Shujuan Jiang, Yuanpeng Jiang:
An analysis approach for testing exception handling programs. 3-8
Ting-Wei Hou, Fuh-Gwo Chen:
An anomaly in an interpreter using GCC source-code-level register allocation. 9-13
Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh:
A programming environment for ubiquitous computing environment. 14-22
Igor B. Smirnov:
Raw pointers in application classes of C++ considered harmful. 23-31

Volume 42, Number 5, May 2007

Huihui Shi, Yi Wang, Haibing Guan, Alei Liang:
An intermediate language level optimization framework for dynamic binary translation. 3-9
Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal:
Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus. 10-15

Volume 42, Number 6, June 2007

Jeanne Ferrante, Kathryn S. McKinley (Eds.): Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. ACM 2007, ISBN 978-1-59593-633-2
Contents

Volume 42, Number 7, July 2007

Santosh Pande, Zhiyuan Li (Eds.): Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007. ACM 2007, ISBN 978-1-59593-632-5
Contents

Volume 42, Number 8, August 2007

Michael Dunlavey:
Performance tuning with instruction-level cost derived from call-stack sampling. 4-8
Yarom Gabay, Assaf J. Kfoury:
A calculus for java's reference objects. 9-17

Volume 42, Number 9, October 2007

Ralf Hinze, Norman Ramsey (Eds.): Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. ACM 2007, ISBN 978-1-59593-815-2
Contents

Volume 42, Number 10, October 2007

Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr. (Eds.): Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. ACM 2007, ISBN 978-1-59593-786-5
Contents

Volume 42, Number 11, November 2007

Forth & small systems report

Paul Frenger:
Hacking your mouse: errata for March 2007. 3

Technical correspondence

Monalisa Sarma, Rajib Mall:
Synthesis of system state models. 5-14
Kurt Svensson:
Faster XML data validation in a programming language with XML datatypes. 15-21

Volume 42, Number 12, December 2007

Feng Xia, Guosong Tian, Youxian Sun:
Feedback scheduling: an event-driven paradigm. 7-14
Apostolos Syropoulos:
Pi machines: virtual machines realizing graph structured transition P systems. 15-22

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