default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 69

> 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 69, Numbers 1-3, December 2007

Special issue on Experimental Software and Toolkits

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Brand07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Brand07
M. G. J. van den Brand:
Guest editor's introduction: Experimental Software and Toolkits (EST). 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KraftMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KraftMP07
Nicholas A. Kraft, Brian A. Malloy, James F. Power:
A tool chain for reverse engineering C++ applications. 3-13
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/EkmanH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/EkmanH07
Torbjörn Ekman, Görel Hedin:
The JastAdd system - modular extensible compiler construction. 14-26
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GogollaBR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GogollaBR07
Martin Gogolla, Fabian Büttner, Mark Richters:
USE: A UML-based specification environment for validating UML and OCL. 27-34
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ErnstPGMPTX07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ErnstPGMPTX07
Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao:
The Daikon system for dynamic detection of likely invariants. 35-45
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/OliveiraW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/OliveiraW07
Cristóvão Oliveira, Michel Wermelinger:
The CommUnity Workbench. 46-55
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LiLMR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LiLMR07
Xianfeng Li, Liang Yun, Tulika Mitra, Abhik Roychoudhury:
Chronos: A timing analyzer for embedded software. 56-67
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Diaz-AgudoGRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Diaz-AgudoGRS07
Belén Díaz-Agudo, Pedro A. González-Calero, Juan A. Recio-García, Antonio A. Sánchez-Ruiz-Granados:
Building CBR systems with jcolibri. 68-75
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JohnstoneS07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JohnstoneS07a
Adrian Johnstone, Elizabeth Scott:
Proofs and pedagogy; science and systems: The grammar tool box. 76-85

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.