Repository navigation

constraint-based-analysis

Public

About

Implementation of constraint based analysis for simple lambda calculus.

constraint-based-analysis haskell lambda-calculus static-analysis

BSD-3-Clause license

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
app		app
src		src
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
cba.cabal		cba.cabal
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Repository files navigation

Constraint Based Analysis

Implementation of an algorithm from chapter 3 of "Principles of Program Analysis" by Flemming Nielson, Hanne R. Nielson, Chris Hankin.

About

Implementation of constraint based analysis for simple lambda calculus.

constraint-based-analysis haskell lambda-calculus static-analysis

BSD-3-Clause license

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages