McErlang: A model checker for a distributed functional programming language

被引：0
|
作者：
Fredlund, Larsåke [1 ]
Svensson, Hans [2 ]
机构：
[1] Facultad de Informatica, Universidad Politécnica de Madrid, Spain
[2] Computer Science and Engineering, Chalmers University of Technology, Sweden
来源：
ACM SIGPLAN Notices | 2007年 / 42卷 / 09期
关键词：
Fault tolerance - Software prototyping - Computer programming languages - Program interpreters - Semantics - Functional programming - Model checking;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：125 / 136
相关论文
共 50 条
  • [1] McErlang: A Model Checker for a Distributed Functional Programming Language
    Fredlund, Lars-Ake
    Svensson, Hans
    ICFP'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2007, : 125 - 136
  • [2] McErlang:: A model checker for a distributed functional programming language
    Fredlund, Lars-Ake
    Svensson, Hans
    ACM SIGPLAN NOTICES, 2007, 42 (09) : 125 - 136
  • [3] Recent Improvements to the McErlang Model Checker
    Benac Earle, Clara
    Fredlund, Lars-Ake
    ERLANG'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN ERLANG WORKSHOP, 2009, : 93 - 100
  • [4] Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks
    Belenchia, Matteo
    Corradini, Flavio
    Quadrini, Michela
    Loreti, Michele
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023, 2023, 13910 : 37 - 54
  • [5] A Distributed CTL Model Checker
    Stoica, Laura Florentina
    Boian, Florian Mircea
    Stoica, Florin
    PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON E-BUSINESS (ICE-B 2013), 2013, : 379 - 386
  • [6] Distributed MAP in the SpinJa Model Checker
    Vijzelaar, Stefan
    Verstoep, Kees
    Fokkink, Wan
    Bal, Henri
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (72): : 84 - 90
  • [7] A NEW TYPE-CHECKER FOR A FUNCTIONAL LANGUAGE
    FAIRBAIRN, J
    SCIENCE OF COMPUTER PROGRAMMING, 1986, 6 (03) : 273 - 290
  • [8] Function Passing: A Model for Typed, Distributed Functional Programming
    Miller, Heather
    Haller, Philipp
    Mueller, Normen
    Boullier, Jocelyn
    ONWARD!'16: PROCEEDINGS OF THE 2016 ACM INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE, 2016, : 82 - 97
  • [9] DMODULA:A Distributed Programming Language
    孙钟秀
    商陆军
    Journal of Computer Science and Technology, 1986, (02) : 25 - 31
  • [10] The eXchange Calculus (XC): A functional programming language design for distributed collective systems
    Audrito, Giorgio
    Casadei, Roberto
    Damiani, Ferruccio
    Salvaneschi, Guido
    Viroli, Mirko
    JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 210
12345