default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 191

> 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 191, June 2020

Special issue on FLOPS 2018

- view
  authority control:
- export record
  dblp key:
  - journals/scp/Sakaguchi20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Sakaguchi20
Kazuhiko Sakaguchi:
Program extraction for mutable arrays. 102372

Special issue on FACS 2017

- view
  authority control:
- export record
  dblp key:
  - journals/scp/DantasJB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DantasJB20
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
A component-based framework for certification of components in a cloud of HPC services. 102379

Regular articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FerraraCS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FerraraCS20
Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging. 102392

Short communication

- view
  authority control:
- export record
  dblp key:
  - journals/scp/CabreraLTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CabreraLTS20
Pedro Cabrera, Henrik Lund, Jakob Zinck Thellufsen, Peter Sorknæs:
The MATLAB Toolbox for EnergyPLAN: A tool to extend energy planning studies. 102405

Special section on Software-Intensive Systems of Systems

- view
  authority control:
- export record
  dblp key:
  - journals/scp/PelliccioneKAHB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PelliccioneKAHB20
Patrizio Pelliccione, Eric Knauss, S. Magnus Ågren, Rogardt Heldal, Carl Bergenhem, Alexey V. Vinel, Oliver Brunnegård:
Beyond connected cars: A systems of systems perspective. 102414

Special issue on International workshop on smalltalk technologies

- view
  authority control:
- export record
  dblp key:
  - journals/scp/AlcocerBV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlcocerBV20
Juan Pablo Sandoval Alcocer, Alexandre Bergel, Marco Túlio Valente:
Prioritizing versions for performance regression testing: The Pharo case. 102415

Special section on Software-Intensive Systems of Systems

- view
  authority control:
- export record
  dblp key:
  - journals/scp/TekinerdoganE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TekinerdoganE20
Bedir Tekinerdogan, Ferhat Erata:
Automated reasoning framework for traceability management of system of systems. 102416

Special section on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/JacquetS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JacquetS20
Jean-Marie Jacquet, Jacopo Soldani:
Preface to the Special Issue on Foundations of Coordination Languages and Self-Adaptive Systems (Foclasa 2018). 102417

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/PinheiroVRFFGF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PinheiroVRFFGF20
Pedro Pinheiro, José Carlos Viana, Márcio Ribeiro, Leonardo Fernandes, Fabiano Cutigi Ferrari, Rohit Gheyi, Baldoino Fonseca:
Mutating code annotations: An empirical evaluation on Java and C# programs. 102418

Special issue on SBMF 2017

- view
  authority control:
- export record
  dblp key:
  - journals/scp/CavalheiroF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CavalheiroF20
Simone André da Costa Cavalheiro, José Luiz Fiadeiro:
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017). 102427

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.