Science of computer programming
Published by Elsevier
Kingdom of the Netherlands · Formal Methods in Verification
Journal at a glance
- ISSN
- 0167-6423, 1872-7964 (electronic)
- Publisher
- Elsevier
- Country
- Kingdom of the Netherlands
- Language
- en
Also known as: Sci Comput Program (Abbreviation), SCP (Alternate title)
Metrics
| Metric | Value | Year | Source |
|---|
| DOIs registered (Crossref) | 3326 | 2026 | Crossref |
| DOIs, current year (Crossref) | 386 | 2026 | Crossref |
| Works (OpenAlex) | 3361 | 2026 | OpenAlex |
| h-index (OpenAlex) | 103 | 2026 | OpenAlex |
| i10-index (OpenAlex) | 1269 | 2026 | OpenAlex |
| 2-year mean citedness (OpenAlex) | 1.641 | 2026 | OpenAlex |
| Citations (OpenAlex) | 78595 | 2026 | OpenAlex |
Subjects
- Formal Methods in Verification
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
- Software Engineering Research
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Distributed systems and fault tolerance
Similar journals
- Electronic notes in theoretical computer science — Kingdom of the Netherlands · Open access · Same subject: Advanced Software Engineering Methodologies, Same subject: Distributed systems and fault tolerance, 6 shared subjects in total, Same country
- International journal on software tools for technology transfer : STTT — Germany · — · Same subject: Advanced Software Engineering Methodologies, Same subject: Formal Methods in Verification, 6 shared subjects in total
- Proceedings of the ACM on programming languages — United States · Open access · Same subject: Distributed systems and fault tolerance, Same subject: Formal Methods in Verification, 5 shared subjects in total
- Innovations in systems and software engineering — United Kingdom · — · Same subject: Advanced Software Engineering Methodologies, Same subject: Formal Methods in Verification, 5 shared subjects in total
- Automated software engineering — Kingdom of the Netherlands · — · Same subject: Advanced Software Engineering Methodologies, Same subject: Model-Driven Software Engineering Techniques, 4 shared subjects in total, Same country
- Formal methods in system design — Kingdom of the Netherlands · — · Same subject: Formal Methods in Verification, Same subject: Logic, programming, and type systems, 4 shared subjects in total, Same country
Sources: OpenAlex, NLM Catalog, Crossref · Last verified 2026-09-06
Journal homepage