|
|
|
 |
 National Science
Foundation Award #9009375 |
 |
|
|
Semantic Analysis and its Applications to Software Development
|
| |
| Investigator(s): |
H. Andy Podgurski (PI)
|
| Sponsor: |
Case Western Reserve University, OH 44106 2163684510
|
| Start Date/Expiration Date |
1990-09-01 to 1992-08-31 (amended 1990-07-25) |
| Awarded Amount to Date: |
$55,000 |
| Abstract: Semantic analysis is automated analysis of programs, used to predict their runtime behavior. Such analysis is complicated by the inherent difficulty of determining semantic properties of programs. Existing semantic analysis methods, such as data flow analysis and dependence analysis, deal with this problem by seeking relatively weak semantic information. While these methods are efficient and useful, they suffer from two drawbacks. First, many have not been justified rigorously. The second drawback is the weakness of the semantic information they provide. To rectify these drawbacks, this project will investigate (1) the development of new semantic analysis methods based on analyzing path executability conditions and formal specifications and proofs; (2) the development of new applications of semantic analysis; and (3) the development of prototype systems to demonstrate new semantic analysis methods and applications. |
|
| NSF Org: |
CCF - Division of Computer and Communication Foundations |
| Award Number: |
9009375 |
| Award Instrument: |
Standard Grant |
| Program Manager: |
John D. Gannon
CCF Division of Computer and Communication Foundations
CSE Directorate for Computer & Information Science & Engineering
|
| NSF Program(s): |
CISE RESEARCH RESOURCES, SOFTWARE ENGINEERING AND LANGU, SOFTWARE ENGINEERING AND LANGU
|
| Field Application(s): |
Computer Science & Engineering, Other nsf.applications NEC |
| Program Element Code(s): |
2890
SOFTWARE ENGINEERING AND LANGU, 2880
, 2880
|
|
|
| |
 |
|
|
|
|
|
|
|
