Search
w/in this Title
for Titles
All Reviews
ACM Transactions on Programming Languages and Systems
ACM Press
Options:
Date Reviewed
Title
Author
Publisher
Published Date
Descending Order
Ascending Order
1-10 of 379 reviews
Date Reviewed
Environmental bisimulations for probabilistic higher-order languages
Sangiorgi D., Vignudelli V. ACM Transactions on Programming Languages and Systems 41(4): 1-64, 2019. Type: Article
Bisimulation is a technique for proving the behavioral equivalence of labeled transition systems. It is used in the study of λ calculi, for example, especially in the context of concurrency. The basic idea is to find a relatio...
Feb 2 2021
Static identification of injection attacks in Java
Spoto F., Burato E., Ernst M., Ferrara P., Lovato A., Macedonio D., Spiridon C. ACM Transactions on Programming Languages and Systems 41(3): 1-58, 2019. Type: Article
A programming language’s security principles guarantee robustness and sustainability by detecting and neutralizing any tainted object in the programming code, which can potentially be the source of any vulnerability during th...
Feb 6 2020
Modular product programs
Eilers M., Müller P., Hitz S. ACM Transactions on Programming Languages and Systems 42(1): 1-37, 2019. Type: Article
Some properties of programs are not about a single run of the program; instead, they relate multiple runs. For example, a program is deterministic if, given the same input, two runs will always produce the same answer. Many other prope...
Jan 14 2020
On the impact of programming languages on code quality: a reproduction study
Berger E., Hollenbeck C., Maj P., Vitek O., Vitek J. ACM Transactions on Programming Languages and Systems 41(4): 1-24, 2019. Type: Article
E. W. Dijkstra’s classic
A discipline of programming
[1] has rightly achieved the sort of permanent validity that mathematician G. H. Hardy spoke of in his famous
A mathematician’s apology
[2]. Dijkstr...
Nov 21 2019
Interconnectability of session-based logical processes
Toninho B., Yoshida N. ACM Transactions on Programming Languages and Systems 40(4): 1-42, 2018. Type: Article
The analysis of communication network processes is an important topic in computer science. This paper compares two formalisms for describing such networks, namely linear logic (originally derived from an investigation into the fine str...
May 6 2019
Conditioning in probabilistic programming
Olmedo F., Gretz F., Jansen N., Kaminski B., Katoen J., Mciver A. ACM Transactions on Programming Languages and Systems 40(1): 1-50, 2018. Type: Article
Machine learning, possibly contrary to popular belief, is not just about endless variations of neural networks. There is also a thriving subculture of probabilistic programming based on Bayesian principles. A large advantage of the lat...
Jun 13 2018
Bit-precise procedure-modular termination analysis
Chen H., David C., Kroening D., Schrammel P., Wachter B. ACM Transactions on Programming Languages and Systems 40(1): 1-38, 2018. Type: Article
That software is pervasive in our lives is now a platitude. That much of this software is flawed has also reached the collective consciousness. A lot of code, much to the chagrin of most researchers in programming languages, is still w...
Apr 27 2018
Compiler-driven software speculation for thread-level parallelism
Yiapanis P., Brown G., Luján M. ACM Transactions on Programming Languages and Systems 38(2): 1-45, 2016. Type: Article
Compilers quickly reach their limits in parallelizing sequential code (for example, C++): static analysis methods often fail because of insufficient information about values that become known at runtime; therefore, compilers work usual...
Feb 24 2016
A logical approach to deciding semantic subtyping
Gesbert N., Genevès P., Layaïda N. ACM Transactions on Programming Languages and Systems 38(1): 1-31, 2015. Type: Article
Although object-oriented subtyping has been efficiently resolved by compilers for years, this paper shows how subtyping in Extensible Markup Language (XML)-centric functional languages can be done with a SAT solver. It gives a tested f...
Jan 11 2016
Behavioral subtyping, specification inheritance, and modular reasoning
Leavens G., Naumann D. ACM Transactions on Programming Languages and Systems 37(4): 1-88, 2015. Type: Article
This is a long paper: 67 pages plus a 21-page appendix. It describes the verification of a dynamically dispatched method call of an object-oriented program by using supertype abstraction. The authors maintain that such abstraction is o...
Dec 15 2015
Display
5
10
15
25
50
100
per column
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy