Mark S. Miller | Researchain

Archive Network Publication Hotspot Collaboration

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Mark S. Miller is active.

Explore More

Publication

Featured researches published by Mark S. Miller.

conference on object oriented programming systems languages and applications | 1986

Objects in concurrent logic programming languages

Kenneth M. Kahn; Eric Dean Tribble; Mark S. Miller; Daniel G. Bobrow

Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as incomplete messages, unification, direct broadcasting, and concurrency synchronization [Shapiro 1983a]. While it provides excellent computational support, we claim it does not provide good notation for expressing the abstractions of object-oriented programming. We describe a preprocessor that remedies this problem. The resulting language, Vulcan, is then used as a behicle for exploring new variants of object-oriented programming which become possible in this framework.

conference on object oriented programming systems languages and applications | 2008

Designing refactoring tools for developers

Dustin Campbell; Mark S. Miller

Because manual refactoring is both tedious and prone to error, automatic refactoring tools have become increasingly important to a programmers workflow. Unfortunately, many refactoring tools suffer from deep discoverability and usability problems that make them less useful for general development. In this paper, we present three primary issues that plague refactoring tools and present our approach to solving these issues in a commercial add-in for Microsoft Visual Studio.

Market-based control | 1996