Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 196

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

Special issue on Theoretical Aspect of Software Engineering (TASE 2019)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/HalchinASOF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HalchinASOF20
Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Julien Ordioni, Abderrahmane Feliachi:
Handling B models in the PERF integrated verification framework: Formalised and certified embedding. 102477

Special issue on Formal Techniques for Safety-Critical Systems 2018 (FTSCS’18)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/0005MG020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/0005MG020
Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll:
Synthesizing and optimizing FDIR recovery strategies from fault trees. 102478

Special issue on International workshop on Smalltalk Technologies (IWST)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/Valloud20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Valloud20
Andrés Valloud:
Linked weak reference arrays: A hybrid approach to efficient bulk finalization. 102479

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/VarelaPMSP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/VarelaPMSP20
Alberto Salvador Núñez Varela, Héctor G. Pérez-González, Francisco Eduardo Martínez Pérez, Carlos Soubervielle-Montalvo, Oscar Ernesto Perez-Cham:
Dynamic creation of source code models for the extraction of code metrics data through grammar querying. 102480

Special issue of selected & extended papers from SBLP 2018

- view
  authority control:
- export record
  dblp key:
  - journals/scp/SantosRI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SantosRI20
Renan Santos, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy:
Revisiting monitors. 102491

Special issue on FACS 2017

- view
  authority control:
- export record
  dblp key:
  - journals/scp/PutterLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PutterLW20
Sander de Putter, Frédéric Lang, Anton Wijs:
Compositional model checking with divergence preserving branching bisimilarity is lively. 102493

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/FeitosaRB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FeitosaRB20
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
A type-directed algorithm to generate random well-typed Java 8 programs. 102494

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.