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.
All labels observed (2)
| Label | Occurrences |
|---|---|
| ACM Transactions on Programming Languages and Systems canonical | 4 |
| ACM TOPLAS | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T487975 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: ACM Transactions on Programming Languages and Systems Context triple: [ACM Transactions series, hasMemberJournal, ACM Transactions on Programming Languages and Systems]
-
A.
ACM Transactions on Computer Systems
ACM Transactions on Computer Systems is a peer-reviewed scholarly journal published by the Association for Computing Machinery that focuses on research in the design, implementation, and evaluation of computer systems.
-
B.
Journal of the ACM
Journal of the ACM is a leading peer-reviewed scientific journal in computer science that publishes foundational research across the breadth of computing theory and practice.
-
C.
ACM Transactions series
The ACM Transactions series is a collection of peer-reviewed scholarly journals published by the Association for Computing Machinery, each focusing on a specific area of computer science and information technology research.
-
D.
Communications of the ACM
Communications of the ACM is a leading peer-reviewed magazine that publishes articles and research on computer science and information technology for the global computing community.
-
E.
ACM Computing Surveys
ACM Computing Surveys is a leading peer-reviewed journal that publishes comprehensive, in-depth survey articles covering major areas of computer science and computing research.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: ACM Transactions on Programming Languages and Systems Target entity description: 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.
-
A.
ACM Transactions on Computer Systems
ACM Transactions on Computer Systems is a peer-reviewed scholarly journal published by the Association for Computing Machinery that focuses on research in the design, implementation, and evaluation of computer systems.
-
B.
Journal of the ACM
Journal of the ACM is a leading peer-reviewed scientific journal in computer science that publishes foundational research across the breadth of computing theory and practice.
-
C.
ACM Transactions series
The ACM Transactions series is a collection of peer-reviewed scholarly journals published by the Association for Computing Machinery, each focusing on a specific area of computer science and information technology research.
-
D.
Communications of the ACM
Communications of the ACM is a leading peer-reviewed magazine that publishes articles and research on computer science and information technology for the global computing community.
-
E.
ACM Computing Surveys
ACM Computing Surveys is a leading peer-reviewed journal that publishes comprehensive, in-depth survey articles covering major areas of computer science and computing research.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
academic journal
ⓘ
computer science journal ⓘ scientific journal ⓘ |
| academicDiscipline |
programming languages
ⓘ
software engineering ⓘ |
| category | ACM journal ⓘ |
| countryOfPublication |
United States
ⓘ
linked to:
United States of America
|
| 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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: ACM Transactions on Programming Languages and Systems Description of subject: 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.
Referenced by (5)
Full triples — surface form annotated when it differs from this entity's canonical label.
ACM Transactions series
→
hasMemberJournal
→
ACM Transactions on Programming Languages and Systems
ⓘ
linked to: ACM Transactions on Programming Languages and Systems
Nelson–Oppen combination method
→
originalPublicationVenue
→
ACM Transactions on Programming Languages and Systems
ⓘ