Search Results - "D.1.5 [Programming Techniques] Object-oriented Programming"

MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java

Authors: Curtis Clifton Gary T. Leavens Craig Chambers et al.

Contributors: Curtis Clifton Gary T. Leavens Craig Chambers et al.

Source: http://www.rose-hulman.edu/~clifton/papers/Clifton-etal00.pdf.

Subject Terms: 1999 CR Categories, D.1.5 [Programming Techniques] Object-oriented programming, D.3.2 [Programming

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.125.1602
http://www.rose-hulman.edu/~clifton/papers/Clifton-etal00.pdf

TABLE OF CONTENTS

Authors: Krishna Kishore Dhara The Pennsylvania State University CiteSeerX Archives

Contributors: Krishna Kishore Dhara The Pennsylvania State University CiteSeerX Archives

Source: http://archives.cs.iastate.edu/documents/disk0/00/00/01/55/00000155-01/TR97-09.pdf.

Subject Terms: object-oriented programming, behavioral subtype, abstract data type, mutation, aliasing, modular veri cation, supertype abstraction 1996 CR Categories, D.1.5 [Programming Techniques] Object-oriented Programming

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.2839
http://archives.cs.iastate.edu/documents/disk0/00/00/01/55/00000155-01/TR97-09.pdf

Foundations of Object-Oriented Languages - 2nd Workshop report

Authors: Giuseppe Castagna Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Contributors: Giuseppe Castagna Gary T. Leavens The Pennsylvania State University CiteSeerX Archives

Source: ftp://ftp.cs.iastate.edu/pub/techreports/TR94-22/TR.ps.Z

Subject Terms: object-oriented programming, type checking, verification, modules, binary method, matching, subtyping, record update, state, semantics, covariance, contravariance, flow analysis, self, method schemas. 1994 CR Categories, D.1.5 [Programming Techniques] Object-oriented Programming, D.2.2 [Software Engineering] Tools and Techniques--- modules and interfaces, D.2.2 [Software Engineering] Program Verification

File Description: application/postscript

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.964

A Pattern Language for Teaching Design Patterns (Part 2)

Authors: Hogeschool Utrecht The Pennsylvania State University CiteSeerX Archives

Contributors: Hogeschool Utrecht The Pennsylvania State University CiteSeerX Archives

Source: http://koeppe.nl/publications/PatternsForPatternTeaching_part2.pdf.

Subject Terms: Categories and Subject Descriptors, D.1.5 [Programming Techniques] Object-oriented Programming, D.2.10 [Software Engineering, Design— Design Patterns, K.3.2 [Computers and Education, Computer and Information Science Education —Computer science education General Terms, Design, Languages, Education Additional Key Words and Phrases, Educational Patterns, Design Patterns ACM Reference Format

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.6109; http://koeppe.nl/publications/PatternsForPatternTeaching_part2.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.6109
http://koeppe.nl/publications/PatternsForPatternTeaching_part2.pdf