Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
Verification of Erlang programs using abstract interpretation and model checking
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
On the verification of open distributed systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Trace analysis of Erlang programs
Proceedings of the 2002 ACM SIGPLAN workshop on Erlang
Semi-Automated Verification of Erlang Code
Proceedings of the 16th IEEE international conference on Automated software engineering
Automated test generation for industrial Erlang applications
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
ACSD '04 Proceedings of the Fourth International Conference on Application of Concurrency to System Design
Development of a verified Erlang program for resource locking
International Journal on Software Tools for Technology Transfer (STTT)
Flow graphs for testing sequential erlang programs
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
Semi-formal development of a fault-tolerant leader election protocol in erlang
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Model checking erlang programs: the functional approach
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
McErlang: a model checker for a distributed functional programming language
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Programming distributed erlang applications: pitfalls and recipes
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
A more accurate semantics for distributed erlang
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Automatic assessment of failure recovery in Erlang applications
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
A unified semantics for future Erlang
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
Task optimization based on CPU pipeline technique in a multicore system
Computers & Mathematics with Applications
Hi-index | 0.00 |
We propose an extension to Fredlund's formal semantics for Erlang that models the concept of nodes. The motivation is that there exist sequences of events that can occur in practice, but are impossible to describe using a single-node semantics, such as Fredlund's. The consequence is that some errors in distributed systems might not be detected by model checkers based on Fredlund's original semantics, or by other single-node verification techniques such as testing. Our extension is modest; it re-uses most of Fredlund's work but adds an extra layer at the top-level.