home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / doc / techrepo / 240 < prev    next >
Encoding:
Text File  |  1993-01-12  |  8.8 KB  |  164 lines
  1. Newsgroups: comp.doc.techreports
  2. Path: sparky!uunet!mcsun!sun4nl!star.cs.vu.nl!golding
  3. From: Guido Hogen <ghogen@zeus.informatik.rwth-aachen.de>
  4. Subject: New TRs from RWTH Aachen
  5. Message-ID: <C0qnwL.ECu@cs.vu.nl>
  6. Originator: golding@frans.cs.vu.nl
  7. Sender: news@cs.vu.nl
  8. Organization: Fac. Wiskunde & Informatica, VU, Amsterdam
  9. Date: Mon, 11 Jan 1993 07:45:39 GMT
  10. Approved: compdoc-techreports@ftp.cse.ucsc.edu
  11. Lines: 151
  12.  
  13.  
  14.            \_\_\_     \_     \_   \_\_\_\_\_   \_    \_         Rheinisch-
  15. Aachen      \_    \_   \_     \_       \_       \_    \_        Westfaelische
  16. University   \_\_\_     \_  \_ \_       \_       \_\_\_\_       Technische 
  17. of Technology \_  \_     \_\_ \_\_       \_       \_    \_      Hochschule
  18.                \_   \_    \_     \_       \_       \_    \_     Aachen
  19.  
  20.  
  21. -------------------------------------------------------------------------------
  22.                   Dept. of Computer Science                              1-2/93
  23.             Announcements of new Technical Reports
  24. -------------------------------------------------------------------------------
  25.              
  26. Anonymous ftp address:  ftp.informatik.rwth-aachen.de  (137.226.112.172) 
  27. Directory:              /pub/reports                     
  28. Format:                 Compressed PostScript Files (<number>.ps.Z)
  29.  
  30. If you are interested in receiving announcements of new reports, please write a 
  31. mail containing "subscribe <your e-mail address>" to 
  32.           tr-announce-request@informatik.rwth-aachen.de  
  33.           
  34. -------------------------------------------------------------------------------
  35.  
  36. TITLE    = Aliasing and Groundness Analysis of Logic Programs through 
  37.            Abstract Interpretation and its Safety
  38. NUMBER     = 92-27
  39. AUTHORS     = Werner Hans and Stephan Winkler
  40. PAGES     = 30
  41. ABSTRACT = This paper describes a safe method, which derives aliasing and 
  42.            groundness properties of logic programs (with equality). The abstract
  43.            domain bases on the one proposed by Jacobs and Langen, which has the
  44.            advantage of great potential precision and supports the simple 
  45.            computation through abstract interpretation. The abstract execution 
  46.            follows the framework suggested by Bruynooghe determining useful
  47.            information for all points within the program. The abstract 
  48.            operations as well as the embedding in this framework are formulated 
  49.            in a precise manner and are proven correct; the latter is the crucial
  50.            topic here. In addition, several refinements are examined.
  51.  
  52. -------------------------------------------------------------------------------
  53.  
  54. TITLE    = Object-Orientation Axiomatised by Dynamic Logic
  55. NUMBER     = 92-30
  56. AUTHORS     = A. Kemper, G. Moerkotte, K. Peithner
  57. PAGES     = 31
  58. ABSTRACT = The field of object-oriented databases is suffering from the lack
  59.            of a---widely agreed upon---formal model. In this paper we develop 
  60.            the basics of a formal model for an object-oriented data model 
  61.            (kernel). The formalization is based on dynamic logic: combining 
  62.            many-sorted algebras with states and state transitions. The
  63.            many-sorted algebras are utilized to model the static aspects, i.e., 
  64.            the value-oriented part of the object model.  The state transitions
  65.            account for the dynamic behavior of the object base due to object
  66.            modifications. The main dynamic features that we incorporate in the
  67.            formal model comprise (object) attribute assignment, object creation,
  68.            object deletion, and set object manipulation, i.e., removing and 
  69.            inserting elements.
  70.  
  71.            The virtues of the proposed model are demonstrated on three sample
  72.            applications. Dangling references may lead a given program to
  73.            non-terminate---we will show this fact. Second, a desirable property
  74.            of a program will be verified. Last, the semantics of a simple 
  75.            declarative language for our object model will be specified. 
  76.            Utilizing the formal model we are able to prove the correctness 
  77.            of a particular query evaluation plan---called the ``nested loop''
  78.            evaluation. 
  79.  
  80. -------------------------------------------------------------------------------
  81.  
  82. TITLE     = Implementation of the imperative / rule based language PROGRES
  83. NUMBER     = 92-38
  84. AUTHORS     = Albert Zuendorf
  85. PAGES     = 12
  86. ABSTRACT = The work reported here is part of the PROGRES (PROgrammed Graph 
  87.            Rewriting Systems) project. PROGRES is a very high level multi 
  88.            paradigm language for the specification of complex structured data 
  89.            types and their operations. The data structures are modelled as 
  90.            directed, attributed, node and edge labelled graphs (diane graphs). 
  91.            The basic programming constructs of PROGRES are graph rewriting rules
  92.            (productions and tests) and derived relations on nodes (paths and
  93.            restrictions). These basic operations may be combined to build partly
  94.            imperative, partly rule based, complex graph transformations by 
  95.            special control structures which regard the nondeterministic nature
  96.            of graph rewriting rules. PROGRES offers its users a convenient,
  97.            partly textual, partly graphical concrete syntax and a rich system of
  98.            consistency checking rules for the underlying calculus of programmed 
  99.            diane-graph rewriting systems.
  100.  
  101.            This paper presents the key techniques used for the execution of 
  102.            PROGRES programs. We will discuss a simple approach to control flow
  103.            backtracking which is done in a conventional imperative programming 
  104.            language by using a certain programming style. Additionally, the 
  105.            semantics of PROGRES demands that we are able to restore arbitrary
  106.            previous graph states during backtracking. This adds a new quality to
  107.            the problem of backtracking which is addressed using a nonstandard
  108.            database management system and its undo / redo mechanism. We believe 
  109.            that the techniques presented here are not specific for the language 
  110.            PROGRES but are useful for the implementation of a whole new family 
  111.            of multiple paradigm languages.
  112.  
  113. --------------------------------------------------------------------------------
  114.  
  115. TITLE    = Intelligentes Backtracking bei der Auswertung funktional-logischer
  116.            Programme (written in german)
  117. NUMBER   = 92-39 
  118. AUTHORS  = Patrik Koch
  119. PAGES    = 45
  120. ABSTRACT = Deklarative Programmiersprachen erm"oglichen eine problemorientierte 
  121.            Beschreibung von Sachverhalten. Andererseits verursacht diese gro"se 
  122.            Distanz zur realen Maschine Effizienzprobleme bei der Auswertung
  123.            solcher Programme. In dieser Arbeit wird ein Intelligentes 
  124.            Backtracking - Verfahren f"ur die Auswertung von Programmen der 
  125.            funktional-logischen Sprache Babel vorgestellt. Dabei wird der
  126.            Suchraum zum Auswertungszeitpunkt aufgrund der bisherigen Berechnung 
  127.            dynamisch verkleinert.
  128.  
  129. --------------------------------------------------------------------------------
  130.  
  131. TITLE    = Design and Evaluation of GRAS, a Graph-Oriented Database
  132.            System for Engineering Applications
  133. NUMBER   = 92-44
  134. AUTHORS  = N. Kiesel, A. Schuerr, B. Westfechtel
  135. PAGES    = 44
  136. ABSTRACT = Modern software systems for application areas like CAD, office
  137.            automation, or software engineering are usually highly interactive
  138.            and deal with rather complex object structures. For the realization
  139.            of these systems a nonstandard database system is needed which is
  140.            able to efficiently handle different types of coarse- and fine-
  141.            grained objects (like documents and paragraphs), hierarchical and
  142.            nonhierarchical relationships between objects (like composition-
  143.            links and cross-references), and finally attributes of rather
  144.            different size (like chapter numbers and bitmaps). Furthermore,
  145.            this database system should support computation of derived data,
  146.            undo/redo of data modifications, error recovery from system
  147.            crashes, and version control mechanisms. In this paper, we
  148.            describe the underlying data model and the functionality of GRAS,
  149.            a database system which has been designed according to the above
  150.            mentioned requirements. Furthermore, we motivate our central
  151.            design decisions concerning its realization, and we evaluate
  152.            our system by means of the so-called hypermodel benchmark for
  153.            hypertext databases.
  154.  
  155. ----------------------------------
  156. Guido Hogen
  157. tr-admin@informatik.rwth-aachen.de
  158. ----------------------------------
  159. ===========================================================================
  160. Co-moderator:  Richard Golding, Computer & Information Sciences, UC Santa Cruz
  161.         compdoc-techreports-request@ftp.cse.ucsc.edu
  162.  
  163.  
  164.