Atsushi Igarashi, Naoki Kobayashi  Home/Search
Context Related
| kb.cs.titech.ac.jp/~koba...POPL02.ps.gz 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: kb.cs.titech.ac.jp...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually deallocated, and after the deallocation, the region should no longer be accessed. A file that has been opened should be eventually closed. So far, most of the methods to analyze this kind of property have been proposed in rather specific contexts (like studies of memory management and verification of usage of lock primitives), and it was not so clear what is the essence of... (Update)
Cited by: More
A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (Correct)
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (Correct)
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
Active bibliography (related documents): More All
0.9: Time Regions and Effects for Resource Usage Analysis - Kobayashi (2003) (Correct)
0.5: A Generic Type System for the Pi-Calculus - Igarashi, Kobayashi (2001) (Correct)
0.2: Type Systems for Concurrent Programs - Kobayashi (2002) (Correct)
Similar documents based on text: More All
0.5: Garbage Collection Based on a Linear Type System - Igarashi, Kobayashi (2000) (Correct)
0.4: On Inner Classes - Igarashi, Pierce (2000) (Correct)
0.3: Resource Usage Analysis - Igarashi, Kobayashi (2002) (Correct)
Related documents from co-citation: More All
15: Enforcing high-level protocols in low-level software - ahndrich, DeLine - 2001
10: Towards a behavioural theory of access and mobility control in distributed syste.. (context) - Hennessy, Merro et al. - 2003
10: Controlling interference in ambients - Levi, Sangiorgi - 2000
BibTeX entry: (Update)
Atsushi Igarashi and Naoki Kobayashi. Resource Usage Analysis. To appear in Proceedings of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, January 2002. http://citeseer.ist.psu.edu/igarashi02resource.html More
@inproceedings{ igarashi02resource,
author = "Atsushi Igarashi and Naoki Kobayashi",
title = "Resource usage analysis",
booktitle = "Symposium on Principles of Programming Languages",
pages = "331-342",
year = "2002",
url = "citeseer.ist.psu.edu/igarashi02resource.html" }
Citations (may not include all citations):725 Temporal and modal logic (context) - Emerson - 1990
184 Linear types can change the world - Wadler - 1990
181 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999
138 Enforcing high-level protocols in low-level software - DeLine, Fahndrich - 2001
109 The type system for object initialization in the Java byteco.. - Freund, Mitchell - 1999
85 Abstract models of memory management (context) - Morrisett, Felleisen et al. - 1995
83 From region inference to von neumann machines via region rep.. - Birkedal, Tofte et al. - 1996
81 Once upon a type - Turner, Wadler et al. - 1995
53 Quasi-linear types - Kobayashi - 1999
52 Types for safe locking - Flanagan, Abadi - 1999
37 A generic type system for the pi-calculus - Igarashi, Kobayashi - 2001
32 Unification and ML Type Reconstruction - Kanellakis, Mairson et al. - 1991
28 implementation and experimental results (context) - Blanchet, Correctness - 1998
27 Typed memory management via static capabilities - Walker, Crary et al. - 2000
25 Once upon a polymorphic type - Wansbrough, Jones - 1999
24 Object types against races - Flanagan, Abadi - 1999
21 A generalized deadlock-free process calculus (context) - Sumii, Kobayashi - 1998
16 Type reconstruction for linear pi-calculus with I/O subtypin.. - Igarashi, Kobayashi - 2000
15 Type-based useless variable elimination - Kobayashi - 2000
14 On linear types and regions (context) - Walker, Watkins - 2001
14 An implicitly-typed deadlock-free process calculus - Kobayashi, Sumii et al.
11 Type systems for concurrent processes: From deadlock-freedom.. (context) - Kobayashi
9 Garbage collection based on a linear type system - Igarashi, Kobayashi
7 A type system for JVM threads - Bigliardi, Laneve
7 A type-based analysis for stack allocation in functional lan.. (context) - Hannan - 1995
6 Implementation of the call-by-value lambda-calculus using a .. (context) - Tofte, Talpin - 1994
5 A usage analysis with bounded usage polymorphism and subtypi.. - Gustavsson, Svenningsson - 2011
3 Improving region-based analysis of higher-order languages (context) - Aiken, Fahndrich et al. - 1995
1 languages are in P (context) - Jedrzejowicz, Szepietowski - 2001
1 and context-sensitive grammars (context) - Gischer, languages et al. - 1981
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.kb.cs.titech.ac.jp/~kobayasi/publications.html): More
Time Regions and Effects for Resource Usage Analysis - Kobayashi (2003) (Correct)
Type-Based Information Flow Analysis for Low-Level Languages - Kobayashi, Shirane (2002) (Correct)
Distributed Concurrent Linear Logic Programming - Kobayashi, Shimizu, Yonezawa (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