About: Data-flow analyses as effects and graded monads

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Data-flow analyses as effects and graded monads Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:AcademicArticle, within Data Space : linkeddata.uriburner.com:28898 associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/ArticleEPrint http://eprints.org/ontology/EPrint Article Academic Article
seeAlso	HTML Summary of #81880 Data-flow analyses as effects and graded monads
sameAs	Data-flow analyses as effects and graded monads
http://www.loc.gov...erms/relators/EDT	Zena M. Ariola
http://eprints.org/ontology/hasAccepted	Data-flow analyses as effects and graded monads (PDF)
http://eprints.org/ontology/hasDocument	Data-flow analyses as effects and graded monads (PDF) Data-flow analyses as effects and graded monads (Other) Data-flow analyses as effects and graded monads (Other) Data-flow analyses as effects and graded monads (Other) Data-flow analyses as effects and graded monads (Other) Data-flow analyses as effects and graded monads (Other)
dc:hasVersion	Data-flow analyses as effects and graded monads (PDF)
Title	Data-flow analyses as effects and graded monads
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2020-06-28
Creator	Andrej Ivašković Alan Mycroft Dominic A. Orchard
status	peer reviewed published
Publisher	Dagstuhl
abstract	In static analysis, two frameworks have been studied extensively: monotone data-flow analysis and type-and-effect systems. Whilst both are seen as general analysis frameworks, their relationship has remained unclear. Here we show that monotone data-flow analyses can be encoded as effect systems in a uniform way, via algebras of transfer functions. This helps to answer questions about the most appropriate structure for general effect algebras, especially with regards capturing control-flow precisely. Via the perspective of capturing data-flow analyses, we show the recent suggestion of using effect quantales is not general enough as it excludes non-distributive analyses e.g., constant propagation. By rephrasing the McCarthy transformation, we then model monotone data-flow effects via graded monads. This provides a model of data-flow analyses that can be used to reason about analysis correctness at the semantic level, and to embed data-flow analyses into type systems.
Is Part Of	5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020) https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming, QA 9 Formal systems, logics
list of authors	https://kar.kent.ac.uk/id/eprint/81880#authors
list of editors	https://kar.kent.ac.uk/id/eprint/81880#editors
volume	167
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #81880 Data-flow analyses as effects and graded monads

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 37 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software