scholarly journals A Type System for Complexity Flow Analysis

2011 ◽  
Author(s):  
Jean-Yves Marion
Keyword(s):  
Flow Analysis ◽  
Type System

From Polyvariant flow information to intersection and union types

2001 ◽  
Vol 11 (3) ◽  
pp. 263-317 ◽  
Author(s):  
JENS PALSBERG ◽  
CHRISTINA PAVLOPOULOU
Keyword(s):  
Cartesian Product ◽  
Flow Analysis ◽  
Type System ◽  
Equivalence Theorem ◽  
Standard Type ◽  
Analysis Algorithm ◽  
Flow Type ◽  
The Family ◽  
Flow Information ◽  
Intersection Types

Many polyvariant program analyses have been studied in the 1990s, including k-CFA, polymorphic splitting, and the cartesian product algorithm. The idea of polyvariance is to analyze functions more than once and thereby obtain better precision for each call site. In this paper we present an equivalence theorem which relates a co-inductively-defined family of polyvariant flow analyses and a standard type system. The proof embodies a way of understanding polyvariant flow information in terms of union and intersection types, and, conversely, a way of understanding union and intersection types in terms of polyvariant flow information. We use the theorem as basis for a new flow-type system in the spirit of the λCIL-calculus of Wells, Dimock, Muller and Turbak, in which types are annotated with flow information. A flow-type system is useful as an interface between a flow-analysis algorithm and a program optimizer. Derived systematically via our equivalence theorem, our flow-type system should be a good interface to the family of polyvariant analyses that we study.

scholarly journals A sound type system for secure flow analysis

1996 ◽  
Vol 4 (2-3) ◽  
pp. 167-187 ◽  
Author(s):  
Dennis Volpano ◽  
Cynthia Irvine ◽  
Geoffrey Smith
Keyword(s):  
Flow Analysis ◽  
Type System

A type system equivalent to flow analysis

1995 ◽  
Vol 17 (4) ◽  
pp. 576-599 ◽  
Author(s):  
Jens Palsberg ◽  
Patrick O'Keefe
Keyword(s):  
Flow Analysis ◽  
Type System

Building language towers with Ziggurat

2008 ◽  
Vol 18 (5-6) ◽  
pp. 707-780 ◽  
Author(s):  
DAVID FISHER ◽  
OLIN SHIVERS
Keyword(s):  
Assembly Language ◽  
Flow Analysis ◽  
Type System ◽  
Type Systems ◽  
Higher Order ◽  
Language System ◽  
Static Semantics ◽  
Language Level ◽  
Concrete Syntax ◽  
Polymorphic Type

AbstractZiggurat is a meta-language system that permits programmers to develop Scheme-like macros for languages with nontrivial static semantics, such as C or Java (suitably encoded in an S-expression concrete syntax). Ziggurat permits language designers to construct ‘towers’ of language levels with macros; each level in the tower may have its own static semantics, such as type systems or flow analyses. Crucially, the static semantics of the languages at two adjacent levels in the tower can be connected, allowing improved reasoning power at a higher level to be reflected down to the static semantics of the language level below. We demonstrate the utility of the Ziggurat framework by implementing higher level language facilities as macros on top of an assembly language, utilizing static semantics such as termination analysis, a polymorphic type system and higher order flow analysis.

scholarly journals A permission-dependent type system for secure information flow analysis

2021 ◽  
pp. 1-68
Author(s):  
Zhiwu Xu ◽  
Hongxu Chen ◽  
Alwen Tiu ◽  
Yang Liu ◽  
Kunal Sareen
Keyword(s):  
Information Flow ◽  
Flow Analysis ◽  
Type System ◽  
Information Leakage ◽  
Inference Problem ◽  
Ordered Binary Decision Diagrams ◽  
Information Flow Analysis ◽  
Secure Information ◽  
Android Applications ◽  
Android Permission

We introduce a novel type system for enforcing secure information flow in an imperative language. Our work is motivated by the problem of statically checking potential information leakage in Android applications. To this end, we design a lightweight type system featuring Android permission model, where the permissions are statically assigned to applications and are used to enforce access control in the applications. We take inspiration from a type system by Banerjee and Naumann to allow security types to be dependent on the permissions of the applications. A novel feature of our type system is a typing rule for conditional branching induced by permission testing, which introduces a merging operator on security types, allowing more precise security policies to be enforced. The soundness of our type system is proved with respect to non-interference. A type inference algorithm is also presented for the underlying security type system, by reducing the inference problem to a constraint solving problem in the lattice of security types. In addition, a new way to represent our security types as reduced ordered binary decision diagrams is proposed.

Ultrastructural characteristics of sporidia of Ustilago

1989 ◽  
Vol 47 ◽  
pp. 786-787
Author(s):  
Patricia N. Hackney
Keyword(s):  
Electron Microscope ◽  
Type System ◽  
Tube Formation ◽  
High Voltage Electron Microscopy ◽  
Voltage Electron ◽  
University Of Wisconsin ◽  
Transmission Electron ◽  
Ustilago Hordei ◽  
Silene Alba ◽  
The University

Ustilago hordei and Ustilago violacea are yeast-like basidiomycete pathogens ofHordeum vulgare and Silene alba respectively. The mating type system in both species of Ustilago is bipolar, with alleles, A,a, (U.hordei) and a1, a2 (U.violacea) at a single locus. Haploid sporidia maintain the asexual phase by budding, while the sexual phase is initiated by conjugation tube formation between the mating types during budding and conjugation.For observation of budding, sporidia were prepared by culturing the four types on YEG (yeast extract glucose) broth for 24 hours. After centrifugation at 5000g cells were either left unmated or mated in a1/a2,A/a combinations. The sporidia were then mixed 1:1 with 4% agar and the resulting 1mm cubes fixed in 8% gluteraldehyde and post fixed in osmium tetroxide. After dehydration and embedding cubes were thin sectioned with a LKB ultratome and photographed in a Zeiss 9s transmission electron microscope or in an AE1 electron microscope of MK11 1MEV at the High Voltage Electron Microscopy Center of the University of Wisconsin-Madison.

Production flow analysis

1963 ◽  
Vol 42 (12) ◽  
pp. 742 ◽  
Author(s):  
John L. Burbidge
Keyword(s):  
Flow Analysis ◽  
Production Flow
Sign in / Sign up

Export Citation Format

Share Document