default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 215

> 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 215, March 2022

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/HuangSCCY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HuangSCCY22
Rubing Huang, Weifeng Sun, Haibo Chen, Chenhui Cui, Ning Yang:
A nearest-neighbor divide-and-conquer approach for adaptive random testing. 102743

Special issue on ABZ 2020 Rigorous State Based Methods

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ClarisoC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ClarisoC22
Robert Clarisó, Jordi Cabot:
User-driven diverse scenario exploration in model finders. 102745

Special issue of the 12th Conference on Reversible Computation (RC 2020)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/Mogensen22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Mogensen22
Torben Ægidius Mogensen:
Hermes: A reversible language for lightweight encryption. 102746

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/DvorakP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DvorakP22
Ondrej Dvorák, Robert Pergl:
Tackling rapid technology changes by applying enterprise engineering theories. 102747

Special issue of the 12th Conference on Reversible Computation (RC 2020)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/Nakano22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Nakano22
Keisuke Nakano:
Time-symmetric Turing machines for computable involutions. 102748

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangXZX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangXZX22
Qiang Zhang, Lei Xu, Xiangyu Zhang, Baowen Xu:
Quantifying the interpretation overhead of Python. 102759
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArchibaldCSX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArchibaldCSX22
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu:
Modelling and verifying BDI agents with bigraphs. 102760

Special issue of the 14th international symposium on Theoretical Aspects of Software Engineering

- view
  authority control:
- export record
  dblp key:
  - journals/scp/YanCGY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/YanCGY22
Rongjie Yan, Yuhang Chen, Hongyu Gao, Jun Yan:
Test case prioritization with neuron valuation based pattern. 102761
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangP22
Chenyi Zhang, Jun Pang:
Modal characterisation of simulation relations in probabilistic concurrent games. 102762

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/MaoZSHL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MaoZSHL22
Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li:
A refinement development approach for enhancing the safety of PLC programs with Event-B. 102763

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/NetoMVM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NetoMVM22
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante:
A two-level formal model for Big Data processing programs. 102764

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.