Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 62
Volume 62, Number 1, September 2006
- Christian Lengauer, Walid Taha:
Preface. 1-2 - Jacques Carette
:
Gaussian Elimination: A case study in efficient genericity with MetaOCaml. 3-24 - Albert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua:
In search of a program generator to implement generic transformations for high-performance computing. 25-46 - Christoph Armin Herrmann, Tobias Langhammer:
Combining partial evaluation and staged interpretation in the implementation of domain-specific languages. 47-65 - Christopher League:
MetaOCaml server pages: Web publishing as staged computation. 66-84 - Gregory Neverov, Paul Roe:
Experiences with an object-oriented, multi-stage language. 85-94
Volume 62, Number 2, October 2006
- Richard E. Jones:
Five perspectives on modern memory management: Systems, hardware and theory. 95-97 - Konstantinos Sagonas, Jesper Wilhelmsson:
Efficient memory management for concurrent programs that use message passing. 98-121 - Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim:
Safe manual memory management in Cyclone. 122-144 - Greg Wright, Matthew L. Seidl, Mario Wolczko:
An object-aware memory architecture. 145-163 - Tony Printezis:
On measuring garbage collection responsiveness. 164-183 - William D. Clinger, Fabio V. Rojas:
Linear combinations of radioactive decay models for generational garbage collection. 184-203
Volume 62, Number 3, October 2006
- Giuliano Antoniol, Jens Krinke, Paolo Tonella:
Special issue on Source code analysis and manipulation. 205-208 - Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
Using source transformation to test and model check implicit-invocation systems. 209-227 - David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel:
A formalisation of the relationship between forms of program slicing. 228-252
- Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens:
Modular invariants for layered object structures. 253-286 - Niels P. Veerman:
Automated mass maintenance of a software portfolio. 287-317
a service of 
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 2024-06-07 19:57 CEST 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:
