ACM Transactions on Programming Languages and Systems

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

Results 1-3 of 3 (Search time: 0.003 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
2Casey, Kevin ; Ertl, M. Anton ; Gregg, David Optimizing indirect branch prediction accuracy in virtual machine interpretersArtikel Article2007
3Pagel, Jens ; Zuleger, Florian Strong-separation Logic (Extended Version)Article Artikel Sep-2022