Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Dezember 2006
Genre:	EDV / Informatik
	function-basedprogramming / functionallogiccomputation / functionalprogramming / functionalprogramminglanguages / functionaltheoremproving / graphrewriting / Haskell / haskellprogramming / Lambdacalculus / mathematicalsemantics / MLprogramming / Programmieren (EDV) / Funktional / programminglanguagesimplementat / programminglanguagesimplementation / server-sideWebprogramming / theoremproving / Theoretische Informatik mehr...
ISBN:	9783540691747
EAN-Code:	9783540691747
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#4015 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D 14 mm
Gewicht:	376 gr
Seiten:	244
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Contributions.- A Framework for Point-Free Program Transformation.- Encoding Strategies in the Lambda Calculus with Interaction Nets.- Proof Tool Support for Explicit Strictness.- A Rational Deconstruction of Landin's J Operator.- A Dependently Typed Framework for Static Analysis of Program Execution Costs.- Accurate Step Counting.- The Implementation of iData.- A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell.- Polytypic Syntax Tree Operations.- Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences.- With-Loop Fusion for Data Locality and Parallelism.- A Document-Centered Environment for Haskell.- A Binding Scope Analysis for Generic Programs on Arrays.