2 Hits in 8.0 sec

On the Monitorability of Session Types, in Theory and Practice [article]

Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas
2021 arXiv   pre-print
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 7 (1) / 2015 Linguística, Informática e Tradução: Mundos que se Cruzam Homenagem a Belinda Maia Linguística, Informática e Tradução: Mundos que se Cruzam Contents Mundos que se Cruzam Para uma ontologia dos estudos de tradução

Alberto Simões, Anabela Barreiro, Diana Santos, Rui Sousa-Silva, Stella Tagnin, Alberto Simões, Diana Santos, Alberto Simões, Alexandre Rademaker, Ana Brito, Anabela Barreiro, Brett Drury (+44 others)
2015 Oslo Studies in Language   unpublished
.), 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  ...