@inproceedings {INPROC-1996-26,
   author = {Wolfgang Gellerich and Michael M. Gutzmann},
   title = {{Massively Parallel Programming Languages - A Classification of Design Approaches}},
   booktitle = {Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems 1996, Vol. I},
   publisher = {ISCA in Cooperation with IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {110--118},
   type = {Konferenz-Beitrag},
   month = {Dezember},
   year = {1996},
   keywords = {Programming Languages; Parallel Programming},
   language = {Englisch},
   cr-category = {D.1.3 Concurrent Programming,
                   D.2 Software Engineering,
                   D.3.2 Programming Language Classifications},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau},
   abstract = {This paper presents the result of a study in which we examined about 50
      massively parallel programming languages in order to detect typical approaches
      towards supporting parallelism. Based on classification into nine classes,
      semantic properties affeccting the development of parallel programs are
      compared. From a consideration of the general function of programming languages
      in software engineering, we derive basic requirements on parallel languages.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1996-26&amp;engl=0}
}

@inproceedings {INPROC-1996-25,
   author = {Bernd Holzm{\"u}ller},
   title = {{Extending the Object-Orientedness of Ada95}},
   booktitle = {Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies},
   publisher = {Springer Berlin Heidelberg},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {1088},
   pages = {357--369},
   type = {Konferenz-Beitrag},
   month = {April},
   year = {1996},
   isbn = {978-3-540-61317-6},
   isbn = {"ISSN: "ISSN: 0302-9743 (Print) 1611-3349 (Online)"},
   isbn = {"DOI:10.1007/BFb0013502"},
   keywords = {Languages; Ada95; Object Oriented},
   language = {Englisch},
   cr-category = {D.3.2 Programming Language Classifications,
                   F.3.3 Studies of Program Constructs},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau},
   abstract = {In the object-oriented extension of Ada95 some constructs and connected type
      rules have been introduced that restrict the flexibility in using the whole set
      of features the object-oriented paradigm provides. Especially the introduction
      of tagged types leads to a loss of potential reuse if efficiency is of concern
      while the rules connected with dispatching disable full static type checking
      for subprogram calls. A closer investigation of these constructs and
      constraints reveals that some of them are completely unnecessary and some could
      be relaxed with minor changes of the language. With corresponding
      modifications, the language gains additional flexibility and becomes easier to
      use, while, through the introduction of multi-methods, the language regains the
      property of being statically type-safe.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1996-25&amp;engl=0}
}

@inproceedings {INPROC-1996-24,
   author = {Wolfgang Gellerich and Markus Kosiol and Erhard Pl{\"o}dereder},
   title = {{Where does GOTO go to?}},
   booktitle = {Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies},
   publisher = {Springer Berlin Heidelberg},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {1088},
   pages = {385--395},
   type = {Konferenz-Beitrag},
   month = {April},
   year = {1996},
   isbn = {978-3-540-61317-6},
   isbn = {"ISSN: 0302-9743 (Print) 1611-3349 (Online)"},
   isbn = {"DOI: 10.1007/BFb0013504"},
   keywords = {Languages; Ada95; Efficiency},
   language = {Englisch},
   cr-category = {F.3.1 Specifying and Verifying and Reasoning about Programs},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau},
   abstract = {Although GOTO has long been criticized for being 'unstructured' and causing
      'unreliable' programs, it is still in use and even modern languages like Ada95
      provide GOTO. Why? This paper presents the results of a study in which we
      examined 316 MB of Ada source code in order to find the frequency and typical
      applications of GOTO. It turned out that about 99\% of all examined files do not
      contain any GOTO, but we also found {\ss}paghetti code``, generally justified by
      efficiency arguments. We analyzed whether GOTO really improved efficiency and
      examined sources containing GOTO by code inspection in order to determine its
      typical applications.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1996-24&amp;engl=0}
}

@inbook {INBOOK-1996-03,
   author = {Rainer Koschke and Erhard Pl{\"o}dereder},
   title = {{Ans{\"a}tze des Programmverstehens}},
   series = {Softwarewartung und Reengineering - Erfahrungen und Entwicklungen},
   publisher = {Deutscher Universit{\"a}ts-Verlag},
   pages = {159--176},
   type = {Beitrag in Buch},
   month = {Dezember},
   year = {1996},
   keywords = {Reengineering; Softwarewartung},
   language = {Deutsch},
   cr-category = {D.2 Software Engineering},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau},
   abstract = {Programmverstehen ist der Proze{\ss} des Wissenserwerbs {\"u}ber ein
      Computerprogramm. E s ist die Voraussetzung f{\"u}r Fehlersuche, Erweiterung,
      Wiederverwendung und Dokumentation. Eine Reihe von Ans{\"a}tzen versucht, das
      Programmverstehen maschinell zu unterst{\"u}tzen. Die gegenw{\"a}rtigen Ans{\"a}tze
      werden in diesem Artikel klassifiziert in grundlegende und wissensbasierte
      Analysen.
      
      Grundlegende Analysen verf{\"u}gen {\"u}ber kein Wissen {\"u}ber die Anwendung und
      allgemeine Programmierung; sie basieren lediglich auf Programmiersprachensyntax
      und -semantik. Sie lassen sich weiter gliedern in grundlegende statische und
      dynamische Analysen, abh{\"a}ngig davon, ob sie zur {\"U}bersetzungszeit oder zur
      Laufzeit vorgenommen werden.
      
      Wissensbasierte Analysen verf{\"u}gen {\"u}ber Anwendungswissen und allgemeines
      Programmierwissen. Sie lassen sich unterscheiden in Parsing-Ans{\"a}tze, die sich
      ausschlie{\ss}lich auf formale und strukturelle Programmeigenschaften st{\"u}tzen,
      und informelles Schlie{\ss}en, welches dar{\"u}ber hinaus auch noch informelle
      Information in Betracht zieht.
      
      Der Artikel gibt Beispiele zu den verschiedenen Analyseformen.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-1996-03&amp;engl=0}
}

