default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 201

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on 5 of 5 records

view refined list in

export refined list as

showing all 5 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 201, January 2021

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/YanZDWYYZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/YanZDWYYZ21
Jiwei Yan, Hao Zhou, Xi Deng, Ping Wang, Rongjie Yan, Jun Yan, Jian Zhang:
Efficient testing of GUI applications by event sequence reduction. 102522
no results

Regular article

- view
  authority control:
- export record
  dblp key:
  - journals/scp/FigueroaLF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FigueroaLF21
Ismael Figueroa, Paul Leger, Hiroaki Fukuda:
Which monads Haskell developers use: An exploratory study. 102523
no results

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/CorreiaIM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CorreiaIM21
Alexandre R. S. Correia, Juliano Iyoda, Alexandre Mota:
A family of multi-concept program synthesisers in Alloy^⁎. 102536
no results

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/CarvalhoM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CarvalhoM21
Gustavo Carvalho, Igor Meira:
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements. 102537
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DuranW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DuranW21
Adolfo Duran, Philip Wadler:
Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. 102565
no results

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.