Search

Your search keyword '"Bruce, Kim B."' showing total 256 results
Start Over Author "Bruce, Kim B."
256 results on '"Bruce, Kim B."'

1. The Essence of Inheritance

Author

Black, Andrew P., Bruce, Kim B., and Noble, James

Subjects
Computer Science - Programming Languages
Abstract

Programming languages serve a dual purpose: to communicate programs to computers, and to communicate programs to humans. Indeed, it is this dual purpose that makes programming language design a constrained and challenging problem. Inheritance is an essential aspect of that second purpose: it is a tool to improve communication. Humans understand new concepts most readily by first looking at a number of concrete examples, and later abstracting over those examples. The essence of inheritance is that it mirrors this process: it provides a formal mechanism for moving from the concrete to the abstract., Comment: This paper was submitted for inclusion in a Festschrift entitled "A list of successes that can change the world", to be published by Springer

Published
2016

2. The Semantics of Miranda's Algebraic Types

Author

Bruce, Kim B., Riecker, Jon G., Bruce, Kim B., and Riecker, Jon G.

Abstract

Miranda has two interesting features in its typing system: implicit polymorphism (also known as ML-style polymorphism) and algebraic types. Algebraic types create new types from old and can operate on arbitrary types. This paper argues that functions of types, or type constructors, best represent the meaning of algebraic types. Building upon this idea, we develop a denotational semantics for algebraic types. We first define a typed lambda calculus that specifies type constructors. A semantic model of type constructors is them built, using the ideal model as a basis. (The ideal model gives the most natural semantics for Miranda's implicit polymorphism.) The model is shown to be sound with respect to this lambda calculus. FInally, we demonstrate how to use the model to interpret algebraic types, and prove that the translation produces elements in the model.

Published
2023

3. The Importance of Being Eelco

Author

Andrew P. Black and Kim B. Bruce and James Noble, Black, Andrew P., Bruce, Kim B., Noble, James, Andrew P. Black and Kim B. Bruce and James Noble, Black, Andrew P., Bruce, Kim B., and Noble, James

Abstract

Programming language designers and implementers are taught that: semantics are more worthwhile than syntax, that programs exist to embody proofs, rather than to get work done, and to value Dijkstra more than Van Wijngaarden. Eelco Visser believed that, while there is value in the items on the left, there is at least as much value in the items on the right. This short paper explores how Eelco Visser embodied these values, and how he encouraged our work on the Grace programming language, supported that work withio Spoofax, and provided a venue for discussion within the WG2.16 Programming Language Design working group.

Published
2023
Full Text
View/download PDF

4. Graceful Dialects

Author

Homer, Michael, Jones, Timothy, Noble, James, Bruce, Kim B., Black, Andrew P., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, and Jones, Richard, editor

Published
2014
Full Text
View/download PDF

5. The Importance of Being Eelco

Author

Black, Andrew P., Bruce, Kim B., and Noble, James

Subjects
Software and its engineering → Semantics, Software and its engineering → Object oriented languages, Spoofax, Grace, Eelco Visser, Software and its engineering → Syntax, Software and its engineering → Translator writing systems and compiler generators, syntax
Abstract

Programming language designers and implementers are taught that: semantics are more worthwhile than syntax, that programs exist to embody proofs, rather than to get work done, and to value Dijkstra more than Van Wijngaarden. Eelco Visser believed that, while there is value in the items on the left, there is at least as much value in the items on the right. This short paper explores how Eelco Visser embodied these values, and how he encouraged our work on the Grace programming language, supported that work withio Spoofax, and provided a venue for discussion within the WG2.16 Programming Language Design working group., OASIcs, Vol. 109, Eelco Visser Commemorative Symposium (EVCS 2023), pages 4:1-4:15

Published
2023
Full Text
View/download PDF

6. Tools and Environments for Learning Object-Oriented Concepts

Author

Michiels, Isabel, Börstler, Jürgen, Bruce, Kim B., Fernández, Alejandro, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Buschmann, Frank, editor, Buchmann, Alejandro P., editor, and Cilia, Mariano A., editor

Published
2004
Full Text
View/download PDF

7. LOOJ: Weaving LOOM into Java

Author

Bruce, Kim B., Foster, J. Nathan, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Odersky, Martin, editor

Published
2004
Full Text
View/download PDF

8. A History of the Liberal Arts Computer Science Consortium and Its Model Curricula

Author

Bruce, Kim B., Cupper, Robert D., and Scot Drysdale, Robert L.

Abstract

With the support of a grant from the Sloan Foundation, nine computer scientists from liberal arts colleges came together in October, 1984 to form the Liberal Arts Computer Science Consortium (LACS) and to create a model curriculum appropriate for liberal arts colleges. Over the years the membership has grown and changed, but the focus has remained on helping to establish and maintain high-quality computer science programs in liberal arts colleges. In this report we discuss briefly the history of the group, the series of three curricula produced by LACS, and other contributions of the members to computer science education. (Contains 3 footnotes.)

Published
2010
Full Text
View/download PDF

13. Comparing object encodings

Author

Bruce, Kim B., Cardelli, Luca, Pierce, Benjamin C., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Abadi, Martín, editor, and Ito, Takayasu, editor

Published
1997
Full Text
View/download PDF

18. Creating a New Model Curriculum: A Rationale for 'Computing Curricula 1990'.

Author

Bruce, Kim B.

Abstract

Describes a model for the design of undergraduate curricula in the discipline of computing that was developed by the ACM/IEEE (Association for Computing Machinery/Institute of Electrical and Electronics Engineers) Computer Society Joint Curriculum Task Force. Institutional settings and structures in which computing degrees are awarded are discussed. (10 references) (LRW)

Published
1991

21. Graceful Dialects

Author

Homer, Michael, primary, Jones, Timothy, additional, Noble, James, additional, Bruce, Kim B., additional, and Black, Andrew P., additional

Published
2014
Full Text
View/download PDF

22. PolyTOIL: a type-safe polymorphic object-oriented language

Author

Bruce, Kim B., Schuett, Angela, Van Gent, Robert, and Fiech, Adrian

Subjects
Reusable code, Programming language, Object-oriented programming, Distributed object technology, Programming languages -- Product introduction, Object-oriented programming
Abstract

PolyTOIL is a new statically typed polymorphic object-oriented programming language that is provably typesafe. By separating the definitions of subtyping and inheritance, providing a name for the type of self, and carefully defining the type-checking rules, we have obtained a language that is very expressive while supporting modular type-checking of classes. The matching relation on types, which is related to F-bounded quantification, is used both in stating type-checking rules and expressing the bounds on type parameters for polymorphism. The design of PolyTOIL is based on a careful formal definition of type-checking rules and semantics. A proof of type safety is obtained with the aid of a subject reduction theorem. Categories and Subject Descriptors: D.3.3 [Programming Languages]: Language Constructs and Features--classes and objects, constraints, inheritance, polymorphism; D.3.1 [Programming Languages]: Formal Definitions and Theory--semantics; D.3.2 [Programming Languages]: Language Classifications--objecct-oriented languages; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages--operational semantics; F.3.3 [Logics and Meanings of Programs]: Studies of Program Constructs--object-oriented constructs General Terms: Design, Language, Theory Additional Key Words and Phrases: Matching, hash type

Published
2003

27. Why math

Author

Bruce, Kim B., Drysdale, Robert L. Scot, Kelemen, Charles, and Tucker, Allen

Subjects
Software development/engineering, Software engineering -- Study and teaching, Software engineering -- Research, Computer science -- Study and teaching, Computer science -- Research, Mathematics -- Research, Mathematics -- Study and teaching
Published
2003

33. Progress in programming languages

Author

Bruce, Kim B.

Subjects
Programming languages -- Research, Abstract data types -- Usage, Distributed processing (Computers) -- Research
Published
1996

36. The semantics of Miranda's algebraic types

Author

Bruce, Kim B., Riecke, Jon G., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Main, M., editor, Melton, A., editor, Mislove, M., editor, and Schmidt, D., editor

Published
1988
Full Text
View/download PDF

37. The semantics of second order polymorphic lambda calculus

Author

Bruce, Kim B., Meyer, Albert R., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Kahn, Gilles, editor, MacQueen, David B., editor, and Plotkin, Gordon, editor

Published
1984
Full Text
View/download PDF

38. Grace's Inheritance.

Author

Noble, James, primary, Black, Andrew P., additional, Bruce, Kim B., additional, Homer, Michael, additional, and Jones, Timothy, additional

Published
2017
Full Text
View/download PDF

39. The left hand of equals

Author

Noble, James, primary, Black, Andrew P., additional, Bruce, Kim B., additional, Homer, Michael, additional, and Miller, Mark S., additional

Published
2016
Full Text
View/download PDF

46. Seeking grace

Author

Black, Andrew P., primary, Bruce, Kim B., additional, Homer, Michael, additional, Noble, James, additional, Ruskin, Amy, additional, and Yannow, Richard, additional

Published
2013
Full Text
View/download PDF

47. Patterns as objects in grace

Author

Homer, Michael, primary, Noble, James, additional, Bruce, Kim B., additional, Black, Andrew P., additional, and Pearce, David J., additional

Published
2012
Full Text
View/download PDF

48. Grace

Author

Black, Andrew P., primary, Bruce, Kim B., additional, Homer, Michael, additional, and Noble, James, additional

Published
2012
Full Text
View/download PDF

49. Panel

Author

Black, Andrew, primary, Bruce, Kim B., additional, and Noble, James, additional

Published
2010
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results