default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 234

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on 11 of 11 records

view refined list in

export refined list as

showing all 11 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 234, 2024

- view
  authority control:
- export record
  dblp key:
  - journals/scp/HongCZYDW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HongCZYDW24
Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang:
Verification of message-passing uninterpreted programs. 103075
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/YangGCZC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/YangGCZC24
Huiwen Yang, Xiguo Gu, Xiang Chen, Liwei Zheng, Zhanqi Cui:
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection. 103076
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MaciasB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MaciasB24
José A. Macías, Clemente Rafael Borges:
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data. 103077
- view
  authority control:
- export record
  dblp key:
  - journals/scp/WuGLZC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WuGLZC24
Xiaoxue Wu, Yizeng Gu, Lidan Lin, Wei Zheng, Xiang Chen:
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis. 103078
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AitIC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AitIC24
Adem Ait, Javier Luis Cánovas Izquierdo, Jordi Cabot:
HFCommunity: An extraction process and relational database to analyze Hugging Face Hub data. 103079
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BergS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BergS24
Birthe van den Berg, Tom Schrijvers:
A framework for higher-order effects & handlers. 103086
- view
  authority control:
- export record
  dblp key:
  - journals/scp/IgnaimFF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/IgnaimFF24
Karam Ignaim, João M. Fernandes, André L. Ferreira:
An industrial experience of using reference architectures for mapping features to code. 103087
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AhmadiDG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AhmadiDG24
Sharar Ahmadi, Brijesh Dongol, Matt Griffin:
Operationally proving memory access violations in Isabelle/HOL. 103088
- view
  authority control:
- export record
  dblp key:
  - journals/scp/SavaryLeblancPG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SavaryLeblancPG24
Maxime Savary-Leblanc, Xavier Le Pallec, Sébastien Gérard:
The Modeling Assistant Recommender: A UML class diagram recommender system. 103090
- view
  authority control:
- export record
  dblp key:
  - journals/scp/RuscioGP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RuscioGP24
Davide Di Ruscio, Jessie Galasso, Richard F. Paige:
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering. 103091
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AitAmeurC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AitAmeurC24
Yamine Aït-Ameur, Florin Craciun:
Introduction to the TASE 2022 Special issue. 103092
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.