default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 62

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 62, Number 1, September 2006

Special Issue on the First MetaOCaml Workshop 2004

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LengauerT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LengauerT06
Christian Lengauer, Walid Taha:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Carette06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Carette06
Jacques Carette:
Gaussian Elimination: A case study in efficient genericity with MetaOCaml. 3-24
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CohenDGHKP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CohenDGHKP06
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HerrmannL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HerrmannL06
Christoph Armin Herrmann, Tobias Langhammer:
Combining partial evaluation and staged interpretation in the implementation of domain-specific languages. 47-65
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/League06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/League06
Christopher League:
MetaOCaml server pages: Web publishing as staged computation. 66-84
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NeverovR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NeverovR06
Gregory Neverov, Paul Roe:
Experiences with an object-oriented, multi-stage language. 85-94

Volume 62, Number 2, October 2006

Special Issue: Five perspectives on modern memory management - Systems, hardware and theory

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Jones06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Jones06
Richard E. Jones:
Five perspectives on modern memory management: Systems, hardware and theory. 95-97
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/SagonasW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SagonasW06
Konstantinos Sagonas, Jesper Wilhelmsson:
Efficient memory management for concurrent programs that use message passing. 98-121
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/SwamyHMGJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SwamyHMGJ06
Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim:
Safe manual memory management in Cyclone. 122-144
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/WrightSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WrightSW06
Greg Wright, Matthew L. Seidl, Mario Wolczko:
An object-aware memory architecture. 145-163
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Printezis06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Printezis06
Tony Printezis:
On measuring garbage collection responsiveness. 164-183
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ClingerR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ClingerR06
William D. Clinger, Fabio V. Rojas:
Linear combinations of radioactive decay models for generational garbage collection. 184-203

Volume 62, Number 3, October 2006

Special issue on Source code analysis and manipulation (SCAM 2005)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AntoniolKT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AntoniolKT06
Giuliano Antoniol, Jens Krinke, Paolo Tonella:
Special issue on Source code analysis and manipulation. 205-208
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangBCD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangBCD06
Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
Using source transformation to test and model check implicit-invocation systems. 209-227
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BinkleyDGHKK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BinkleyDGHKK06
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

Regular papers

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MullerPL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MullerPL06
Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens:
Modular invariants for layered object structures. 253-286
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Veerman06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Veerman06
Niels P. Veerman:
Automated mass maintenance of a software portfolio. 287-317

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.