Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarSIGPLAN Notices, Volume 38, 2003
Volume 38, Number 1, January 2003
- Alex Aiken, Greg Morrisett:
Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003. ACM 2003, ISBN 1-58113-628-5 [contents]
Volume 38, Number 2, February 2003
- Dai Guilan, Tian Jinlan, Zhang Suqing, Jiang Weidu:
An abstract intermediate representation in compilation systems. 12-18 - Jennifer Hamilton:
Language integration in the common language runtime. 19-28 - Quinn Tyler Jackson
:
Efficient formalism-only parsing of XML/HTML using the s-calculus. 29-35 - Jonathan L. Schilling:
The simplest heuristics may be the best in Java JIT compilers. 36-46 - Robert Sinclair:
Interactive mathematics textbooks. 47-56 - Christian Queinnec:
Inverting back the inversion of control or, continuations versus page-centric programming. 57-64
Volume 38, Number 2 Supplement, February 2003
- Hans-Juergen Boehm, David Detlefs:
Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany. ACM 2002, ISBN 1-58113-539-4 [contents]
Volume 38, Number 3, March 2003
- Zhong Shao, Peter Lee:
Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003. ACM 2003, ISBN 1-58113-649-8 [contents]
Volume 38, Number 4, April 2003
- G. Alan Creak:
Everything is Fortran, in its own way. 7-12
- Paul Frenger:
Evaluating Forth in the Windows environment. 13-15
- Dibyendu Das:
Function inlining versus function cloning. 18-24 - José de Oliveira Guimarães:
Experiences in building a compiler for an object-oriented language. 25-33 - Jagun Kwon, Andy J. Wellings, Steve King:
Assessment of the Java programming language for use in high integrity systems. 34-46 - Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang:
A formal semantic definition of DEVIL. 47-56 - Hai Zhuge, Jie Liu:
KGOL: a Knowledge Grid operating language. 57-66
Volume 38, Number 5, May 2003
- Frank Mueller, Ulrich Kremer:
Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003. ACM 2003, ISBN 1-58113-647-1 [contents]
Volume 38, Number 6, June 2003
- Thomas W. Christopher:
A simple parallel system. 6-8
- Achla Agarwal, Krishna Agarwal:
Some deficiencies of C++ in teaching CS1 and CS2. 9-13
- Barbara G. Ryder, Mary Lou Soffa:
Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design. 16-22 - Dibyendu Das:
Function inlining versus function cloning. 23-29 - Chunyan Yu, Minghui Wu, Nairuo Liu, Yueting Zhuang, Yunhe Pan:
Translating EXPRESS language model into C language model. 30-39 - Francisco Ortín Soler, Juan Manuel Cueva Lovelle, Ana Belén Martínez Prieto:
The reflective nitrO abstract machine. 40-49 - Boris Sunik:
The paradigm of open C++. 50-59 - Qing-Li Zhang, Ming-Yuan Zhu, Shuo-Ying Chen:
Automatic generation of device drivers. 60-69
Volume 38, Number 7, July 2003
- Ron Cytron, Rajiv Gupta:
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003. ACM 2003, ISBN 1-58113-662-5 [contents]
Volume 38, Number 8, August 2003
- Thomas W. Christopher:
Details on a simple parallel system. 12-14
- Paul Frenger:
The JOY of forth. 15-17
- Cornelis Pronk, Martin Schönhacker:
Formal definition of programming language standards. 20-21 - Baomin Xu, Weimin Lian, Qiang Gao:
Migration of enterprise JavaBeans with ProActive Interposition Objects. 22-28 - Pascal Costanza:
Dynamically scoped functions as the essence of AOP. 29-36 - Alex Iliasov:
Templates-based portable just-in-time compiler. 37-43 - Marjan Hericko, Matjaz B. Juric, Ivan Rozman, Simon Beloglavec, Ales Zivkovic:
Object serialization analysis and comparison in Java and .NET. 44-54 - Kurt Stephens:
XVF: C++ introspection by extensible visitation. 55-59 - K. V. Seshu Kumar:
Value reuse optimization: reuse of evaluated math library function calls through compiler generated cache. 60-66
Volume 38, Number 9, September 2003
- Thomas Knight Jr.:
Conservation of information: applications in functional, reversible, and quantum computing. 1 - Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra:
Scripting the type inference process. 3-13 - Matthias Neubauer, Peter Thiemann:
Discriminative sum types locate the source of type errors. 15-26 - Didier Le Botlan, Didier Rémy:
MLF: raising ML to the power of system F. 27-38 - Vincent Simonet:
An extension of HM(X) with bounded existential and universal data-types. 39-50 - Véronique Benzaken, Giuseppe Castagna, Alain Frisch:
CDuce: an XML-centric general-purpose language. 51-63 - Michael Y. Levin:
Compiling regular patterns. 65-77 - Rex L. Page:
Software is discrete mathematics. 79-86 - James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough:
Global abstraction-safe marshalling with hash types. 87-98 - Gavin M. Bierman, Michael Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough:
Dynamic rebinding for marshalling and update, with destruct-time ? 99-110 - Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano:
Iterative-free program analysis. 111-123 - Harry G. Mairson:
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. 125 - David Walker, Steve Zdancewic, Jay Ligatti:
A theory of aspects. 127-139 - Andres Löh, Dave Clarke, Johan Jeuring:
Dependency-style generic haskell. 141-152 - Henrik Nilsson:
Functional automatic differentiation with dirac impulses. 153-164 - Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett:
A user-centred approach to functions in Excel. 165-176 - Yukiyoshi Kameyama, Masahito Hasegawa:
A sound and complete axiomatization of delimited continuations. 177-188 - Philip Wadler:
Call-by-value is dual to call-by-name. 189-201 - Emmanuel Beffara, Vincent Danos:
Disjunctive normal forms and local exceptions. 203-211 - Yitzhak Mandelbaum, David Walker, Robert Harper:
An effective theory of type refinements. 213-225 - Tomoyuki Higuchi, Atsushi Ohori:
A static type system for JVM access control. 227-237 - R. John M. Hughes, S. Doaitse Swierstra:
Polish parsers, step by step. 239-248 - Geoffrey Washburn, Stephanie Weirich:
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. 249-262 - Mark R. Shinwell, Andrew M. Pitts, Murdoch James Gabbay:
FreshML: programming with binders made simple. 263-274 - Chiyan Chen, Hongwei Xi:
Meta-programming through typeful code representation. 275-286 - Robert Ennals, Simon L. Peyton Jones:
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. 287-298 - Mitchell Wand:
Understanding aspects: extended abstract. 299-300
Volume 38, Number 10, October 2003
- Michael Leuschel:
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003. ACM 2003, ISBN 1-58113-667-6 [contents]
Volume 38, Number 11, November 2003
- Ron Crocker, Guy L. Steele Jr.:
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA. ACM 2003, ISBN 1-58113-712-5 [contents]
Volume 38, Number 12, December 2003
- Colin Runciman, Olin Shivers:
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003. ACM 2003, ISBN 1-58113-756-7 [contents]
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 2020-02-20 01:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
