Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Juni 2002
Genre:	EDV / Informatik
	Algorithms / computerscience / Dprogramminglanguage / EDV / Theorie / Software-Entw. / Software Engineering / Haskell / Language / Programmiersprachen / Programming / programminglanguage / programtransformation / Semantics / Software Engineering / Theoretische Informatik / Variable / Verification mehr...
ISBN:	9783540438571
EAN-Code:	9783540438571
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#2386 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D 16 mm
Gewicht:	429 gr
Seiten:	280
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Invited Talks.- Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm.- Some Results in Dynamic Model Theory.- Mathematics in Computer Science Curricula.- Contributed Papers.- Logical Relations and Galois Connections.- Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications.- Fine Control of Demand in Haskell.- Reasoning about Timeouts.- Eternity Variables to Simulate Specifications.- Constructing Tournament Representations: An Exercise in Pointwise Relational Programming.- Type-Indexed Data Types.- Verification of Java's AbstractCollection Class: A Case Study.- Solving Regular Path Queries.- Inverting Functions as Folds.- From Kleene Algebra to Refinement Algebra.