Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	März 2008
Genre:	EDV / Informatik
	agent-basedsoftwaredevelopment / Algorithm / Algorithms / Analysis / component-basedsoftwaredevelopment / Composition / Künstliche Intelligenz (KI) / Logic / Modeling / optimisation / Programmieren (EDV) / programrefinement / proving / Reengineering - Re-engineering / Reuse / SoftwareArchitectures / Specification / Theoretische Informatik / Verification mehr...
ISBN:	9783540787686
EAN-Code:	9783540787686
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#4915 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D 13 mm
Gewicht:	359 gr
Seiten:	232
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Program Termination.- Proving Termination with (Boolean) Satisfaction.- Termination Analysis of Logic Programs Based on Dependency Graphs.- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.- Program Transformation.- Towards a Normal Form for Mercury Programs.- Aggregates for CHR through Program Transformation.- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.- Denotation by Transformation.- Constraint Solving and Analysis.- Generation of Rule-Based Constraint Solvers: Combined Approach.- A Scalable Inclusion Constraint Solver Using Unification.- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs.- Software Engineering.- Snapshot Generation in a Constructive Object-Oriented Modeling Language.- Synthesis of Data Views for Communicating Processes.- Action Refinement in Process Algebra and Security Issues.