svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] SAFEcode typechecker

From: Daniel Huang <dehuang AT fas.harvard.edu>
To: "<svadev AT cs.illinois.edu>" <svadev AT cs.illinois.edu>
Subject: [svadev] SAFEcode typechecker
Date: Tue, 5 Feb 2013 00:33:57 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
List-id: <svadev.cs.uiuc.edu>

Hi Svadev,

Could someone point out where the code for the SAFEcode type-checker is located in the repository? I'm curious to see how the typing-rules work in the C-implementation.

Thanks,

Dan

[svadev] SAFEcode typechecker, Daniel Huang, 02/04/2013
- Re: [svadev] SAFEcode typechecker, John Criswell, 02/05/2013