Fission for Program Comprehension (English)
- New search for: Gibbons, J.
- New search for: Gibbons, J.
- New search for: Uustalu, Tarmo
In:
Mathematics of program construction; MPC 2006
4014
;
162-179
;
2006
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Fission for Program Comprehension
-
Contributors:Gibbons, J. ( author ) / Uustalu, Tarmo
-
Conference:International conference; 8th, Mathematics of program construction; MPC 2006 ; 2006 ; Kuressaare, Estonia
-
Published in:Mathematics of program construction; MPC 2006 , 4014 ; 162-179LECTURE NOTES IN COMPUTER SCIENCE , 4014 ; 162-179
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , [London]
-
Publication date:2006-01-01
-
Size:18 pages
-
Remarks:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
What Is a Good Process Semantics?Cockett, R. et al. | 2006
- 4
-
Refunctionalization at WorkDanvy, O. et al. | 2006
- 5
-
Aspects and Data RefinementAvgustinov, P. / Bodden, E. / Hajiyev, E. / de Moor, O. / Ongkingco, N. / Sereni, D. / Sittampalam, G. / Tibble, J. et al. | 2006
- 10
-
Towards Generic Programming with Sized TypesAbel, A. et al. | 2006
- 29
-
Relational Semantics for Higher-Order ProgramsAboul-Hosn, K. / Kozen, D. et al. | 2006
- 49
-
Proofs of Randomized Algorithms in CoQAudebaud, P. / Paulin-Mohring, C. et al. | 2006
- 69
-
Exercises in Quantifier ManipulationBackhouse, R. / Michaelis, D. et al. | 2006
- 82
-
Improving Saddleback Search: A Lesson in Algorithm DesignBird, R. S. et al. | 2006
- 90
-
Loopless Functional AlgorithmsBird, R. S. et al. | 2006
- 115
-
Compositional Reasoning for Pointer StructuresChen, Y. / Sanders, J. W. et al. | 2006
- 140
-
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable GuardsDongol, B. / Mooij, A. J. et al. | 2006
- 162
-
Fission for Program ComprehensionGibbons, J. et al. | 2006
- 180
-
"Scrap Your Boilerplate" RevolutionsHinze, R. / Loh, A. et al. | 2006
- 209
-
Generic Views on Data TypesHoldermans, S. / Jeuring, J. / Loh, A. / Rodriguez, A. et al. | 2006
- 235
-
Recursion Schemes for Dynamic ProgrammingKabanov, J. / Vene, V. et al. | 2006
- 253
-
Bimonadic Semantics for Basic Pattern Matching CalculiKahl, W. / Carette, J. / Ji, X. et al. | 2006
- 274
-
Nondeterministic FoldsMartin, C. E. / Curtis, S. A. et al. | 2006
- 299
-
A Datastructure for Iterated PowersMatthes, R. et al. | 2006
- 316
-
Continuous Action System RefinementMeinicke, L. / Hayes, I. J. et al. | 2006
- 338
-
The Linear Algebra of UTPMoller, B. et al. | 2006
- 359
-
The Shadow Knows: Refinement of Ignorance in Sequential ProgramsMorgan, C. et al. | 2006
- 379
-
Swapping Arguments and Results of Recursive FunctionsMorihata, A. / Kakehi, K. / Hu, Z. / Takeichi, M. et al. | 2006
- 397
-
Refinement Algebra with Operators for Enabledness and TerminationSolin, K. / von Wright, J. et al. | 2006
- 416
-
Constructing Rewrite-Based Decision Procedures for Embeddings and TerminationStruth, G. et al. | 2006
- 433
-
Quantum Predicative ProgrammingTafliovich, A. / Hehner, E. C. R. et al. | 2006