Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	August 1997
Genre:	EDV / Informatik
	constraint / declarativeprogramming / Erlang / functionalprogramming / Haskell / Intelligenz / Künstliche Intelligenz / KI / Künstliche Intelligenz (KI) / Künstliche Intelligenz - AI / Logic / logicprogramming / ML / ProgramAnalysis / programlanguagesdesign / programlanguagesimplementation / Programmiersprachen / Programming / programminglanguage / Rack / Semantics / Theoretische Informatik mehr...
ISBN:	9783540633983
EAN-Code:	9783540633983
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 24 mm
Gewicht:	668 gr
Seiten:	444
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.