Search Sciweavers | Sciweavers

23

click to vote

SIGPLAN
2002

76views System Software» more SIGPLAN 2002»

World-class product certification using Erlang

13 years 9 months ago

Download www.erlang.se

Ulf Wiger, Gösta Ask, Kent Boortz

claim paper

Read More »

30

click to vote

ERLANG
2008
ACM

111views Programming Languages» more ERLANG 2008»

Testing Erlang data types with quviq quickcheck

13 years 11 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 »

26

click to vote

SIGPLAN
2002

91views System Software» more SIGPLAN 2002»

Trace analysis of Erlang programs

13 years 9 months ago

Download www.erlang.se

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

claim paper

Read More »

27

click to vote

QUEUE
2008

59views more QUEUE 2008»

Erlang for Concurrent Programming

13 years 9 months ago

Download www.csc.lsu.edu

Jim Larson

claim paper

Read More »

29

click to vote

CONCUR
2008
Springer

95views Distributed And Parallel Com...» more CONCUR 2008»

Abstraction for Stochastic Systems by Erlang's Method of Stages

13 years 11 months ago

Download www4.in.tum.de

ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...

Joost-Pieter Katoen, Daniel Klink, Martin Leucker,...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers