The STUDIA UNIVERSITATIS BABEŞ-BOLYAI issue article summary

The summary of the selected article appears at the bottom of the page. In order to get back to the contents of the issue this article belongs to you have to access the link from the title. In order to see all the articles of the archive which have as author/co-author one of the authors mentioned below, you have to access the link from the author's name.

  
       
         
    STUDIA INFORMATICA - Issue no. Sp.%20Issue%201 / 2014  
         
  Article:   TYPE INFERENCE FOR CORE ERLANG TO SUPPORT TEST DATA GENERATION.

Authors:  TAMÁS KOZSIK, MELINDA TÓTH. 		 
       
         
  Abstract:   Success typing is a well known technique to calculate the type of Erlang functions. Although success typing is commonly used fordocumentation and discrepancy analysis purposes, it results in an overapproximationof the real type. Therefore, when we want to generatearguments for a function call based on the success typing of a function,the function call may fail during execution. In this paper we introduce anew algorithm to calculate the type of Erlang functions to support accuratedata generation.

2010 Mathematics Subject Classi cation. 68N15.1998 CR Categories and Descriptors. D.3.1 [Programming Languages]: Formal De finitions and Theory - Semantics.

Key words and phrases. typing, Erlang, type-based data generation.This work has been supported by the European Union Framework 7 under contract no.288570 ParaPhrase: Parallel Patterns for Adaptive Heterogeneous Multicore Systems",http://paraphrase-enlarged.elte.hu
 
         
     
         
         
      Back to previous page