Sciweavers

2045 search results - page 9 / 409
» Learning programming with Erlang
Sort
View
ERLANG
2007
ACM
13 years 11 months ago
A language for specifying type contracts in Erlang and its interaction with success typings
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
Miguel Jimenez, Tobias Lindahl, Konstantinos F. Sa...
SIGPLAN
2002
13 years 7 months ago
Trace analysis of Erlang programs
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
Thomas Arts, Lars-Åke Fredlund
ERLANG
2003
ACM
14 years 29 days ago
ARMISTICE: an experience developing management software with Erlang
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
David Cabrero, Carlos Abalde, Carlos Varela, Laura...
WOA
2003
13 years 9 months ago
eXAT: an Experimental Tool for Programming Multi-Agent Systems in Erlang
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...
Antonella Di Stefano, Corrado Santoro
ERLANG
2004
ACM
14 years 1 months ago
Structured programming using processes
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
Jay Nelson