Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template :: Thesis :: Bach, Alexander


Publications Master Template
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update

Thesis - Master's thesis | @MastersThesis | Masterarbeit


Author
Author(s)*:Bach, Alexander
BibTeX citekey*:Bach96
Language:English

Title, School
Title*:Static analysis of functional programs via Linear Logic
School:Universität des Saarlandes
Type of Thesis*:Master's thesis
Year:1996


Note, Abstract, Copyright
LaTeX 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.
Keywords:logic programming, linear logic
Download Access Level:Public
Download File(s):View attachments here:

Referees, Status, Dates
Supervisor:Andreas Tönne
Status:Completed
Date Kolloquium:18 September 2019

Correlation
MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Programming Logics Group
Audience:Expert
Appearance:MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat

BibTeX Entry:

@MASTERSTHESIS{Bach96,
AUTHOR = {Bach, Alexander},
TITLE = {Static analysis of functional programs via Linear Logic},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Master's thesis}
}


Hide details for Attachment SectionAttachment Section

View attachments here:




Entry last modified by Uwe Brahm, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Uwe Brahm
Created
11/24/1996 11:15:25 PM
Revisions
7.
6.
5.
4.
3.
Editor(s)
Uwe Brahm
Uwe Brahm
Uwe Brahm
Christine Kiesel
Christine Kiesel
Edit Dates
2007-07-11 17:04:28
2007-07-03 10:53:45
03/23/98 06:57:50 PM
17/03/98 12:08:46
17/03/98 12:06:55