|
-
Hancock: A Language for Extracting Signatures from Data Streams
(
Abstract)
(
pdf)
C. Cortes, K. Fisher, D. Pregibon, A. Rogers, and F. Smith.
In Proceedings of the Sixth International Conference
on Knowledge Discovery and Data Mining,
2000, pages 9-17.
-
Data-level interoperability
(
Abstract)
K.Fisher, R. Pucella, and J.Reppy.
Submitted for publication.
-
Extending Moby with inheritance-based subtyping
(
Abstract)
K.Fisher and J.Reppy.
Appeared in
ECOOP'00.
A preliminary version appeared
in
FOOL 7.
-
A Calculus for Compiling and Linking Classes
(
Abstract)
K.Fisher, J.Reppy, and J.Riecke.
Appeared in
ESOP '00.
-
Hancock: A Language for Processing Very Large-Scale Data
(
Abstract)
D.Bonachea, K.Fisher, A.Rogers, and F.Smith.
In USENIX 2nd Conference on Domain-Specific Languages,
1999, pages 163-176.
-
The design of a class mechanism for MOBY
(
Abstract)
K.Fisher and J.Reppy.
In ACM SIGPLAN '99 Conference on Programming
Language Design and Implementation,
ACM Press, 1999, pages 37-49.
Copyright 1999 by ACM, Inc.
-
An Imperative, First-Order Calculus with Object Extension
(Abstract)
V. Bono and K.Fisher.
Proceedings of 12th European Conference on Object-Oriented
Programming, LNCS 1445, 1998, pp. 462--497.
-
On the Relationship between Classes, Objects and Data Abstraction
(Abstract)
K.Fisher and J.C.Mitchell
Theory and Practice of Object Systems, 4(1), 1998, pp. 3--25.
Preliminary version appeared in the Proceedings of the International
Summer School on Mathematics of
Program Construction, Marktoberdorf, Germany,
Springer NATO ASI series, Volume 158, 1997.
-
A Control-Flow Analysis for a Calculus of Concurrent Objects
(Abstract)
P. DiBlasio, K.Fisher, and C. Talcott
In Formal Methods for Open Object-based Distributed Systems, Volume 2
, 1997.
Extended version to appear in IEEE Transactions on Software Engineering.
-
My
thesis (postscript) and
thesis abstract
are available electronically.
-
A Calculus for Concurrent Objects
(Abstract)
P. DiBlasio and K.Fisher
CONCUR '96: Concurrency Theory, Springer LNCS 1119, 1996, 655-670.
-
Classes = Objects + Data Abstraction
(Abstract)
K. Fisher and J.C. Mitchell
Stanford Technical Note: STAN-CS-TN-96-31.
-
A Delegation-Based Object Calculus with Subtyping
(Abstract)
K. Fisher and J.C. Mitchell,
Fundamentals of Computation Theory (FCT'95), Springer LNCS 965, 1995, 42-61.
-
A Lambda Calculus of Objects and Method Specialization
(Abstract)
K. Fisher, F. Honsell, and J.C. Mitchell,
Nordic J. Computing, 1:3-37, 1994.
Preliminary version appeared in Proc. IEEE Symp. on Logic in Computer
Science, 1993, 26-38.
-
The Development of Type Systems for Object-Oriented Languages
(Abstract)
K. Fisher and J.C.Mitchell,
Theory and Practice of Object Systems,1(3): 189-220.
Also available as Stanford Technical Note: STAN-CS-TN-96-30.
An earlier version appeared as:
Notes on typed object-oriented programming,
Proc. Theoretical Aspects of Computer Software, Springer LNCS 789,
1994, 844-885.
-
What is an Object-Oriented Programming Language?
(Abstract)
K. Fisher and J.C. Mitchell
|
