Neuerscheinungen im Fachgebiet Mathematik im Logos Verlag Berlin http://www.logos-verlag.de/cgi-bin/engtransid?page=neu.html&lng=deu&id= http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=830&lng=deu&id= http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=830&lng=deu&id= Wed, 23 Jan 2002 01:00:00 +0100 Die vorliegende Ausarbeitung einer Vorlesung über die Semantik von Programmiersprachen will dem Leser die in der theoretischen Informatik zur Zeit bedeutendesten Methoden zur Formalisierung der Semantik der Kontrollstrukturen einer Programmiersprache vermitteln, wobei sich auf sogenannte sequentielle Sprachen beschränkt wird, also keine parallelen oder verteilte Abläufe betrachtet werden. Die Vermittlung von Methoden beinhaltet auch die dazu notwendigen Grundlagen und bezieht sich somit konsequenterweise auch auf den mathematischen Hintergrund. Bei der Darstellung dieses Stoffs wird versucht, die Gegenstände, etwa die Programmiersprachen bei den verschiedenen ...