40. Symposium über Prinzipien von Programmiersprachen, Rom, Italien
Eine Programmiersprache ist eine künstliche Sprache, die Anweisungen an eine Maschine kommunizieren soll. Die meisten Programmiersprachen beschreiben Rechenvorgänge in einer Reihe von Befehlen, obwohl einige, wie diejenigen, die funktionale oder logische Programmierung unterstützen, alternative Beschreibungsformen verwenden. Die Beschreibung einer Programmiersprache wird in der Regel in die beiden Komponenten Syntax (Form) und Semantik (Bedeutung) untergeteilt.
Die Veranstaltung ist ein Diskussionsforum für alle Aspekte von Programmiersprachen und -systemen, und setzt den Schwerpunkt auf die Frage wie die Praxis durch Prinzipien untermauert wird.Weitere Informationen sind abrufbar unter: http://popl.mpi-sws.org/2013/(öffnet in neuem Fenster)