A principled approach towards debugging communicating event-loops-Reference-Cited by-同舟云学术

A principled approach towards debugging communicating event-loops

Published:2017-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
language:
Short-container-title:

Author:

Torres Lopez Carmen¹,Boix Elisa Gonzalez¹,Scholliers Christophe²,Marr Stefan³,Mössenböck Hanspeter³

Affiliation:

1. Vrije Universiteit Brussel, Belgium

2. Ghent University, Belgium

3. JKU Linz, Austria

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3141834.3141839

Reference23 articles.

1. Operational Semantics of a Focusing Debugger

2. Distributed debugging for mobile networks

3. Modules as Objects in Newspeak

4. Fabio Q. B. da Silva. 1992. Correctness proofs of compilers and debuggers: an approach based on structural operational semantics. Ph.D. Dissertation. University of Edinburgh UK. British Library EThOS. Fabio Q. B. da Silva. 1992. Correctness proofs of compilers and debuggers: an approach based on structural operational semantics. Ph.D. Dissertation. University of Edinburgh UK. British Library EThOS.

5. A debugging calculus for mobile ambients

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model Assisted Distributed Root Cause Analysis;2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA );2021-09-07

2. Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences;Proceedings of the ACM on Programming Languages;2020-11-13

3. iDeA: an immersive debugger for actors;Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang;2018-09-29