Stem occam$ (all stems)

8 papers:

KDD-1998-Domingos

Occam’s Two Razors: The Sharp and the Blunt (PMD), pp. 37–43.

SAC-1994-ZhangM #named #visualisation

Visputer — an Occam program visualisation tool (KZ, GM), pp. 457–461.

WSA-1993-GluckK #process

Occam’s Razor in Metacompuation: the Notion of a Perfect Process Tree (RG, AVK), pp. 112–123.

LOPSTR-1991-Huntbach #automation #concurrent #logic

Automated Translation of Occam to a Concurrent Logic Language (MMH), pp. 254–275.

STOC-1990-BoardP #algorithm #on the

On the Necessity of Occam Algorithms (RAB, LP), pp. 54–63.

CSL-1989-GurevichM #algebra #semantics

Algebraic Operational Semantics and Occam (YG, LSM), pp. 176–192.

ML-1988-Segen88a #concept

Conceptual Clumping of Binary Vectors with Occam’s Razor (JS), pp. 47–53.

POPL-1987-HuizingGR #abstraction #realtime #semantics

Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language (CH, RG, WPdR), pp. 223–237.