default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGPLAN Notices, Volume 42, 2007
Volume 42, Number 1, January 2007
- Martin Hofmann, Matthias Felleisen:
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:
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:
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:
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.:
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
- Paul Frenger:
Hacking your mouse: errata for March 2007. 3
- 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
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.
last updated on 2025-12-12 01:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
