Computer languages, systems & structures
Published by Elsevier
Kingdom of the Netherlands · Logic, programming, and type systems
Journal at a glance
- ISSN
- 1477-8424, 1873-6866 (electronic)
- Publisher
- Elsevier
- Country
- Kingdom of the Netherlands
- Language
- en
Also known as: Comput Lang Syst Struct (Abbreviation), Computer languages, systems, and structures (Alternate title)
Metrics
| Metric | Value | Year | Source |
|---|
| Citations (OpenAlex) | 23127 | 2026 | OpenAlex |
| DOIs registered (Crossref) | 347 | 2026 | Crossref |
| DOIs, current year (Crossref) | 0 | 2026 | Crossref |
| Works (OpenAlex) | 1255 | 2026 | OpenAlex |
| h-index (OpenAlex) | 50 | 2026 | OpenAlex |
| i10-index (OpenAlex) | 269 | 2026 | OpenAlex |
| 2-year mean citedness (OpenAlex) | 0 | 2026 | OpenAlex |
Subjects
- Logic, programming, and type systems
- Parallel Computing and Optimization Techniques
- Formal Methods in Verification
- Advanced Software Engineering Methodologies
- Software Engineering Research
- Model-Driven Software Engineering Techniques
- Distributed and Parallel Computing Systems
Similar journals
- Science of computer programming — Kingdom of the Netherlands · — · Same subject: Advanced Software Engineering Methodologies, Same subject: Formal Methods in Verification, 5 shared subjects in total, Same country
- Software: practice & experience — United Kingdom · — · Same subject: Advanced Software Engineering Methodologies, Same subject: Distributed and Parallel Computing Systems, 5 shared subjects in total
- International journal on software tools for technology transfer : STTT — Germany · — · Same subject: Advanced Software Engineering Methodologies, Same subject: Formal Methods in Verification, 5 shared subjects in total
- Electronic notes in theoretical computer science — Kingdom of the Netherlands · Open access · Same subject: Advanced Software Engineering Methodologies, Same subject: Formal Methods in Verification, 4 shared subjects in total, Same country
- Proceedings of the ACM on programming languages — United States · Open access · Same subject: Formal Methods in Verification, Same subject: Logic, programming, and type systems, 4 shared subjects in total
- New generation computing — Japan · — · Same subject: Distributed and Parallel Computing Systems, Same subject: Formal Methods in Verification, 4 shared subjects in total
Sources: OpenAlex, NLM Catalog, Crossref · Last verified 2026-09-07