Static Trace-Based Deadlock Analysis for Synchronous Mini-Go

DOI10.1007/978-3-319-47958-3_7zbMath1483.68056arXiv1608.08330OpenAlexW2512167970MaRDI QIDQ3179284

Peter Thiemann, Kai Stadtmüller, Martin Sulzmann

Publication date: 21 December 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1608.08330

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Uses Software

• RacerX
• go
• GitHub
• Gopherlyzer
• TyPiCal

Cites Work

• Unnamed Item
• Unnamed Item
• Type-based information flow analysis for the \(\pi\)-calculus
• Forkable Regular Expressions
• Communicating sequential processes
• Concurrent Programming in ML
• Derivatives of Regular Expressions
• A New Type System for Deadlock-Free Processes