Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Mai 2001
Genre:	EDV / Informatik
	ComputationalLogic / constraintprogramming / Debugging / formalmethods / functionalprogramming / Imperativeprogramming / Künstliche Intelligenz (KI) / Logic / logicprogramming / ProgramAnalysis / Programmieren (EDV) / Generativ / programmingtheory / programsynthesis / programverification / PROLOG / Semantics / Theoretische Informatik / Verification mehr...
ISBN:	9783540421276
EAN-Code:	9783540421276
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#2042 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D 11 mm
Gewicht:	306 gr
Seiten:	196
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Program Refinement.- A Technique for Modular Logic Program Refinement.- Transformation.- Higher-Order Transformation of Logic Programs.- Analysis.- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.- Specialisation.- A Model for Inter-module Analysis and Optimizing Compilation.- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.- Automated Strategies for Specializing Constraint Logic Programs.- Abstract Interpretation.- Measuring the Precision of Abstract Interpretations.- Debugging.- Specifying Prolog Trace Models with a Continuation Semantics.