Mathematics of Program Construction
Springer Berlin (Verlag)
978-3-540-35631-8 (ISBN)
Invited Talks.- What Is a Good Process Semantics?.- Refunctionalization at Work.- Aspects and Data Refinement.- Contributed Papers.- Towards Generic Programming with Sized Types.- Relational Semantics for Higher-Order Programs.- Proofs of Randomized Algorithms in Coq.- Exercises in Quantifier Manipulation.- Improving Saddleback Search: A Lesson in Algorithm Design.- Loopless Functional Algorithms.- Compositional Reasoning for Pointer Structures.- Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards.- Fission for Program Comprehension.- "Scrap Your Boilerplate" Revolutions.- Generic Views on Data Types.- Recursion Schemes for Dynamic Programming.- Bimonadic Semantics for Basic Pattern Matching Calculi.- Nondeterministic Folds.- A Datastructure for Iterated Powers.- Continuous Action System Refinement.- The Linear Algebra of UTP.- The Shadow Knows: Refinement of Ignorance in Sequential Programs.- Swapping Arguments and Results of Recursive Functions.- Refinement Algebra with Operators for Enabledness and Termination.- Constructing Rewrite-Based Decision Procedures for Embeddings and Termination.- Quantum Predicative Programming.
Erscheint lt. Verlag | 27.6.2006 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | X, 458 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 1440 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | algorithm • Algorithmics • algorithms • Coq • Correct Software • Dynamic Programming • formal methods • Generic Programming • kleene algebra • object oriented design • predicative programming • Process Algebras • process semantics • program analysis • Program Construction • Program Development • programming • programming calculi • Programming language • Program verification • Semantics • Type Theory |
ISBN-10 | 3-540-35631-2 / 3540356312 |
ISBN-13 | 978-3-540-35631-8 / 9783540356318 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich