- Simplifying Reasoning about Objects with Tako Gregory Kulczycki and Jyotindra Vasudeo
- GREGORY KULCZYCKI Department of Computer Science
- A Specification-Based Approach to Reasoning About Gregory Kulczycki
- Case Study of a Method for Reengineering Procedural Systems into William B. Frakes, Gregory Kulczycki, Charu Saxena
- The Design and Implementation of the
- A component-based approach to proving the correctness of the Schorr-Waite algorithm
- Component Technology for Pointers: Why and How Greg Kulczycki, Murali Sitaraman, William F. Ogden, and Joseph E. Hollingsworth
- An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-
- Tree Component alternatives Composite Design Pattern
- Clean Semantics for Calls with Repeated Arguments Greg Kulczycki, Murali Sitaraman, William F. Ogden, and Bruce W. Weide
- CleanJava: Language Design for the Simplification of Object-Based Reasoning
- Tako is an object-oriented language similar in many respects to Java, but is designed to support alias avoidance and thereby
- Preserving Abstraction for Operation Invocations with Repeated Greg Kulczycki, Murali Sitaraman, William F. Ogden, and Bruce W. Weide
- Preserving Clean Semantics for Calls with Repeated Arguments Gregory W. Kulczycki, Murali Sitaraman
- This section presents a formal, reference-based stack specification and as well as a formal specification for the transferTop operation. It gives proof rules for reference copying procedure call
- EXPLORATORY STUDY OF THE IMPACT OF VALUE ANDREFERENCE SEMANTICS ON
- DIRECT REASONING A Dissertation
