Type Reconstruction for SCI | Zendy

Howard Huang | Zendy; Uday S. Reddy | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Type Reconstruction for SCI

Author(s) -

Howard Huang,

Uday S. Reddy

Publication year - 1995

Publication title -

electronic workshops in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 1477-9358

DOI - 10.14236/ewic/fp1995.11

Subject(s) - identifier , computer science , type (biology) , interference (communication) , principal (computer security) , algorithm , artificial intelligence , theoretical computer science , programming language , computer network , computer security , biology , ecology , channel (broadcasting)

We present a type reconstruction algorithm for SCIR [10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cause any side effects, and that distinct identifiers do not interfere. A reconstruction algorithm for this type system must deal with different kinds (passive and general) and different uses of identifiers (passive and active). In particular, there may not be a unique choice of kinds for type variables. Our work extends SCIR typings with kind constraints. We show that principal type schemes exist for this extended system and outline an algorithm for computing them.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research