Composing Polymorphic Information Flow Systems With Reference Immutability

doi 10.1145/2489804.2489809
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Uniqueness and Reference Immutability for Safe Parallelism

2012English

A Calculus With Polymorphic and Polyvariant Flow Types

Journal of Functional Programming
Software
2002English

Composing Distributed Systems: Overcoming the Interoperability Challenge

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Composing Relationships With Translations

2015English

Goal Setting for Persuasive Information Systems: Five Reference Checklists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Practical Information-Flow Control in Web-Based Information Systems

English

Verifying Information Flow Properties of Hybrid Systems

2013English

Anomaly Detection With Diagnosis in Diversified Systems Using Information Flow Graphs

IFIP – The International Federation for Information Processing
English

Direct Power Flow Method for Balanced and Unbalanced Radial Distribution Systems With Multi Reference Buses

2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy