Skip to content
/ tip-rs Public

Implementation of Anders Møller and Michael I. Schwartzbach's Tiny Imperative Programming language in Rust.

1 star 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

jumbatm/tip-rs

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

30 Commits
examples
examples
 
 
src
src
 
 
tests
tests
 
 
.gitignore
.gitignore
 
 
Cargo.lock
Cargo.lock
 
 
Cargo.toml
Cargo.toml
 
 
README.md
README.md
 
 

Repository files navigation

TIP Compiler

This is a Rust implementation of TIP, the Tiny Imperative Programming Language, as described in Anders Møller and Michael I. Schwartzbach's book Static Program Analysis [1].

References

  1. Møller, A., & Schwartzbach, M. I. (2012). Static program analysis. Notes. Feb.

About

Implementation of Anders Møller and Michael I. Schwartzbach's Tiny Imperative Programming language in Rust.

Resources

Readme
Activity

Stars

1 star

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Languages