ERLANG 2008 | Sciweavers

Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...

Konstantinos F. Sagonas, Daniel Luna

claim paper

Read More »

32

click to vote

ERLANG
2008
ACM

94views Programming Languages» more ERLANG 2008»

Refactoring module structure

14 years 4 months ago

Download www.erlang.org

László Lövei, Csaba Hoch, Hanna...

claim paper

Read More »

48

click to vote

ERLANG
2008
ACM

133views Programming Languages» more ERLANG 2008»

Early fault detection with model-based testing

14 years 4 months ago

Download www.erlang-solutions.com

Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...

Jonas Boberg

claim paper

Read More »

40

click to vote

ERLANG
2008
ACM

111views Programming Languages» more ERLANG 2008»

Testing Erlang data types with quviq quickcheck

14 years 4 months ago

Download www.protest-project.eu

When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...

Thomas Arts, Laura M. Castro, John Hughes

claim paper

Read More »

40

click to vote

ERLANG
2008
ACM

166views Programming Languages» more ERLANG 2008»

A comparative evaluation of imperative and functional implementations of the imap protocol

14 years 4 months ago