Thursday, 15 March 2012
Towards Categorizing and Formalizing the JDK API
Author(s): Lee, Choonghwan; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore Abstract: Formal specification of correct library usage is extremely useful, both for software developers and for the formal analysis tools they use, such as model checkers or runtime monitoring systems. Unfortunately, the process of creating formal specifications is time consuming, and, for the most part, even the libraries in greatest use, such as the Java Development Kit (JDK) standard library, are left wholly
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment