We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
TYPE INFERENCE FOR CORE ERLANG TO SUPPORT TEST DATA GENERATION.
- Authors
OLÁH, GÁBOR; HORPÁCSI, DÁNIEL; KOZSIK, TAMÁS; TÓTH, MELINDA
- Abstract
Success typing is a well known technique to calculate the type of Erlang functions. Although success typing is commonly used for documentation and discrepancy analysis purposes, it results in an overapproximation of the real type. Therefore, when we want to generate arguments for a function call based on the success typing of a function, the function call may fail during execution. In this paper we introduce a new algorithm to calculate the type of Erlang functions to support accurate data generation.
- Subjects
ERLANG (Computer program language); PROGRAMMING languages; DISCREPANCY theorem; INFERENCE (Logic); APPROXIMATION algorithms
- Publication
Studia Universitatis Babes-Bolyai, Informatica, 2014, Vol 59, p201
- ISSN
1224-869X
- Publication type
Article