{"size": 568, "ext": "scrbl", "max_stars_repo_path": "scribblings/abstract-analysis.scrbl", "max_stars_repo_name": "v-for-vincent/racket-control-compiler", "max_stars_repo_stars_event_min_datetime": "2017-06-03T19:55:16.000Z", "max_stars_repo_stars_event_max_datetime": "2017-06-03T19:55:16.000Z", "max_issues_repo_path": "scribblings/abstract-analysis.scrbl", "max_issues_repo_name": "v-nys/cclp", "max_issues_repo_issues_event_min_datetime": "2017-04-11T08:13:36.000Z", "max_issues_repo_issues_event_max_datetime": "2018-04-18T13:16:06.000Z", "max_forks_repo_path": "scribblings/abstract-analysis.scrbl", "max_forks_repo_name": "v-for-vincent/racket-control-compiler", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": 1, "max_issues_count": 58, "max_forks_count": null, "avg_line_length": 43.6923076923, "max_line_length": 128, "alphanum_fraction": 0.7922535211}
#lang scribble/manual
@(require (for-label racket))@;so that racket bindings are hyperlinked
@(require scribble/extract)

@title{Abstract analysis}
Abstract analysis encompasses the artefacts generated during the analysis phase of Compiling Control,
except for the tree data structure, which is generic.
That is, this module contains the node contents for the analysis phase.
The most common and largest of these is @racket[tree-label], i.e. the type of node in which unfolding or full evaluation occurs.

@section{API}
@(include-extracted "../abstract-analysis.rkt")
