Formalismen 3: Aufwand und Terminierung

Pepper, Peter

doi:10.1007/978-3-642-55818-4_12

Formalismen 3: Aufwand und Terminierung

Peter Pepper²

Chapter

362 Accesses

Part of the book series: Springer-Lehrbuch ((SLB))

Zusammenfassung

Da wir Optimisten sind, nehmen wir an, dass wir immer korrekt programmieren. Das heißt, wir glauben fest daran (jedenfalls für den Augenblick), dass unsere Programme immer die Resultate liefern, die wir von ihnen erwarten.

LISP programmers know the value of everything but the cost of nothing. A. Perlis [7]

Dieses Kapitel kann beim ersten Lesen übersprungen werden.

This is a preview of subscription content, log in via an institution.

eBook: USD 19.99; Price excludes VAT (USA)

Softcover Book: USD 34.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Fachbereich Informatik Institut für Softwaretechnik und Theoretische Informatik, TU Berlin, Franklinstraße 28 - 29, 10587, Berlin
Prof. Dr. Peter Pepper

Authors

Prof. Dr. Peter Pepper
View author publications
You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Pepper, P. (2003). Formalismen 3: Aufwand und Terminierung. In: Funktionale Programmierung. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-55818-4_12

Download citation

DOI: https://doi.org/10.1007/978-3-642-55818-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43621-8
Online ISBN: 978-3-642-55818-4
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics