default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 228

> 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 228, June 2023

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/PathadeK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PathadeK23
Komal Pathade, Uday P. Khedker:
Computing maximum fixed point solutions over feasible paths in data flow analyses. 102944
- view
  authority control:
- export record
  dblp key:
  - journals/scp/SepahvandAJHB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SepahvandAJHB23
Reza Sepahvand, Reza Akbari, Behnaz Jamasb, Sattar Hashemi, Omid Boushehrian:
Using word embedding and convolution neural network for bug triaging by considering design flaws. 102945

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

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/TimmBJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TimmBJ23
Nils Timm, Josua Botha, Steven Jordaan:
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems. 102946

Special issue on Software Tools at 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KargenHWEHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KargenHWEHS23
Ulf Kargén, Ivar Härnqvist, Johannes Wilson, Gustav Eriksson, Evelina Holmgren, Nahid Shahmehri:
desync-cc: A research tool for automatically applying disassembly desynchronization during compilation. 102954

Special issue on Fundamental Approaches to Software Engineering (FASE 2022)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Wu23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Wu23
Hao Wu:
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants. 102955

Special issue on Selected Software Artifacts from the Papers of DisCoTec 2022 - 17th International Federated Conference on Distributed Computing Techniques

- view
  authority control:
- export record
  dblp key:
  - journals/scp/GiallorenzoMPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GiallorenzoMPR23
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher:
LEMMA2Jolie: A tool to generate microservice APIs from domain models. 102956

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/SasanoC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SasanoC23
Isao Sasano, Kwanghoon Choi:
A text-based syntax completion method using LR parsing and its evaluation. 102957
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GautierGBT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GautierGBT23
Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin:
The polychronous model of computation and Kahn process networks. 102958

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.