David M. Harland - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

1987

OBJEKT: A Persistent Object Store With An Integrated Garbage CollectorDavid M. Harland, Bruno Beloff. SIGPLAN, 22(4):70-79, 1987.

1986

Microcoding an object-oriented instruction setDavid M. Harland, Bruno Beloff. sigarch, 14(5):3-12, 1986. [doi]

A recursively microcodable tagged architectureDavid M. Harland. sigarch, 14(3):34-40, 1986. [doi]

1985

Towards a Language for Concurrent ProcessesDavid M. Harland. SPE, 15(9):839-888, 1985.

An alternative view of polymorphismDavid M. Harland, Martyn W. Szyplewski, John B. Wainwright. SIGPLAN, 20(10):23-35, 1985. [doi]

1984

Polymorphic Programming II. An Orthogonal Tagged High Level Architecture Abstract MachineHamish I. E. Gunn, David M. Harland. SPE, 14(11):1021-1046, 1984.

Polymorphic Programming I. Another Language Designed on Semantic PrinciplesDavid M. Harland, Hamish I. E. Gunn. SPE, 14(10):973-997, 1984.

User-Defined Types in a Polymorphic LanguageDavid M. Harland. cj, 27(1):47-56, 1984.

1982

Another look at enumerated typesDavid M. Harland, Hamish I. E. Gunn. SIGPLAN, 17(7):62-71, 1982.

Subtypes versus Cell Constancy With Subrange ConstraintsDavid M. Harland. SIGPLAN, 17(12):65-69, 1982.

1981

Degrees of Constancy in Programming LanguagesHamish I. E. Gunn, David M. Harland. ipl, 13(1):35-38, 1981.

On Facilities for Interprocess CommunicationDavid M. Harland. ipl, 12(5):221-226, 1981.

Concurrency in a Language Employing MessagesDavid M. Harland. ipl, 12(2):59-62, 1981.

The application of message passing to concurrent programmingDavid M. Harland. PhD thesis, University of St Andrews, UK, 1981. [doi]

1980

High Speed Data Acquisition: Running a Realtime Process and a Time-shared System (UNIX) ConcurrentlyDavid M. Harland. SPE, 10(4):273-281, 1980.

Sign in or sign up to see more results.

runs on WebDSL