1986

  1. Schiedermeier, G.: Eine Programmierumgebung für verteiltes PEARL - Codeerzeugung mittels Programmsynthese. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1986. (BibTeX)
  2. Schneider, H.: Ein syntaktischer Rahmen für unterschiedliche Prozeßtypen. Talk: Kolloquium, given on: February 14, 1986, Universität, Mainz 1986 (BibTeX)
  3. Schneider, H.: Programmiersprachen: Konzepte und Trends. Talk: given on: September 15, 1986, SEL, Stuttgart 1986 (BibTeX)
  4. Schneider, H.: Programmverifikation. In: Computer-Magazin (1986) No. 4 pp. 50-55 (BibTeX)
watermark seal