A Transformational Approach which Combines Size Inference and Program Optimization (2001)

by Christoph A. Herrmann , Christian Lengauer
Venue:SEMANTICS, APPLICATIONS, AND IMPLEMENTATION OF PROGRAM GENERATION (SAIG’01), LECTURE NOTES IN COMPUTER SCIENCE 2196
Citations:5 - 0 self

Active Bibliography

7 Cost Analysis using Automatic Size and Time Inference – Alvaro J. Rebon Portillo, Kevin Hammond, Hans-wolfgang Loidl, Pedro Vasconcelos - 2002
3 Parallel Programming Models Based on the Restricted Computation Structure Approach – M. Danelutto, S. Orlando, S. Pelagatti, M. Vanneschi - 1994
7 Towards formally verifiable resource bounds for real-time embedded systems – Kevin Hammond, Christian Ferdin, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace - 2006
31 Real-Time FRP – Zhanyong Wan , Walid Taha, Paul Hudak - 2001
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion – Susumu Nishimura, Atsushi Ohori - 1993
Chapter 1 – Gudmund Grov, Greg Michaelson, Hans-wolfgang Loidl, Steffen Jost, Kevin Hammond
9 Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis – Steffen Jost, Hans-wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann - 2009
10 Static Determination of Quantitative Resource Usage for Higher-Order Programs – Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann - 2010
14 Multivariate Amortized Resource Analysis – Jan Hoffmann, Klaus Aehlig, Martin Hofmann - 2010
1 CAMLFLOW: a CAML to Data-Flow Graph Translator – J. Sérot - 2000
3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007
13 Constrained Types for Object-Oriented Languages – Vijay Saraswat, Nathaniel Nystrom, Jens Palsberg, Christian Grothoff
3 A Type System for Resource Protocol Verification and its Correctness Proof – Corneliu Popeea, Wei-ngan Chin - 2004
3 Practical Inference for Typed-Based Termination in a Polymorphic Setting – Gilles Barthe, Benjamin Gregoire, Fernando Pastawski
2 Type-based Inference of Size Relationships for XML Transformations – Zhendong Su, et al.
5 Extending sized type with collection analysis – Wei-ngan Chin, Siau-cheng Khoo, Dana N. Xu - 2003
18 Verifying safety policies with size properties and alias controls – Wei-ngan Chin, Siau-cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen - 2005
Automated Verification of Shape, Size and Bag Properties via Separation Logic – Huu Hai, Nguyen Cristina, David Shengchao, Qin Wei-ngan Chin
35 Dependent Types for Program Termination Verification – Hongwei Xi - 2001