English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Static analysis of functional programs via Linear Logic

Bach, A. (1996). Static analysis of functional programs via Linear Logic. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is

Files

show Files
hide Files
:
bach.ps (Any fulltext), 511KB
 
File Permalink:
-
Name:
bach.ps
Description:
-
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/postscript
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Bach, Alexander1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: This thesis investigates aspects of the general relationship between simply typed lambda-calculus and a linear term calculus based on Intuitionistic Linear Logic. It introduces a notion of minimization on linear lambda-terms that removes super ous nonlinear operations (storage). Two different embeddings of the simply typed lambda-calculus into the linear term calculus are studied with respect to their properties under minimization. We define operational semantics for both term calculi. In support of Abramsky's thesis, that linear types are useful in doing abstract interpretation of functional programs, we demonstrate - using translation together with minimization - a syntactic method to do strictness analysis on lambda-terms, via the linear typing calculus. This leads to useful optimizations of call-by-name reduction on lambda-terms.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-1219961996
 Publication Status: Issued
 Pages: -
 Publishing info: Saarbrücken : Universität des Saarlandes
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519612
Other: Local-ID: C1256104005ECAFC-CC875A7179F97FCA412563EC007A42E9-Bach96
 Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show