Search Sciweavers | Sciweavers

11

click to vote

SIGPLAN
2002

76views System Software» more SIGPLAN 2002»

World-class product certification using Erlang

13 years 5 months ago

Download www.erlang.se

Ulf Wiger, Gösta Ask, Kent Boortz

claim paper

Read More »

13

click to vote

ERLANG
2008
ACM

111views Programming Languages» more ERLANG 2008»

Testing Erlang data types with quviq quickcheck

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

10

click to vote

SIGPLAN
2002

91views System Software» more SIGPLAN 2002»

Trace analysis of Erlang programs

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

12

click to vote

QUEUE
2008

59views more QUEUE 2008»

Erlang for Concurrent Programming

13 years 4 months ago

Download www.csc.lsu.edu

Jim Larson

claim paper

Read More »

13

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 7 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