Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 195

> 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 195, September 2020

Special issue on International workshop on Smalltalk Technologies (IWST)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/TesoneDPFB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TesoneDPFB20
Pablo Tesone, Stéphane Ducasse, Guillermo Polito, Luc Fabresse, Noury Bouraqadi:
A new modular implementation for stateful traits. 102470

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/SilvasiT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SilvasiT20
Frantisek Silvási, Martin Tomásek:
Lean formalization of bounded grids and computable cellular automata defined thereover. 102471
- view
  authority control:
- export record
  dblp key:
  - journals/scp/RibeiroB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RibeiroB20
Cristina Ribeiro, Daniel M. Berry:
The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them? 102472

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2019)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FavaS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FavaS20
Daniel Schnetzer Fava, Martin Steffen:
Ready, set, Go!: Data-race detection and the Go language. 102473
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AlmeidaA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlmeidaA20
Ariane Alves Almeida, Mauricio Ayala-Rincón:
Formalizing the dependency pair criterion for innermost termination. 102474

Special issue on International workshop on Smalltalk Technologies (IWST)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/AlcocerASB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlcocerASB20
Juan Pablo Sandoval Alcocer, Alejandra Siles Antezana, Gustavo Jansen de Souza Santos, Alexandre Bergel:
Improving the success rate of applying the extract method refactoring. 102475

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/KhatchadourianT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KhatchadourianT20
Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh:
Safe automated refactoring for intelligent parallelization of Java 8 streams. 102476

a service of

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.