default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGPLAN Notices, Volume 39, 2004
Volume 39, Number 1, January 2004
- Neil D. Jones, Xavier Leroy:
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004. ACM 2004, ISBN 1-58113-729-X [contents]
Volume 39, Number 2, February 2004
- Paul Frenger:
Dutch treat. 7-10
- Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay:
Adding the leads-to operator to Dijkstra's calculus. 12-17 - Hongmin Lu, Yuming Zhou, Jiangtao Lu, Baowen Xu
:
A compile-time optimization framework for Ada rendezvous. 18-25 - Litong Song, Krishna M. Kavi:
What can we gain by unfolding loops? 26-33 - Yuan Liu, Baowen Xu:
Process algebra model of Ada protected objects. 34-39
Volume 39, Number 3, March 2004
- Paul Frenger:
Deus Ex Macintosh. 7-11
- Yingzhou Zhang, Baowen Xu:
A survey of semantic description frameworks for programming languages. 14-30 - Jonathan Yavner:
Back-propagation of knowledge from syntax tree to C source code. 31-37 - K. V. Seshu Kumar:
When and what to compile/optimize in a virtual machine? 38-45 - Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Generalized typestate checking using set interfaces and pluggable analyses. 46-55
Volume 39, Number 4, April 2004
- Kathryn S. McKinley:
20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection. ACM 2004, ISBN 1-58113-623-4 [contents]
Volume 39, Number 5, May 2004
- Chung-chieh Shan:
Sexy types in action. 15-22
- Debasish Ghosh:
Generics in Java and C++: a comparative model. 40-47 - Paul Damian Wells:
A universal intermediate representation for massively parallel software development. 48-57 - Matjaz B. Juric, Bostjan Kezmah, Marjan Hericko, Ivan Rozman, Ivan Vezocnik:
Java RMI, RMI tunneling and Web services comparison and performance analysis. 58-65 - Isaiah Pinchas Kantorovitz:
Lexical analysis tool. 66-74
Volume 39, Number 6, June 2004
- William W. Pugh, Craig Chambers:
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004. ACM 2004, ISBN 1-58113-807-5 [contents]
Volume 39, Number 7, July 2004
- David B. Whalley, Ron Cytron:
Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004. ACM 2004, ISBN 1-58113-806-7 [contents]
Volume 39, Number 8, August 2004
- Paul Frenger:
Embed with Forth. 8-11
- G. Alan Creak:
Parsing by numbers and asparagus. 12-19
- John K. Reid:
An overview of Fortran 2003. 31-38 - Fangjun Wu, Tong Yi:
Slicing Z specifications. 39-48 - Dmitri Bronnikov:
A practical adoption of partial redundancy elimination. 49-53 - José de Oliveira Guimarães:
Closures for statically-typed object-oriented languages. 54-60 - Chitra Babu, D. Janaki Ram:
Method driven model: a unified model for an object composition language. 61-71 - S. M. Sandya:
Jazzing up JVMs with off-line profile data: does it pay? 72-80
Volume 39, Number 9, September 2004
- Chris Okasaki, Kathleen Fisher:
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004. ACM 2004, ISBN 1-58113-905-5 [contents]
Volume 39, Number 10, October 2004
- John M. Vlissides, Douglas C. Schmidt:
Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada. ACM 2004, ISBN 1-58113-831-8 [contents]
Volume 39, Number 11, November 2004
- Shubu Mukherjee, Kathryn S. McKinley:
Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2004, Boston, MA, USA, October 7-13, 2004. ACM 2004, ISBN 1-58113-804-0 [contents]
Volume 39, Number 12, December 2004
- Paul Frenger:
Forth and AI revisited: BRAIN.FORTH. 11-16
- Brian Cabana, Suad Alagic, Jeff Faulkner:
Parametric polymorphism for Java: is there any hope in sight? 22-31 - Elliott Hughes:
Checking spelling in source code. 32-38
- James Noble, Robert Biddle:
Notes on notes on postmodern programming. 40-56 - David West:
Looking for love (in all the wrong places). 57-63 - Brian Marick:
Methodology work is ontology work. 64-72 - Munindar P. Singh, Amit K. Chopra, Nirmit Desai, Ashok U. Mallya:
Protocols for processes: programming in the large for open systems. 73-83 - Jonathan Edwards:
Example centric programming. 84-91 - David Hovemeyer, William W. Pugh:
Finding bugs is easy. 92-106 - Yinliang Zhao:
Granule-oriented programming. 107-118 - Tim Sheard:
Languages of the future. 119-132
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-04 22:09 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:
