The Flint Project
Edit Page
Report
Scan day: 07 March 2014 UTC
17
Virus safety - good
Description: Industrial-strength systems software for modern programming languages such as ML, Java and Safe C.
The FLINT group at Yale aims to develop a novel and practical programming infrastructure for constructing large-scale certified systems software. By combining recent new advances in programming languages, formal semantics, certified operating systems, program verification, proof assistants and automation, language-based secrurity, and certifying compilers, we hope to attack the following research questions:
Size: 410 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Yale FLINT Group: Home |
| Keywords: | |
| Description: | |
| IP-address: | 128.36.229.18 |
WHOIS Info
| NS | Name Servers: SERV1.NET.YALE.EDU 130.132.1.9 SERV2.NET.YALE.EDU 130.132.1.10 |
| WHOIS | |
| Date | activated: 17-Mar-1987 last updated: 07-May-2013 expires: 31-Jul-2014 |