Concepedia

Kim B. Bruce

KB

42

Publications

2.8K

Citations

29

H-Index

1978

Active since

Affiliations

Williams College(Current)

Victoria University of Wellington

Portland State University

University of Kent

Kim B. Bruce is an author at Williams College specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisSoftware DesignAutomated ReasoningSoftware EngineeringEducationDesign

Publications per year

1978–2018

42

Publications

42

On Reacting to Assertions and Polar Questions

Donka F. Farkas, Kim B. Bruce · Journal of Semantics · 2009 · 693 citations

On Binary Methods

Kim B. Bruce, Luca Cardelli, Giuseppe Castagna · Theory and Practice of Object Systems · 1995 · 197 citations

Computational Complexity Theory, Engineering, Software Systems +20

Comparing Object Encodings

Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce · Information and Computation · 1999 · 180 citations

Engineering, Similarity Measure, Program Analysis +10

A paradigmatic object-oriented programming language: Design, static typing and semantics

Kim B. Bruce · Journal of Functional Programming · 1994 · 143 citations · Full text

Engineering, Object-oriented Modeling, Verification +22

Controversy on how to teach CS 1

Kim B. Bruce · ACM SIGCSE Bulletin · 2004 · 119 citations

Teacher Education, Late March, Pedagogy +10

Rows per page

1–5 of 42