John Hughes, Lars Pareto, Amr Sabry  Home/Search
Context Related
| cs.chalmers.se/~rjmh/Paper...popl96.ps uoregon.edu/~sabry/papers...reactive.ps md.chalmers.se/~pareto/popl96.ps 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: hypatia.dcs.qmw...functional.appl (more) From: uoregon.edu/~sabry/papers/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We have designed and implemented a type-based analysis for proving some basic properties of reactive systems. The analysis manipulates rich type expressions that contain information about the sizes of recursively defined data structures. Sized types are useful for detecting deadlocks, nontermination, and other errors in embedded programs. To establish the soundness of the analysis we have developed an appropriate semantic model of sized types. 1 Embedded Functional Programs In a reactive... (Update)
Cited by: More
Practical Inference for Typed-Based Termination in a.. - Barthe, Gregoire.. (Correct)
Dependent Types in Practical Programming (Extended Abstract) - Xi, Pfenning (1999) (Correct)
Formal properties of shape analysis in FISh - Jay (1998) (Correct)
Active bibliography (related documents): More All
0.4: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.1: Solving Recursive Domain Equations with Enriched Categories - Wagner (1994) (Correct)
0.1: Semantic Types: A Fresh Look at the Ideal Model for Types - Vouillon, Mellies, Diderot (2004) (Correct)
Similar documents based on text: More All
0.2: Recursion and Dynamic Data-structures in Bounded.. - Hughes, Pareto (1999) (Correct)
0.1: Monadic Encapsulation of Effects: A Revised Approach (Extended .. - Moggi, Sabry (2000) (Correct)
0.1: A Reflection on Call-by-Value - Sabry, Wadler (1996) (Correct)
Related documents from co-citation: More All
24: Dependent types in practical programming - Xi, Pfenning - 1999
19: Recursion and dynamic data structures in bounded space: towards embedded ml prog.. - Hughes, Pareto - 1999
17: Eliminating array bound checking through dependent types - Xi, Pfenning - 1998
BibTeX entry: (Update)
Hughes, J., Pareto, L., and Sabry, A. Proving the correctness of reactive systems using sized types. In ACM Symposium on Principles of Programming Languages (1996). http://citeseer.ist.psu.edu/hughes96proving.html More
@inproceedings{ hughes96proving,
author = "John Hughes and Lars Pareto and Amr Sabry",
title = "Proving the Correctness of Reactive Systems Using Sized Types",
booktitle = "Symposium on Principles of Programming Languages",
pages = "410-423",
year = "1996",
url = "citeseer.ist.psu.edu/hughes96proving.html" }
Citations (may not include all citations):509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
245 The Omega test: A fast and practical integer programming alg.. - Pugh - 1992
214 An ideal model for recursive polymorphic types (context) - MacQueen, Plotkin et al. - 1986
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
162 Data types as lattices (context) - Scott - 1976
115 The design of distributed systems--- an introduction to focu.. (context) - Broy - 1992
113 a non-strict purely functional language (context) - Hudak, Peyton et al. - 1992
64 Formal Development of Reactive Systems: Case Study Productio.. (context) - Lewerentz, Lindner - 1995
37 ACM Transactions on Programming Languages and Systems (context) - Sijtsma - 1989
24 Programming with Fudgets (context) - Hallgren, Carlsson - 1995
10 Using the run-time sizes of data structures to guide paralle.. - Huelsbergen, Larus et al. - 1994
10 A semantic model of types for applicative languages (context) - MacQueen, Sethi - 1982
9 Subrecursive Programming Systems: Complexity and Succinctnes.. (context) - Royer, Case - 1994
9 Types as intervals (context) - Cartwright - 1984
1 the productivity of recursive definitions (context) - Dijkstra - 1980
1 University of Maryland at College Park (context) - Kelly - 1995
1 Static dependent costs for estimating execution time (context) - Reidstad, Gifford - 1994
1 for real-time programming (context) - Truv'e, new - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://hypatia.dcs.qmw.ac.uk/SEL-HPC/Articles/GeneratedHtml/functional.appl.html): More
Signatures for a Network Protocol Stack: A Systems.. - Edoardo Biagioni (Correct)
Functional Programming Formalisms for OODB Methods - Hillebrand, Kanellakis.. (1994) (Correct)
Functional Database Query Languages as Typed Lambda.. - Hillebrand, Kanellakis (1994) (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