See this document in CiteSeerX!

Towards Automatic Verification of Erlang Programs by  (Make Corrections)  
Calculus Translation Chanchal Kumar Roy Queen's University ...



  Home/Search   Context   Related

 
View or download:
cs.queensu.ca/home/c...Erlang06_Roy.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.queensu.ca/home/cordy...papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: ERLANG is a concurrent, dynamically typed, distributed, purely functional programming language with non-purely functional libraries that is mainly employed in telecommunication systems. This paper provides a contribution to the formal modeling and verification of programs written in Erlang. It presents a mapping of Erlang programs to the #--calculus, a process algebra whose name-- passing feature allows representation of the mobile aspects of software written in Erlang in a natural way. (Update)

Active bibliography (related documents):   More   All
0.5:   A Distributed Model Checking Tool Tailored to Erlang - Leucker, Noll (2001)   (Correct)
0.5:   Reasoning about Side-Effect Free Erlang Code in a.. - Chugunov (2004)   (Correct)
0.5:   Evaluating Distributed Functional Languages for.. - Nyström, Trinder, King (2003)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ chanchal-towards,
  author = "Calculus Translation Chanchal",
  title = "Towards Automatic Verification of Erlang Programs by",
  url = "citeseer.ist.psu.edu/764952.html" }
Citations (may not include all citations):
854   Information and Computation (context) - Milner, Parrow et al. - 1992
828   Model Checking - Clarke, Grumberg et al. - 1999
242   Concurrent Programming in Erlang - Armstrong, Virding et al. - 1996
202   International Series in Computer Science (context) - Milner, Concurrency - 1989
9   Truth -- a verification platform for concurrent systems - Lange, Leucker et al. - 1999
2   An introduction to Core Erlang - Carlsson - 2001
2   A rewriting logic implementation of Erlang (context) - Noll - 2001
2   A verification tool for Erlang - Fredlund, Gurov et al. - 2002
2   Semi--automated verification of Erlang code - Fredlund, Gurov et al. - 2001
2   Verification of Erlang programs using SPIN (context) - Wiklander - 1999
2   A Distributed Model Checking Tool Tailored to Erlang - Leucker, Noll - 2001
1   seresearchgrouphipecorerl doccore_erlang (context) - Johansson, om et al. - 2004
1   Erlang in Real Time - Castro - 2001
1   Modelling programming languages for concurrent and distribut.. (context) - Roy - 2004
1   Equational abstractions for model checking erlang programs (context) - Noll - 2003
1   Development of a verified Erlang program for resource lockin.. (context) - Arts, Earle et al. - 2004
1   Modeling Erlang in the Pi-Calculus (context) - Noll, Roy - 2005
1   Translating Erlang to CRL (context) - Arts, Earle et al.
http://fmt.isti.cnr
http://spinroot.com/spin/
http://research.microsoft.com/
http://homepages.cwi.nl/
http://www.it.uu.se/
http://lcs.ios.ac.cn/
http://www.inrialpes.fr/vasy/cadp/

Documents on the same site (http://www.cs.queensu.ca/home/cordy/papers.html):   More
Agile Parsing in TXL - Dean, Cordy, Malton, Schneider (2003)   (Correct)
A Survey of Table Recognition: Models, Observations.. - Zanibbi, Blostein, Cordy (2003)   (Correct)
Testing and Model Checking Implicit-Invocation.. - Bradbury, Zhang.. (2004)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC