Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
ACM Transactions on Programming Languages and Systems
ACM Press
 
   
 
Options:
 
  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 per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy