2020
DOI: 10.1007/978-3-030-41103-9_4
|View full text |Cite
|
Sign up to set email alerts
|

Galois Connections for Recursive Types

Abstract: Building a static analyser for a real language involves modeling of large domains capturing the many available data types. To scale domain design and support efficient development of project-specific analyzers, it is desirable to be able to build, extend, and change abstractions in a systematic and modular fashion. We present a framework for modular design of abstract domains for recursive types and higher-order functions, based on the theory of solving recursive domain equations. We show how to relate computa… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2021
2021
2023
2023

Publication Types

Select...
2

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 24 publications
0
2
0
Order By: Relevance
“…The concretization function of the recursive domain follows from the concretization function of the underlying functor domain. A detailed exposition of how to solve recursive equations over abstract domains is presented in Al-Sibahi et al [4].…”
Section: Abstract Domainsmentioning
confidence: 99%
See 1 more Smart Citation
“…The concretization function of the recursive domain follows from the concretization function of the underlying functor domain. A detailed exposition of how to solve recursive equations over abstract domains is presented in Al-Sibahi et al [4].…”
Section: Abstract Domainsmentioning
confidence: 99%
“…(G2P) a DSL for REST-like web development, translated to PHP for execution. 4 We are interested in the part of the generator that translates Glagol expressions to PHP, and the following properties: P8 Output only simple PHP expressions for simple Glagol expression inputs P9 No unary PHP expressions if no sign marks or negations in Glagol input Mini Calculational Language. (MCL) a programming language text-book [49] implementation of a small expression language, with arithmetic and logical expressions, variables, if-expressions, and let-bindings.…”
Section: Experimental Evaluationmentioning
confidence: 99%