Spara
Programming Languages: Implementations, Logics, and Programs
This volume presents 25 revised papers from the ninth International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '97. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in constructing real programs. Topics covered include: implementation of declarative concepts; integration of paradigms; program analysis and transformation; programming environments; executable specifications; and reasoning about language constructs.
- Undertitel
- 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
- Redaktör
- Hugh Glaser, Peter Hartel, Herbert Kuchen
- Upplaga
- 1997 ed.
- ISBN
- 9783540633983
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1997-08-13
- Sidor
- 428
