default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 208

> 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 208, August 2021

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ManjhiC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ManjhiC21
Devesh Manjhi, Amrita Chaturvedi:
Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm. 102643

Selected and extended papers from FACS 2019

- view
  authority control:
- export record
  dblp key:
  - journals/scp/TurkerHJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TurkerHJ21
Uraz Cengiz Türker, Robert M. Hierons, Guy-Vincent Jourdan:
Minimizing Characterizing sets. 102645

Review article

- view
  authority control:
- export record
  dblp key:
  - journals/scp/CetinDT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CetinDT21
H. Alperen Çetin, Emre Dogan, Eray Tüzün:
A review of code reviewer recommendation studies: Challenges and future directions. 102652

Special issue on Formal Techniques for Safety-Critical Systems 2019

- view
  authority control:
- export record
  dblp key:
  - journals/scp/MoraesN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MoraesN21
Rodrigo Saar de Moraes, Simin Nadjm-Tehrani:
Abstraction models for verifying resource adequacy of IMA systems at concept level. 102654

Selected papers from the 2021 European Conference on Object-Oriented Programming

- view
  authority control:
- export record
  dblp key:
  - journals/scp/XueO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/XueO21
Mingqi Xue, Bruno C. d. S. Oliveira:
A dependently typed calculus with polymorphic subtyping. 102655

Special issue on Software Health of Software Ecosystems

- view
  authority control:
- export record
  dblp key:
  - journals/scp/DecanM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DecanM21
Alexandre Decan, Tom Mens:
Lost in zero space - An empirical comparison of 0.y.z releases in software package distributions. 102656

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/BusiDG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BusiDG21
Matteo Busi, Pierpaolo Degano, Letterio Galletta:
Mechanical incrementalization of typing algorithms. 102657

Special issue on Formal Techniques for Safety-Critical Systems 2018

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArthoO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArthoO21
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2018). 102658

Short communication

- view
  authority control:
- export record
  dblp key:
  - journals/scp/LethbridgeFBBGA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LethbridgeFBBGA21
Timothy C. Lethbridge, Andrew Forward, Omar Badreddin, Dusan Brestovansky, Miguel A. Garzón, Hamoud Aljamaan, Sultan Eid, Ahmed Husseini Orabi, Mahmoud Husseini Orabi, Vahdat Abdelzad, Opeyemi Adesina, Aliaa Alghamdi, Abdulaziz Algablan, Amid Zakariapour:
Umple: Model-driven development for open source and education. 102665

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.