Mathematics of Program Construction [[electronic resource] ] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / / edited by Tarmo Uustalu
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Mathematics of Program Construction [[electronic resource] ] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / / edited by Tarmo Uustalu
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Edizione: | 1st ed. 2006. |
| Descrizione fisica: | 1 online resource (X, 458 p.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Software engineering |
| Computer science | |
| Machine theory | |
| Compilers (Computer programs) | |
| Software Engineering | |
| Computer Science Logic and Foundations of Programming | |
| Formal Languages and Automata Theory | |
| Theory of Computation | |
| Compilers and Interpreters | |
| Persona (resp. second.): | UustaluTarmo |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Mathematics of Program Construction |
| ISBN: | 3-540-35632-0 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465930403316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 4014