Filters








308 Hits in 7.0 sec

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
2018 Electronic Proceedings in Theoretical Computer Science  
data for which the Erlang program generates a runtime error.  ...  In this paper, we present a preliminary work on a tool that, by using the well-known techniques of metaprogramming and symbolic execution, can be used to perform bounded verification of Erlang programs  ...  Acknowledgements We would like to thank the referees of HCVS 2018 for their useful and constructive comments. We also thank John Gallagher for stimulating discussions on the subject.  ... 
doi:10.4204/eptcs.278.4 fatcat:c2tfgy53tnc75dcglqsxgz5a2m

Concolic testing for functional languages

Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas
2017 Science of Computer Programming  
Concolic testing is a software testing technique combining concrete execution of a program (given specific input, along specific paths) with symbolic execution (generating new test inputs that give better  ...  In this paper, we demonstrate its application to a functional programming language core, a subset of the core language of Erlang, that supports pattern matching, structured recursive data types such as  ...  Acknowledgments This work has been partially supported by the European Union grant IST-2011-287510 "RELEASE: A High-Level Paradigm for Reliable Large-scale Server Software".  ... 
doi:10.1016/j.scico.2017.04.008 fatcat:vihaov5apfgw5o3yhpftatlxva

Concolic testing for functional languages

Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas
2015 Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15  
Concolic testing is a software testing technique combining concrete execution of a program (given specific input, along specific paths) with symbolic execution (generating new test inputs that give better  ...  In this paper, we demonstrate its application to a functional programming language core, a subset of the core language of Erlang, that supports pattern matching, structured recursive data types such as  ...  Acknowledgments This work has been partially supported by the European Union grant IST-2011-287510 "RELEASE: A High-Level Paradigm for Reliable Large-scale Server Software".  ... 
doi:10.1145/2790449.2790519 dblp:conf/ppdp/GiantsiosPS15 fatcat:sa5na5nrl5gbfev6n3yqhzldaa

Adding distribution and fault tolerance to Jason

Á. Fernández-Díaz, C. Benac-Earle, L. Fredlund
2015 Science of Computer Programming  
to the difference between a process based functional programming language (Erlang) and a language for programming BDI (Belief-Desire-Intention) agent based systems (Jason).  ...  In this paper we describe an extension of the multiagent system programming language Jason with constructs for distribution and fault tolerance.  ...  eJason eJason is our Erlang implementation of the Jason programming language which exploits the support for efficient distribution and concurrency provided by the Erlang runtime system to make a MAS more  ... 
doi:10.1016/j.scico.2014.01.007 fatcat:6jkaaidccvbfzdz5h36nje7yki

Adding distribution and fault tolerance to jason

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Ake Fredlund
2012 Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions - AGERE! '12  
to the difference between a process based functional programming language (Erlang) and a language for programming BDI (Belief-Desire-Intention) agent based systems (Jason).  ...  In this paper we describe an extension of the multiagent system programming language Jason with constructs for distribution and fault tolerance.  ...  eJason eJason is our Erlang implementation of the Jason programming language which exploits the support for efficient distribution and concurrency provided by the Erlang runtime system to make a MAS more  ... 
doi:10.1145/2414639.2414651 dblp:conf/agere/DiazEF12 fatcat:ejpvwcg65fagxi7gv2dfeylyli

Erlang for Concurrent Programming

Jim Larson
2008 Queue  
The execution model eliminates ˲ some classes of errors from unsynchronized access to shared state-or at least makes these errors more noticeable.  ...  practice easy to reason about the behavior of programs (though there are limits to how easy this can ever be).  ...  The author would like to thank Romain Lenglet and JJ Furman for their feedback.  ... 
doi:10.1145/1454456.1454463 fatcat:fu5ooxzoibgr3aywiv7yxi7fwa

Erlang for concurrent programming

Jim Larson
2009 Communications of the ACM  
The execution model eliminates ˲ some classes of errors from unsynchronized access to shared state-or at least makes these errors more noticeable.  ...  practice easy to reason about the behavior of programs (though there are limits to how easy this can ever be).  ...  The author would like to thank Romain Lenglet and JJ Furman for their feedback.  ... 
doi:10.1145/1467247.1467263 fatcat:pp34i2rvmvbaxhr7auruaaivai

Compiling Erlang to Scheme [chapter]

Marc Feeley, Martin Larose
1998 Lecture Notes in Computer Science  
Both Erlang and Scheme can create and call functional objects. Unfortunately, this direct representation does not support error detection.  ...  Introduction Erlang is a concurrent functional programming language which has been mostly developed internally at Ericsson for the programming of telecom applications.  ... 
doi:10.1007/bfb0056622 fatcat:o2mb72n5bzfzzgfsbdr5gzazm4

A feature model of actor, agent, and object programming languages

Howell Jordan, Goetz Botterweck, Marc-Philippe Huget, Rem Collier
2011 Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11 - SPLASH '11 Workshops  
The feature model is derived from the existing literature on general concepts of programming, and validated against Erlang, Jason, and Java.  ...  The model acts as a tool to assist practitioners in selecting the most appropriate programming language for a given task, and is expected to form the basis of further high-level comparative studies in  ...  Acknowledgments The authors would like to thank Tom Arbuckle, John Noll, Klaas-Jan Stol, Guy Wiener, and the anonymous reviewers, for providing many insightful comments on earlier drafts of this paper.  ... 
doi:10.1145/2095050.2095077 dblp:conf/oopsla/JordanBHC11 fatcat:ereby4jo3fddnf4geuwa2qdvci

DSCMC: Distributed Stateless Code Model Checker [article]

Elaheh Ghassabani, Mohammad Abdollahi Azgomi
2016 arXiv   pre-print
This tool is implemented using Erlang, which is an actor-based programming language. DSCMC is able to detect deadlocks, livelocks, and data races automatically.  ...  The parallel architecture of the tool exploiting the rich concurrency model of Erlang is suited to the time-intensive process of stateless code model checking.  ...  At runtime, pi sends the required status of the program to mci in the form of a proper message.  ... 
arXiv:1603.03536v1 fatcat:rlzy5ko6mragnh7fmnhhvldvnq

Concurrency oriented programming in termite scheme

Guillaume Germain
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06  
It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is based on a message-passing model of concurrency.  ...  Termite Scheme is a variant of Scheme intended for distributed computing.  ...  Acknowledgments This work was supported in part by the Natural Sciences and Engineering Research Council of Canada.  ... 
doi:10.1145/1159789.1159795 dblp:conf/erlang/Germain06 fatcat:azbp23bluvgk5e4kkyznnb34km

Verification of Erlang programs using abstract interpretation and model checking

Frank Huch
1999 SIGPLAN notices  
Since the framework guarantees safeness of the abstraction the properties proven for the abstraction also hold for the real execution of the Erlang program.  ...  Therefore, we define a framework for abstract interpretations of Erlang programs.  ...  The Erlang runtime system allows the concurrent execution of several processes.  ... 
doi:10.1145/317765.317908 fatcat:i7dcgo77mjekdcxdlijlejx7xq

Verification of Erlang programs using abstract interpretation and model checking

Frank Huch
1999 Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99  
Since the framework guarantees safeness of the abstraction the properties proven for the abstraction also hold for the real execution of the Erlang program.  ...  Therefore, we define a framework for abstract interpretations of Erlang programs.  ...  The Erlang runtime system allows the concurrent execution of several processes.  ... 
doi:10.1145/317636.317908 dblp:conf/icfp/Huch99 fatcat:3i3x6r46gfbiph7zxatuqmbckq

The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation [chapter]

Mikael Pettersson, Konstantinos Sagonas, Erik Johansson
2002 Lecture Notes in Computer Science  
This paper describes the x86 version of HiPE, including a detailed account of decisions and principles that guide the design of its compiler and runtime system.  ...  Erlang is a concurrent functional language, tailored for large-scale distributed and fault-tolerant control software.  ...  The real-time concerns of the language call for bounded-time garbage collection techniques.  ... 
doi:10.1007/3-540-45788-7_14 fatcat:txryrfh54beovbhoenlzqvyo6m

A feature model of actor, agent, functional, object, and procedural programming languages

Howell Jordan, Goetz Botterweck, John Noll, Andrew Butterfield, Rem Collier
2015 Science of Computer Programming  
general-purpose programming languages. • Mappings from five languages (C, Erlang, Haskell, Jason, and Java) to this model.  ...  The model is intended to act as a tool for both practitioners and researchers, to facilitate both further high-level comparative studies of programming languages, and detailed investigations of feature  ...  2011 and Science of Computer Programming, for providing many insightful comments on earlier drafts of this paper.  ... 
doi:10.1016/j.scico.2014.02.009 fatcat:f7odvseunfcezjsa376q7mrn74
« Previous Showing results 1 — 15 out of 308 results