Internationale Konferenz über Programmiersprachen, Madrid, Spanien
20 Januar 2010 - 20 Januar 2010
Spanien
Das jährliche Symposium über Prinzipien von Programmiersprachen (Principles of Programming Languages 2010 - POPL 2010) findet vom 20. bis 22. Januar 2010 in Madrid, Spanien, statt.
Programmiersprachen sind Hilfsprogramme für die Entwicklung von Softwareprogrammen, die Informationen verarbeiten und das physische und logische Verhalten von Maschinen steuern können. Programmiersprachen unterstützen unzählige Alltagsprozesse nicht nur in Computern, sondern auch in Mobiltelefonen, Haushaltsgeräten, Autos und anderen Gebrauchsgegenständen. Das Symposium wird ein Forum zur Diskussion über alle Aspekte von Programmiersprachen und -systemen sein und sich besonders damit beschäftigen, wie Prinzipien die Praxis unterstützen.
Mehrere Veranstaltungen zu ähnlicher Thematik finden in etwa zur gleichen Zeit wie die Konferenz statt. Vorgesehene Themen sind:
- praktische Aspekte deklarativer Sprachen,
- Teilbewertungen und Programmmanipulation,
- deklarative Aspekte von Multicore-Programmierung,
- Typen von Sprachdesign und -implementierung.
POPL 2010 wird von der Association for Computer Machinery (ACM) finanziell unterstützt.Weitere Informationen sind abrufbar unter:
http://www.cse.psu.edu/popl/10/(öffnet in neuem Fenster)
Programmiersprachen sind Hilfsprogramme für die Entwicklung von Softwareprogrammen, die Informationen verarbeiten und das physische und logische Verhalten von Maschinen steuern können. Programmiersprachen unterstützen unzählige Alltagsprozesse nicht nur in Computern, sondern auch in Mobiltelefonen, Haushaltsgeräten, Autos und anderen Gebrauchsgegenständen. Das Symposium wird ein Forum zur Diskussion über alle Aspekte von Programmiersprachen und -systemen sein und sich besonders damit beschäftigen, wie Prinzipien die Praxis unterstützen.
Mehrere Veranstaltungen zu ähnlicher Thematik finden in etwa zur gleichen Zeit wie die Konferenz statt. Vorgesehene Themen sind:
- praktische Aspekte deklarativer Sprachen,
- Teilbewertungen und Programmmanipulation,
- deklarative Aspekte von Multicore-Programmierung,
- Typen von Sprachdesign und -implementierung.
POPL 2010 wird von der Association for Computer Machinery (ACM) finanziell unterstützt.Weitere Informationen sind abrufbar unter:
http://www.cse.psu.edu/popl/10/(öffnet in neuem Fenster)