Calculus Translation Chanchal Kumar Roy Queen's University ...  Home/Search
Context
Related
| cs.queensu.ca/home/c...Erlang06_Roy.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.queensu.ca/home/cordy...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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