Automatically Verifying Typing Constraints for a Data Processing Language

Backes, Michael and Hriţcu, Cătălin and Tarrach, Thorsten
(2011) Automatically Verifying Typing Constraints for a Data Processing Language.
In: Proc. 1st International Conference on Certified Programs and Proofs (CPP 2011).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item