https://github.com/ilya-klyuchnikov/program-analysis

https://github.com/ilya-klyuchnikov/program-analysis

Last synced: 4 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/ilya-klyuchnikov/program-analysis
• Owner: ilya-klyuchnikov
• Created: 2014-04-17T10:14:04.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2021-07-16T12:49:53.000Z (about 4 years ago)
• Last Synced: 2024-10-05T10:41:09.422Z (about 1 year ago)
• Language: Scala
• Size: 23.4 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.md

Awesome Lists containing this project

README

          
## Principles of program analysis in Scala

This project is an implementation of methods described in the book.

* Flemming Nielson, Hanne Riis Nielson, Chris Hankin (2005). Principles of Program Analysis. Springer

### Quick start

    $ sbt test