Rowan Davies CMU-CS-05-110 May, 2005 School of Computer Science Computer...  Home/Search
Context Related
| cmu.edu/anon/2005/CMUCS05110.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/anon/2005/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Software development is a complex and error prone task. Programming languages with strong static type systems assist programmers by capturing and checking the fundamental structure of programs in a very intuitive way. Given this success, it is natural to ask: can we capture and check more of the structure of programs? In this dissertation I describe an approach called refinement-type checking that allows many common program properties to be captured and checked. This approach builds on the... (Update)
Cited by: More
Tridirectional Typechecking - Dunfield, Pfenning (2004) (Correct)
Intersection Types and Computational Effects - Rowan Davies Carnegie (Correct)
Combining Two Forms of Type Refinements - Dunfield (2002) (Correct)
Active bibliography (related documents): More All
0.1: Combining Incoherent Coercions for Σ-types - Luo, Luo (Correct)
0.1: Coherence Checking of Coercions in Plastic - Callaghan (2000) (Correct)
0.1: Type inference with Constructor subtyping - Maria Jo Ao (2003) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
Related documents from co-citation: More All
27: Dependent types in practical programming - Xi, Pfenning - 1999
25: Refinement types for ML - Freeman, Pfenning - 1991
13: Soft typing with conditional types - Aiken, Wimmers et al. - 1994
BibTeX entry: (Update)
Rowan Davies and Frank Pfenning. Practical refinement-type checking. Draft paper, July 1997. http://citeseer.ist.psu.edu/davies05practical.html More
@misc{ davies97practical,
author = "R. Davies and F. Pfenning",
title = "Practical refinement-type checking",
text = "Rowan Davies and Frank Pfenning. Practical refinement-type checking. Draft
paper, July 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/davies05practical.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
157 Soft typing with conditional types - Aiken, Wimmers et al. - 1994
50 Implementing regular tree expressions - Aiken, Murphy - 1991
47 Intersection and union types: Syntax and semantics (context) - Barbanera, Dezani-Ciancaglini et al. - 1995
38 Coinductive axiomatization of recursive type equality and su.. - Brandt, Henglein - 1998
26 CDuce: An XMLcentric general-purpose language - Benzaken, Castagna et al. - 2003
15 On implementing Prolog in functional programming (context) - Carlsson - 1984
8 Constructor subtyping - Barthe, Frade - 1999
1 Summary in ACM Symposium on Principles of Programming Langua.. (context) - Amadio, Cardelli et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://reports-archive.adm.cs.cmu.edu/anon/2005/): More
Taxonomy and Effectiveness of Worm Defense Strategies - Brumley, Liu, Poosankam, Song (2005) (Correct)
Learning To Prevent Failure State for a Dynamically.. - Searock, Browning, Veloso (2005) (Correct)
Device-Enabled Authorization in the Grey System - Bauer, Garriss, McCune.. (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC