Explore All Access
Check if your research matches the topics covered in Science of Computer Programming?
- Degree of match
- Common matching concepts
- Additional journal recommendations
Science of Computer Programming : Impact Factor & More
eISSN: 1872-7964pISSN: 0167-6423
Share this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
Science of Computer Programming Key Metrics
CiteScore 
3.6
Impact Factor
< 5
SJR
Q3Software
SNIP
1.01
Time to Accept
8
Mo
Time to Publish
View Chart Mo
Time to Publish
Sign up now and unlock a detailed chart of Time to publish for this journal
% of papers by time taken from submission to publication
0 to 3 months0%
4 to 6 months26%
7 to 9 months34%
Above 9 months40%
Did you find this useful?
Topics Covered on Science of Computer Programming
Formal methods
Calculus
Software architecture
Systematic review
Model checking
Automatic test generation
Property Specification Language
Code generation
Reinforcement learning
Software product line
Library
Dependent type
Software package
Software engineering
Architectural style
Feature model
Software verification
Java
Object-oriented programming
Programming language
Science of Computer Programming Journal Specifications
Indexed in the following public directories
Web of Science 
Scopus 
Inspec 
SJR
| Overview | |
| Publisher | ELSEVIER |
| Language | English |
| Frequency | Semi-monthly |
| General Details | |
| Language | English |
| Frequency | Semi-monthly |
| Publication Start Year | 1981 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Science of Computer Programming ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Science of Computer Programming
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator
- 1 May 2025
- Science of Computer Programming
Assessing the coverage of W-based conformance testing methods over code faults
- 1 Apr 2025
- Science of Computer Programming
Analysis and formal specification of OpenJDK's BitSet: Proof files
- 1 Apr 2025
- Science of Computer Programming
Verification of forward simulations with thread-local, step-local proof obligations
- 1 Apr 2025
- Science of Computer Programming
Editorial Board
- 1 Feb 2025
- Science of Computer Programming
Editorial Board
- 1 Jan 2025
- Science of Computer Programming
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator
- 1 May 2025
- Science of Computer Programming
Assessing the coverage of W-based conformance testing methods over code faults
- 1 Apr 2025
- Science of Computer Programming
Analysis and formal specification of OpenJDK's BitSet: Proof files
- 1 Apr 2025
- Science of Computer Programming
Verification of forward simulations with thread-local, step-local proof obligations
- 1 Apr 2025
- Science of Computer Programming
Editorial Board
- 1 Feb 2025
- Science of Computer Programming
Editorial Board
- 1 Jan 2025
- Science of Computer Programming
Compare Similar Journals with Science of Computer Programming
Select Journals to Compare with Science of Computer Programming
Total journals - 8
You can select up to 3 Journals at a time
Lecture Notes in Computer Science
Publisher: Springer Nature
Applied Sciences (Switzerland)
Publisher: Multidisciplinary Digital Publishing Institute (MDPI)
Empirical Software Engineering
Publisher: SPRINGER
Communications in Computer and Information Science
Publisher: Springer Nature
IEEE Access
Publisher: IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
International Journal of Environmental Research and Public Health
Publisher: Multidisciplinary Digital Publishing Institute (MDPI)
Information and Software Technology
Publisher: ELSEVIER
Journal of Physics Conference Series
Publisher: Institute of Physics Publishing
0 Journals Selected to compare with
Science of Computer Programming
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
FAQs on Science of Computer Programming
How long has Science of Computer Programming been actively publishing? 
Science of Computer Programming has been in operation since 1981 till date.
What is the publishing frequency of Science of Computer Programming?
Science of Computer Programming published with a Semi-monthly frequency.
How many articles did Science of Computer Programming publish last year?
In 2023, Science of Computer Programming publsihed 103 articles.
What is the eISSN & pISSN for Science of Computer Programming?
For Science of Computer Programming, eISSN is 1872-7964 and pISSN is 0167-6423.
What is Citescore for Science of Computer Programming?
Citescore for Science of Computer Programming is 3.6.
What is SNIP score for Science of Computer Programming?
SNIP score for Science of Computer Programming is 1.01.
What is the SJR for Science of Computer Programming?
SJR for Science of Computer Programming is Q3.
Who is the publisher of Science of Computer Programming?
ELSEVIER is the publisher of Science of Computer Programming.
