The recently accepted papers in TPLP are the following:
Regular Papers
- Predicate Pairing for Program Verification
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi. - A Concurrent Constraint Programming Interpretation of Access.
Carlos Olarte, Elaine Pimentel, Camilo Rueda.
Accepted Technical Notes/Rapid Publication Papers
- <none>
Accepted Book Reviews
- <none>