ESOP
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. We present a generic algorithm for solving Horn clauses through iterative specialisation. The algorithm is generic in the sense that it can be instantiated with any decid...
ERLANG
2008
ACM
14 years 1 months ago
2008
ACM
Wrangler is a refactoring tool for Erlang, implemented in Erlang. This paper reports the latest developments in Wran
ERLANG
2008
ACM
14 years 1 months ago
2008
ACM
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...
ERLANG
2008
ACM
14 years 1 months ago
2008
ACM
ERLANG
2008
ACM
14 years 1 months ago
2008
ACM
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...
ERLANG
2008
ACM
14 years 1 months ago
2008
ACM
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...
ERLANG
2008
ACM
14 years 1 months ago
2008
ACM
ERLANG
2008
ACM
14 years 1 months ago
2008
ACM
ERLANG
2008
ACM
14 years 1 months ago
2008
ACM
ERLANG
2008
ACM
14 years 1 months ago
2008
ACM