A static analysis to detect coupling and conflicts in declarative specifications
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000. === Includes bibliographical references (p. 75-76). === by Ian R. Schechter. === S.B.and M.Eng.
Main Author: | Schechter, Ian R. (Ian Robert), 1977- |
---|---|
Other Authors: | Daniel Jackson. |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/86504 |
Similar Items
-
Advancing declarative programming
by: Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology
Published: (2015) -
Including native methods in static analysis of Java programs
by: Hernández, Victor L. (Victor Leonel Hernández Porras), 1977-
Published: (2014) -
Dynamic monitoring and static analysis: New approaches for intrusion detection
by: Feng, Hanping
Published: (2005) -
Declarative configuration applied to course scheduling
by: Yeung, Vincent S. (Vincent Shu Hang)
Published: (2007) -
Finding security bugs in web applications using domain-specific static analysis
by: Near, Joseph P. (Joseph Paul)
Published: (2015)