Sciweavers

ERLANG
2008
ACM
13 years 5 months ago
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse
Wrangler is a refactoring tool for Erlang, implemented in Erlang. This paper reports the latest developments in Wran
Huiqing Li, Simon J. Thompson, George Orösz, ...
ERLANG
2008
ACM
13 years 5 months ago
Gradual typing of erlang programs: a wrangler experience
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
ERLANG
2008
ACM
13 years 5 months ago
Refactoring module structure
László Lövei, Csaba Hoch, Hanna...
ERLANG
2008
ACM
13 years 5 months ago
Early fault detection with model-based testing
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
ERLANG
2008
ACM
13 years 5 months ago
Testing Erlang data types with quviq quickcheck
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
ERLANG
2008
ACM
13 years 5 months ago
Erlang testing and tools survey
Tamás Nagy, Anikó Nagyné V&ia...
ERLANG
2008
ACM
13 years 5 months ago
High-performance technical computing with erlang
Alceste Scalas, Giovanni Casu, Piero Pili
ERLANG
2008
ACM
13 years 5 months ago
Scalaris: reliable transactional p2p key/value store
Thorsten Schütt, Florian Schintke, Alexander ...