ACM Transactions on Programming Languages and Systems
E61256
ACM Transactions on Programming Languages and Systems is a peer-reviewed scholarly journal published by the Association for Computing Machinery that focuses on research in programming languages, compilers, and related systems.
Aliases (1)
- ACM TOPLAS ×1
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
academic journal
→
computer science journal → scientific journal → |
| academicDiscipline |
programming languages
→
software engineering → |
| category |
ACM journal
→
|
| countryOfPublication |
United States
→
|
| discipline |
computer science
→
|
| field |
systems
→
theoretical computer science → |
| focusesOn |
compilers
→
formal methods in programming languages → program analysis → programming language implementation → programming language semantics → programming languages → runtime systems → type systems → |
| hasContentType |
research articles
→
survey articles → systems papers → theoretical papers → |
| hasPublisherType |
professional association
→
|
| isJournalOf |
Association for Computing Machinery
→
|
| language |
English
→
|
| medium |
online
→
print → |
| peerReviewed |
true
→
|
| publishedBy |
Association for Computing Machinery
→
|
| publisher |
Association for Computing Machinery
→
|
| publisherAbbreviation |
ACM
→
|
| reviewProcess |
peer review
→
|
| subjectArea |
compiler construction
→
concurrency in programming languages → domain-specific languages → dynamic analysis → implementation of programming languages → optimization techniques in compilers → parallel programming languages → program verification → programming language design → programming language theory → runtime environments → static analysis → type theory applied to programming → |
| targetAudience |
advanced practitioners in programming languages
→
computer science academics → researchers in programming languages → |
| titleAbbreviation |
ACM TOPLAS
→
|
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
ACM Transactions series
→
|
hasMemberJournal |
|
ACM Transactions on Programming Languages and Systems
("ACM TOPLAS")
→
|
titleAbbreviation |