Entdecken Sie die Schlüsselergebnisse des siebten internationalen Symposiums über Programmiersprachen, Logik und Implementierungen aus Utrecht 1995; das Buch fasst wegweisende Theorien, Algorithmen und Praxisbeispiele zusammen, die die Entwicklung moderner Sprachen prägen.