Search Results - "Automatic Programming|Program modication"

Revising UNITY Programs: Possibilities and Limitations

Authors: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni et al.

Contributors: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni et al.

Source: http://www.cse.msu.edu/publications/tech/TR/MSU-CSE-07-23.pdf.

Subject Terms: Categories and Subject Descriptors, F.3.1 [Logics and Meanings of Programs, Specifying, Verifying and Reasoning about Programs, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic, F.2.3 [Analysis of Algorithms and Problem Complexity, Tradeos between Complexity Mea- sures, D.1.2 [Programming Techniques, Automatic Programming|Program modication, synthesis, transformation, D.4.7 [Operating Systems, Organization and Design|Real-time and embedded systems General Terms, Algorithms, Theory, Verication Additional Key Words and Phrases, UNITY, Formal Methods, Stabilization

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.7334

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.7334
http://www.cse.msu.edu/publications/tech/TR/MSU-CSE-07-23.pdf