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:   EMBEDDED RESOURCE TOOL IN HASKELL.

Authors:  TAMÁS KOZSIK. 		 
       
         
  Abstract:   In our previous work [4], we have created a way to check size annotations of higher-order polymorphic functional programs supporting nested lists. By extending the lambda-calculus, these annotations are able to express the relations between sizes of arguments and those of the corresponding results of functions. These relations are exact, and can be nonlinear and non-monotonic polynomials. We provided a way for verifi cation condition generation as well. This paper focuses on how it is possible to implement this extended lambda calculus as an embedded DSL.

2010 Mathematics Subject Classi cation. 68N18, 68N30.1998 CR Categories and Descriptors. D.1.1 [Programming Techniques]: Applicative (Functional) Programming - embedding a functional language into a functional language; D.3.1 [Programming Languages]: Formal De finitions and Theory - syntax, semantics.

Key words and phrases. resource analysis, embedded domain-specific language. Supported by the Ministry of Human Resources of Hungary, contract No. 18370-9/2013/TUDPOL.
 
         
     
         
         
      Back to previous page