ACM Transactions on Programming Languages and Systems

View Statistics Email Alert RSS Feed

Journal description

Title Titel
ACM Transactions on Programming Languages and Systems
 
e-ISSN
1558-4593
 
ISSN
0164-0925
 
Publisher Herausgeber
ASSOC COMPUTING MACHINERY
 
Publisher's Address Herausgeber Adresse
1601 Broadway, 10th Floor, NEW YORK, Usa, NY, 10019-7434
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 
 
Description Beschreibung
Ab 1994 darin aufgegangen: ACM Letters on Programming Languages and Systems
 

Publications Publikationen

Filter:
Subject:  Additional Key Words and PhrasesLinear temporal logic

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Chiari-2023-ACM Transactions on Programming Languages and Systems-vor.pdf.jpgChiari, Michele ; Mandrioli, Dino ; Pontiggia, Francesco ; Pradella, Matteo A model checker for operator precedence languagesArticle Artikel Sep-2023