default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 47

> 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 47, Number 1, April 2003

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/DohM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DohM03
Kyung-Goo Doh, Peter D. Mosses:
Composing programming languages by combining action-semantics modules. 3-36
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HedinM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HedinM03
Görel Hedin, Eva Magnusson:
JastAdd--an aspect-oriented compiler construction system. 37-58
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KuipersV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KuipersV03
Tobias Kuipers, Joost Visser:
Object-oriented tree traversal with JJForester. 59-87

Volume 47, Number 2-3, May-June 2003

Special Issue on Static Analysis (SAS'99) Venice, Italy, 1999

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CortesiF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CortesiF03
Agostino Cortesi, Gilberto Filé:
Static Analysis. 89-90
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AldrichSCE03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AldrichSCE03
Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers:
Comprehensive synchronization elimination for Java. 91-120
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Mauborgne03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Mauborgne03
Laurent Mauborgne:
Infinitary relations and their representation. 121-144
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NielsonHN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NielsonHN03
Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson:
Abstract interpretation of mobile ambients. 145-175
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Monniaux03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Monniaux03
David Monniaux:
Abstracting cryptographic protocols with tree automata. 177-202
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FernandezBG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FernandezBG03
Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu:
State space reduction based on live variables analysis. 203-220
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LiuS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LiuS03
Yanhong A. Liu, Scott D. Stoller:
Eliminating dead code on recursive data. 221-242

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.