Welcome to our book review site www.go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Normalization and Partial Evaluation of Functional Logic Programs
The functional logic programming paradigm combines the two most important fields of declarative programming, namely functional and logic programming, in an integrated way to allow the concise notation of high-level programs. However, the variety of concepts and conciseness of programs may also impact their efficiency. In this work we employ the powerful optimization technique of partial evaluation to develop a fully automatic program optimizer, the so-called partial evaluator. In particular, we formalize the normalization of programs during compilation, establish a formal notation of the evaluation process, develop a formal partial evaluation scheme and prove its correctness and termination, and implement a working partial evaluator which shows impressive results.
Einführung einer Balanced Scorecard für die IT
Diplomarbeit aus dem Jahr 2004 im Fachbereich BWL - Unternehmensführung, Management, Organisation, Note: 1,3, Duale Hochschule Baden-Württemberg Mannheim, früher: Berufsakademie Mannheim (FB Wirtschaftsinformatik), 16 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: Die Balanced Scorecard ist ein Instrument zur strategiefokussierten Unternehmensführung. Sie überträgt die Strategien und Ziele eines Unternehmens in messbare Größen, Indikatoren und Kennzahlen. Durch die Zuordnung der Perspektiven Finanzen, Kunde, Geschäftsprozesse sowie Lernen & Entwicklung werden dabei alle betrieblichen Bereiche abgedeckt. Mit der Abbildung der betrieblichen Leistungserbringung in Ursache...
Hamburger Adressbuch
None
Hamburger Adressbuch
None
