default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 105

> 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 105, July 2015

Special Section on Source Code Analysis and Manipulation (SCAM 2013)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AdamsR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AdamsR15
Bram Adams, Juergen Rilling:
Special Section on Source Code Analysis and Manipulation (SCAM 2013). 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BeszedesSCGJG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BeszedesSCGJG15
Árpád Beszédes, Lajos Schrettner, Béla Csaba, Tamás Gergely, Judit Jász, Tibor Gyimóthy:
Empirical investigation of SEA-based dependence cluster properties. 3-25
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CeruloPBCC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CeruloPBCC15
Luigi Cerulo, Massimiliano Di Penta, Alberto Bacchelli, Michele Ceccarelli, Gerardo Canfora:
Irish: A Hidden Markov Model to detect coded information islands in free text. 26-43
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MarcozziVH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MarcozziVH15
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut:
Relational symbolic execution of SQL code for unit testing of database programs. 44-72

Regular Papers

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LozanoMK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LozanoMK15
Angela Lozano, Kim Mens, Andy Kellens:
Usage contracts: Offering immediate feedback on violations of structural source-code regularities. 73-91
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BanachBQVZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BanachBQVZ15
Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu:
Core Hybrid Event-B I: Single Hybrid Event-B machines. 92-123
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KakkadSFS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KakkadSFS15
Vasvi Kakkad, Andrew E. Santosa, Alan D. Fekete, Bernhard Scholz:
Computing end-to-end delays in stream query processing. 124-144
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MidtgaardDBW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MidtgaardDBW15
Jan Midtgaard, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski:
Systematic derivation of correct variability-aware program analyses. 145-170

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.