A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
This work takes a fresh look at the run-time verification of communicating systems using session types, in theory and in practice. ... On the practical side, we show that our monitoring theory is indeed realisable: building upon our formal model, we develop a Scala toolkit for the automatic generation of session monitors. ... Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 -April 4, 1998, Proceedings, volume 1381 of Lecture Notes in Computer Science, pages 122-138. ...arXiv:2105.06291v1 fatcat:wpy4l4tf3rhqhhqgyzbohtrcbu
Oslo Studies in Language
.), Proceedings of the 4th In- ternational Conference on Language Resources and Evaluation (LREC'2004), 449-452. ... such, and over 98% ACNE recall for the anonymisationoptimized system as a whole. ... incorporated the methodology into their professional practice; c) the feedback they received from the technical reviser (as part of the publisher's preparation of the final version of the material for ...fatcat:4bgyytz4rnfw5p6h2x4xy3k72y