Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 197

> 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 197, October 2020

Special issue on Selected Papers from the 2020 European Conference on Object-Oriented Programming

- view
  authority control:
- export record
  dblp key:
  - journals/scp/TasosFDWE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TasosFDWE20
Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Reshape your layouts, not your programs: A safe language extension for better cache locality. 102481
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AnconaDRZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AnconaDRZ20
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
A big step from finite to infinite computations. 102492
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ToroT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ToroT20
Matías Toro, Éric Tanter:
Abstracting gradual references. 102496

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/LimaTN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LimaTN20
Lucas Lima, Amaury Tavares, Sidney C. Nogueira:
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. 102497

Special Issue on Selected Tool Papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019

- view
  authority control:
- export record
  dblp key:
  - journals/scp/AutiliSGPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AutiliSGPT20
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli:
CHOReVOLUTION: Service choreography in practice. 102498

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/0001C0L20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/0001C0L20
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley:
A polymorphic RPC calculus. 102499
- view
  authority control:
- export record
  dblp key:
  - journals/scp/VidalMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/VidalMR20
Marzina Vidal, Tiago Massoni, Franklin Ramalho:
A domain-specific language for verifying software requirement constraints. 102509

Special issue on Formal Aspects of Component Software (FACS 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/0001BCWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/0001BCWZ20
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda:
Unifying semantic foundations for automated verification tools in Isabelle/UTP. 102510

Special issue on XXI Brazilian Symposium on Programming Languages (SBLP 2017)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/GadeaGP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GadeaGP20
Alejandro Gadea, Emmanuel Gunther, Miguel Pagano:
Mechanization of coherence and adequacy: Being extrinsic extended to subtyping. 102512

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/0001BC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/0001BC20
Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Trace semantics and refinement patterns for real-time properties in event-B models. 102513

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ButlerR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ButlerR20
Michael J. Butler, Alexander Raschke:
Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018). 102514

a service of

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.