Programming Languages: Implementations, Logics, and Programs
Produktnummer:
18c1decd4f140f4b499791742f64c28aed
Themengebiete: | Constraint Erlang Haskell ML Rack declarative programming functional programming logic logic programming program analysis |
---|---|
Veröffentlichungsdatum: | 13.08.1997 |
EAN: | 9783540633983 |
Sprache: | Englisch |
Seitenzahl: | 428 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Glaser, Hugh Hartel, Peter Kuchen, Herbert |
Verlag: | Springer Berlin |
Untertitel: | 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings |
Produktinformationen "Programming Languages: Implementations, Logics, and Programs"
This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen