default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 152

> 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 152, January 2018

- view
  authority control:
- export record
  dblp key:
  - journals/scp/DupreeLB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DupreeLB18
Janna-Lynn (Weber) Dupree, Edward Lank, Daniel M. Berry:
A case study of using grounded analysis as a requirement engineering method: Identifying personas that specify privacy and security tool users. 1-37
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RadkeABHT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RadkeABHT18
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer:
Translating essential OCL invariants to nested graph constraints for generating instances of meta-models. 38-62
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MonteiroASICF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MonteiroASICF18
Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. 63-69
- view
  authority control:
- export record
  dblp key:
  - journals/scp/RivasJS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RivasJS18
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers:
A unified view of monadic and applicative non-determinism. 70-98
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DurelliDO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DurelliDO18
Vinicius H. S. Durelli, Márcio Eduardo Delamaro, Jeff Offutt:
An experimental comparison of edge, edge-pair, and prime path criteria. 99-115
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CastroLATAS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CastroLATAS18
Thiago M. Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, Pierre-Yves Schobbens:
All roads lead to Rome: Commuting strategies for product-line reliability analysis. 116-160
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MaalejPPG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MaalejPPG18
Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord:
Combining range and inequality information for pointer disambiguation. 161-184

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.