Theory and Practice of Software Development (TAPSOFT)

A conference, workshop or journal: the thing that recurs, across all its years.

A European conference series on the theory and practice of software development, running from 1985 to 1997. It was folded into ETAPS, so its later editions are cited as ETAPS conferences and TAPSOFT itself is closed.

Part of Lecture Notes in Computer Science.

1 reference

A logic of object-oriented programs
Martín Abadi et al. (1997) · TAPSOFT '97: Theory and Practice of Software Development