This $150,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to improve software reliability by bringing contract-based programming to the JavaScript language. The project, awarded to Northwestern University, will develop a contract system that allows programmers to express detailed specifications about how their JavaScript programs should execute. The contract system will then be used to automatically check that the programs are actually running as intended, with the goal of enhancing the reliability of JavaScript software. The award period runs from July 2024 to June 2026. No subawards are planned for this project.
Generated 3/4/25, 5:36 AM