GitHub - v-nys/cclp: A rewrite of my implementation of the Compiling Control technique, in Racket.

v-nys / cclp Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

A rewrite of my implementation of the Compiling Control technique, in Racket.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 826 Commits
analysis-trees		analysis-trees
bug book		bug book
scribblings		scribblings
.gitignore		.gitignore
LICENSE		LICENSE
README.txt		README.txt
abstract-analysis-tree.rkt		abstract-analysis-tree.rkt
abstract-analysis.rkt		abstract-analysis.rkt
abstract-domain-ordering.rkt		abstract-domain-ordering.rkt
abstract-knowledge.rkt		abstract-knowledge.rkt
abstract-multi-domain.rkt		abstract-multi-domain.rkt
abstract-renaming.rkt		abstract-renaming.rkt
abstract-resolve.rkt		abstract-resolve.rkt
abstract-substitution.rkt		abstract-substitution.rkt
abstract-unify.rkt		abstract-unify.rkt
abstraction-inspection-utils.rkt		abstraction-inspection-utils.rkt
at-colorer.rkt		at-colorer.rkt
at-expander.rkt		at-expander.rkt
at-lexer.rkt		at-lexer.rkt
at-parser-test.rkt		at-parser-test.rkt
at-parser.rkt		at-parser.rkt
at-tokenizer.rkt		at-tokenizer.rkt
at.rkt		at.rkt
cclp-expander.rkt		cclp-expander.rkt
cclp-interpreter.rkt		cclp-interpreter.rkt
cclp-parser.rkt		cclp-parser.rkt
cclp-reader.rkt		cclp-reader.rkt
cluster-visualization.rkt		cluster-visualization.rkt
clustering-structs.rkt		clustering-structs.rkt
clustering.rkt		clustering.rkt
concrete-domain.rkt		concrete-domain.rkt
concrete-inspection-utils.rkt		concrete-inspection-utils.rkt
concrete-knowledge.rkt		concrete-knowledge.rkt
control-flow.rkt		control-flow.rkt
data-utils.rkt		data-utils.rkt
depth-k-abstraction.rkt		depth-k-abstraction.rkt
domain-switching.rkt		domain-switching.rkt
execution.rkt		execution.rkt
fullai-domain.rkt		fullai-domain.rkt
gen-graph-structs.rkt		gen-graph-structs.rkt
genealogical-graph-extra-tests.rkt		genealogical-graph-extra-tests.rkt
genealogical-graph-visualization.rkt		genealogical-graph-visualization.rkt
genealogical-graph.rkt		genealogical-graph.rkt
generalize.rkt		generalize.rkt
gg-colorer.rkt		gg-colorer.rkt
gg-expander.rkt		gg-expander.rkt
gg-lexer.rkt		gg-lexer.rkt
gg-parser.rkt		gg-parser.rkt
gg-tokenizer.rkt		gg-tokenizer.rkt
gg.rkt		gg.rkt
info.rkt		info.rkt
interaction.rkt		interaction.rkt
io-utils.rkt		io-utils.rkt
main.rkt		main.rkt
mi-map.rkt		mi-map.rkt
multi-folding-unfolding.rkt		multi-folding-unfolding.rkt
multi-unfolding.rkt		multi-unfolding.rkt
preprior-graph.rkt		preprior-graph.rkt
syntax-utils.rkt		syntax-utils.rkt
test-data.rkt		test-data.rkt

Repository files navigation

This is my second implementation of the Compiling Control technique pioneered by Bruynooghe and De Schreye.
This implementation supersedes the one mentioned in the Compiling Control papers published between 2014 and 2016.