default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 187

> 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 187, February 2020

Special issue on FLOPS 2018

- view
  authority control:
- export record
  dblp key:
  - journals/scp/HamanaAK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HamanaAK20
Makoto Hamana, Tatsuya Abe, Kentaro Kikuchi:
Polymorphic computation systems: Theory and practice of confluence with call-by-value. 102322

Special section on The 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/XiangZWXBXZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/XiangZWXBXZ20
Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang:
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. 102343

Regular articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BasileBDLFGG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BasileBDLFGG20
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Controller synthesis of service contracts with variability. 102344

Special section on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaSI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaSI20
Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Multi-agent systems with virtual stigmergy. 102345

Special section on Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/KukovecTK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KukovecTK20
Jure Kukovec, Thanh-Hai Tran, Igor Konnov:
Extracting symbolic transitions from TLA⁺ specifications. 102361

Special issue on Selected Papers from Symposium on Dependable Software Engineering: Theories, Tools and Applications

- view
  authority control:
- export record
  dblp key:
  - journals/scp/WangFQF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WangFQF20
Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng:
Formalizing SPARCv8 instruction set architecture in Coq. 102371

Special issue of selected & extended papers from SBLP 2018

- view
  authority control:
- export record
  dblp key:
  - journals/scp/MedeirosJM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MedeirosJM20
Sérgio Queiroz de Medeiros, Gilney de Azevedo Alvez Junior, Fabio Mascarenhas:
Automatic syntax error reporting and recovery in parsing expression grammars. 102373

Special section on Theoretical Aspect of Software Engineering (TASE 2017)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangZP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangZP20
Yueling Zhang, Min Zhang, Geguang Pu:
Optimizing backbone filtering. 102374

Special section on The 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangP20
Chenyi Zhang, Jun Pang:
Preface for the special issue of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018). 102375

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/SaidC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SaidC20
Najah Ben Said, Ioana Cristescu:
End-to-end information flow security for web services orchestration. 102376

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.