default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 223

> 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 223, November 2022

Original software publication

- view
  authority control:
- export record
  dblp key:
  - journals/scp/UedaIM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/UedaIM22
Yuki Ueda, Takashi Ishio, Kenichi Matsumoto:
DevReplay: Linter that generates regular expressions for repeating code changes. 102857

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/EliottB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/EliottB22
Harold Pancho Eliott, Martin Berger:
A program logic for fresh name generation. 102860

Special Issue on Selected Tool Papers of the 22nd and 23rd International Conference on Coordination Models and Languages, COORDINATION 2020 and 2021

- view
  authority control:
- export record
  dblp key:
  - journals/scp/SchlatteJKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SchlatteJKT22
Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa:
The ABS simulator toolchain. 102861

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaSIU22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaSIU22
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Aline Uwimbabazi:
Automated replication of tuple spaces via static analysis. 102863

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ScheweF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ScheweF22
Klaus-Dieter Schewe, Flavio Ferrarotti:
Behavioural theory of reflective algorithms I: Reflective sequential algorithms. 102864
- view
  authority control:
- export record
  dblp key:
  - journals/scp/HoeyU22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HoeyU22
James Hoey, Irek Ulidowski:
Reversing an imperative concurrent programming language. 102873

Special Issue on the 15th international symposium on Theoretical Aspects of Software Engineering

- view
  authority control:
- export record
  dblp key:
  - journals/scp/FahrenbergL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FahrenbergL22
Uli Fahrenberg, Axel Legay:
Featured games. 102874

Special Issue on Selected Tool Papers of the 22nd and 23rd International Conference on Coordination Models and Languages, COORDINATION 2020 and 2021

- view
  authority control:
- export record
  dblp key:
  - journals/scp/Kuehn22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Kuehn22
Eva Maria Kuehn:
The Peer-Model tool-chain. 102876

Original software publication

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BaburCB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BaburCB22
Önder Babur, Loek Cleophas, Mark van den Brand:
SAMOS - A framework for model analytics and management. 102877

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.