Kind Theory

Kind Theory (2002)

Cached

Download Links

by Joseph R. Kiniry

Citations:

1 - 1 self

BibTeX

@MISC{Kiniry02kindtheory,
    author = {Joseph R. Kiniry},
    title = {Kind Theory},
    year = {2002}
}

Bookmark

OpenURL

Abstract

Citations

4647	Design patterns: elements of reusable object-oriented software - Gamma, Helm, et al. - 1995
1813	The Art of Computer Programming - Knuth - 1968
1541	The Java Language Specification - Gosling, Joy, et al. - 1996
1363	Aspect-oriented programming - Kiczales, Lamping, et al. - 1997
1341	Object-Oriented Software Construction - Meyer - 1997
1219	An axiomatic basis for computer programming - Hoare - 1969
1208	SmallTalk-80: The Language and its Implementation - Goldberg, Robson - 1983
1103	Principles for the design of ontologies used for knowledge sharing - Gruber - 1995
880	Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, Menlo Park - Booch - 1994
855	Object-Oriented Software Engineering - a Use Case Driven Approach - Jacobson - 1992
830	A Theory of Objects - Abadi, Cardelli - 1996
706	Eiffel: The Language - Meyer - 1992
687	Resource description framework (RDF). Model and syntax specification - Lassila, Swick - 1999
632	Formal Concept Analysis: Mathematical Foundations - Ganter, Wille - 1999
611	Systematic Software Development Using VDM - Jones - 1990
593	Introduction to Metamathematics - Kleene - 1971
570	A Formal Basis for Architectural Connection - Allen, Garlan - 1997
483	Applying Design by Contract - Meyer
467	Objects, Components and Frameworks with UML: The Catalysis Approach - D’Souza, Wills - 1998
425	Institutions: Abstract model theory for specification and programming - Goguen, Burstall - 1992
398	A Behavioral Notion of Subtyping - Liskov, Wing - 1994
379	Introduction to higher order categorical logic - Lambek, Scott - 1986
377	Subject-oriented programming (a critique of pure objects - Harrison, Ossher - 1993
322	Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems - Lieberman
301	Intuitionistic Type Theory - Martin-Löf - 1984
277	Architectural mismatch or why it’s hard to build systems out of existing parts - Garlan, Allen, et al. - 1995
266	The Lambda Calculus: its syntax and semantics, volume 103 of Studies in logic and the foundations of mathematics - Barendregt - 1985
258	Semantics of programming languages: structures and techniques - Gunter - 1992
245	The Complexity of Cooperation: Agent-Based Models of Competition and Col-laboration - Axelrod - 1997
243	Smalltalk-80: The Language - Goldberg, Robson - 1989
216	Conceptual spaces: the geometry of thought - Gärdenfors - 2000
202	Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations - Goguen, Meseguer - 1992
184	An Essay Concerning Human Understanding - Locke - 1689
180	Chandy and Jayadev Misra. Parallel Program Design: A Foundation - Mani - 1988
160	LaSSIE: a knowledge-based software information system - Devanbu, Brachman, et al. - 1991
154	The semantics of Clear, a specification language - Burstall, Goguen - 1979
143	Reusing Software: Issues and Research Directions - Mili - 1995
133	Typeful Programming - Cardelli - 1989
129	A denotational semantics of inheritance and its correctness - Cook, Palsberg - 1989
127	Covariance and contravariance: conflict without a cause - Castagna - 1995
122	Introducing institutions - Goguen, Burstall - 1984
122	Abstraction mechanisms in CLU - Liskov, Snyder, et al. - 1977
120	Data Abstraction and Hierarchy - Liskov - 1987
119	A theory of semiotics - Eco - 1978
118	The Draco approach to constructing software from reusable components - Neighbors - 1984
116	Principles of parameterized programming - Goguen - 1987
108	The art of computer programming. Volume 1 - Knuth - 1997
104	iContract – the Java design by contract tool - Kramer - 1998
103	Composition Validation and Subjectivity in GenVoca Generators - Batory, Geraci - 1997
101	Introducing OBJ3 - Goguen, Winkler - 1988