scholarly journals Efficient Type-Checking for Amortised Heap-Space Analysis

2009 ◽  
pp. 317-331 ◽  
Author(s):  
Martin Hofmann ◽  
Dulma Rodriguez
Keyword(s):  
Type Checking ◽  
Space Analysis ◽  
Efficient Type

scholarly journals A Unified Type System for Object-Oriented Programming

1990 ◽  
Vol 19 (341) ◽  
Author(s):  
Jens Palsberg ◽  
Michael I. Schwartzbach
Keyword(s):  
Type System ◽  
Object Oriented ◽  
Type Systems ◽  
Object Oriented Programming ◽  
Type Checking ◽  
Separate Compilation ◽  
Set Inclusion ◽  
New Type ◽  
Efficient Type ◽  
Object Oriented Languages

We present a new type system for object-oriented languages with assignments. Types are sets of classes, subtyping is set inclusion, and genericity is class substitution. The type system enables separate compilation, and unifies, generalizes, and simplifies the type systems underlying SIMULA/BETA, C++, EIFFEL, and Typed Smalltalk, and the type system with type substitutions proposed by Palsberg and Schwartzbach, Classes and types are both modeled as node-labeled, ordered regular trees; this allows an efficient type-checking algorithm.

Further dimensions of contingency space analysis.

2019 ◽  
Vol 19 (3) ◽  
pp. 281-291
Author(s):  
Jordan N. Yassine
Keyword(s):  
Space Analysis

Space Analysis of Seattle Central Public Library

2011 ◽  
Author(s):  
Christoph Holsche ◽  
Ruth Conroy Dalton ◽  
Martin Brosamle
Keyword(s):  
Public Library ◽  
Space Analysis

The Study of Space Analysis of Lee Sung-gyo's Poetry

2016 ◽  
Vol 61 ◽  
pp. 283
Author(s):  
Do-Sik Choi
Keyword(s):  
Space Analysis

State-space analysis of linear fractional-order systems

2008 ◽  
Vol 42 (6-8) ◽  
pp. 825-838 ◽  
Author(s):  
Saïd Guermah ◽  
Saïd Djennoune ◽  
Maâmar Bettayeb
Keyword(s):  
State Space ◽  
Fractional Order ◽  
Fractional Order Systems ◽  
Space Analysis ◽  
State Space Analysis

Lower Bounds on Type Checking Overloading

1996 ◽  
Author(s):  
Dennis M. Volpano
Keyword(s):  
Lower Bounds ◽  
Type Checking
Sign in / Sign up

Export Citation Format

Share Document