Fission for Program Comprehension (Englisch)
- Neue Suche nach: Gibbons, J.
- Neue Suche nach: Gibbons, J.
- Neue Suche nach: Uustalu, Tarmo
In:
Mathematics of program construction; MPC 2006
4014
;
162-179
;
2006
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Fission for Program Comprehension
-
Beteiligte:Gibbons, J. ( Autor:in ) / Uustalu, Tarmo
-
Kongress:International conference; 8th, Mathematics of program construction; MPC 2006 ; 2006 ; Kuressaare, Estonia
-
Erschienen in:Mathematics of program construction; MPC 2006 , 4014 ; 162-179LECTURE NOTES IN COMPUTER SCIENCE , 4014 ; 162-179
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin , [London]
-
Erscheinungsdatum:01.01.2006
-
Format / Umfang:18 pages
-
Anmerkungen:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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