Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

33 results at ACM Transactions on Programming Languages and Systems (TOPLAS)

The Design of the E Programming Language
- - Joel E. Richardson
  - Michael J. Carey
  - et al.
- 1993
- ACM Transactions on Programming Languages and Systems (TOPLAS)
The CLP(R) Language and System
- - Joxan Jaffar
  - Spiro Michaylov
  - et al.
- 1992
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Trace-Based Network Proof Systems: Expressiveness and Completeness
- - Jennifer Widom
  - David Gries
  - et al.
- 1992
- ACM Transactions on Programming Languages and Systems (TOPLAS)