Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Rethinking Incremental and Parallel Pointer Analysis
Liu, Bozhen, Huang, Jeff, Rauchwerger, Lawrence
Published in ACM transactions on programming languages and systems (01.03.2019)
Published in ACM transactions on programming languages and systems (01.03.2019)
Get full text
Journal Article
Loading…
Non-polynomial Worst-Case Analysis of Recursive Programs
Chatterjee, Krishnendu, Fu, Hongfei, Goharshady, Amir Kafshdar
Published in ACM transactions on programming languages and systems (31.12.2019)
Published in ACM transactions on programming languages and systems (31.12.2019)
Get full text
Journal Article
Loading…
Probabilistic Termination by Monadic Affine Sized Typing
Lago, Ugo Dal, Grellois, Charles
Published in ACM transactions on programming languages and systems (30.06.2019)
Published in ACM transactions on programming languages and systems (30.06.2019)
Get full text
Journal Article
Loading…
Loading…
Multiple Input Parsing and Lexical Analysis
Scott, Elizabeth, Johnstone, Adrian, Walsh, Robert
Published in ACM transactions on programming languages and systems (19.07.2023)
Published in ACM transactions on programming languages and systems (19.07.2023)
Get full text
Journal Article
Loading…
Towards Porting Operating Systems with Program Synthesis
Hu, Jingmei, Lu, Eric, Holland, David A., Kawaguchi, Ming, Chong, Stephen, Seltzer, Margo
Published in ACM transactions on programming languages and systems (03.03.2023)
Published in ACM transactions on programming languages and systems (03.03.2023)
Get full text
Journal Article
Loading…
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models
Fan, Hongyu, Sun, Zhihang, He, Fei
Published in ACM transactions on programming languages and systems (03.03.2023)
Published in ACM transactions on programming languages and systems (03.03.2023)
Get full text
Journal Article
Loading…
Loading…
A Type Discipline for Message Passing Parallel Programs
Vasconcelos, Vasco T., Martins, Francisco, López, Hugo-Andrés, Yoshida, Nobuko
Published in ACM transactions on programming languages and systems (21.12.2022)
Published in ACM transactions on programming languages and systems (21.12.2022)
Get full text
Journal Article
Loading…
WYSINWYX: What you see is not what you eXecute
Balakrishnan, Gogul, Reps, Thomas
Published in ACM transactions on programming languages and systems (01.08.2010)
Published in ACM transactions on programming languages and systems (01.08.2010)
Get full text
Journal Article
Loading…
Loading…
Loading…
Optimization-Aware Compiler-Level Event Profiling
Basso, Matteo, Prokopec, Aleksandar, Rosà, Andrea, Binder, Walter
Published in ACM transactions on programming languages and systems (26.06.2023)
Published in ACM transactions on programming languages and systems (26.06.2023)
Get full text
Journal Article
Loading…
From Clarity to Efficiency for Distributed Algorithms
Liu, Yanhong A., Stoller, Scott D., Lin, Bo
Published in ACM transactions on programming languages and systems (30.09.2017)
Published in ACM transactions on programming languages and systems (30.09.2017)
Get full text
Journal Article
Loading…
Robustly Safe Compilation, an Efficient Form of Secure Compilation
Patrignani, Marco, Garg, Deepak
Published in ACM transactions on programming languages and systems (01.04.2021)
Published in ACM transactions on programming languages and systems (01.04.2021)
Get full text
Journal Article
Loading…
Inferring Lower Runtime Bounds for Integer Programs
Frohn, Florian, Naaf, Matthias, Brockschmidt, Marc, Giesl, Jürgen
Published in ACM transactions on programming languages and systems (01.12.2020)
Published in ACM transactions on programming languages and systems (01.12.2020)
Get full text
Journal Article
Loading…
Foundations of Typestate-Oriented Programming
Garcia, Ronald, Tanter, Éric, Wolff, Roger, Aldrich, Jonathan
Published in ACM transactions on programming languages and systems (28.10.2014)
Published in ACM transactions on programming languages and systems (28.10.2014)
Get full text
Journal Article
Loading…
A First-order Logic with Frames
Murali, Adithya, Peña, Lucas, Löding, Christof, Madhusudan, P.
Published in ACM transactions on programming languages and systems (15.05.2023)
Published in ACM transactions on programming languages and systems (15.05.2023)
Get full text
Journal Article
Loading…
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications
Richter, David, Kretzler, David, Weisenburger, Pascal, Salvaneschi, Guido, Faust, Sebastian, Mezini, Mira
Published in ACM transactions on programming languages and systems (22.09.2023)
Published in ACM transactions on programming languages and systems (22.09.2023)
Get full text
Journal Article
Loading…
Behavioural Equivalence via Modalities for Algebraic Effects
Simpson, Alex, Voorneveld, Niels
Published in ACM transactions on programming languages and systems (31.03.2020)
Published in ACM transactions on programming languages and systems (31.03.2020)
Get full text
Journal Article