Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... Notes in Computer Science, 1292, Band 1292)
Der Band des neunten internationalen Symposiums PLILP ’97 liefert praxisnahe Analysen von Compilerdesign, formalen Logiken und deklarativen Technike ...