%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:25 +0100 GMT
%    
% Selection : Author: Leif_Kornstaedt
%




@TechReport{Duchier_et_al:1998,
      AUTHOR = {Duchier, Denys and Kornstaedt, Leif and Schulte, Christian and Smolka, Gert},
      TITLE = {A Higher-Order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling},
      YEAR = {1998},
      ADDRESS = {Saarbrücken},
      TYPE = {Technical Report},
      INSTITUTION = {Programming Systems Lab, DFKI and Universität des Saarlandes},
      URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/modules-98.ps.gz},
      ABSTRACT = {We present a higher-order module discipline with separate compilation and concurrent dynamic linking. Based on first-order modules one can program security policies for systems that link modules from untrusted locations (e.g., Java). We introduce a pickling operation that writes persistent clones of volatile, possibly higher-order data structures on the file system. Our pickling operation respects lexical binding. Our module discipline is based on functors, which are annotated functions that are applied to modules and return modules. Pickled computed functors can be used interchangeably with compiled functors. In contrast to compiled functors, pickled computed functors can carry computed data structures with them, which has significant practical applications.},
      ANNOTE = {COLIURL : Duchier:1998:HOM.pdf Duchier:1998:HOM.ps}
}

@MastersThesis{Kornstaedt:1996,
      AUTHOR = {Kornstaedt, Leif},
      TITLE = {Definition und Implementierung eines Front-End-Generators für Oz},
      YEAR = {1996},
      PAGES = {115},
      ADDRESS = {Kaiserslautern},
      SCHOOL = {Universität Kaiserslautern, FB Informatik},
      URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/DA-Kornstaedt.ps.gz},
      ABSTRACT = {In der vorliegenden Diplomarbeit wird ein Front-End-Generator entwickelt, der die multiparadigmatische Sprache Oz als Zielsprache verwendet. Damit wird die Eignung von Oz als Implementierungssprache für Compiler demonstriert und die Reimplementierung des Oz-Compilers in Oz vorbereitet. Das Werkzeug ist besonders auf die Übersetzung vollkompositionaler Sprachen ausgelegt. Das bedeutet, dass neben der lexikalischen und syntaktischen Analyse, bei der über sogenannte /Produktionsschemata/ auch eigene EBNF-Operatoren definiert werden können, auch die Reduktion in eine Kernsprache von dem Werkzeug abgedeckt wird. Um letztere mächtig zu machen und die Implementierung von Baumtransformationen zu vereinfachen, bei denen keine Konflikte der Variablennamen auftreten dürfen, wird weiterhin eine automatisch durchgeführte Bindungsanalyse mit Umbenennung aller gebundenen Bezeichner von dem Werkzeug angeboten.},
      NOTE = {Kornstaedt:1996:DIF},
      ANNOTE = {COLIURL : Kornstaedt:1996:DIF.pdf Kornstaedt:1996:DIF.ps}
}