1985/01/01 by Daniel C. Swinehart, Polle T. Zellweger, Robert B. Hagmann · 2 citations
Computer Science · #Logic, programming, and type systems #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques
paper · pdf · doi:10.1145/800225.806844
openalex publication_date 1985/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29
This paper presents an overview of the Cedar programming environment, focusing primarily on its overall structure: the major components of Cedar and the way they are organized. Cedar supports the development of programs written in a single programming language, also called Cedar. We will emphasize the extent to which the Cedar language, with runtime support, has influenced the organization, comprehensibility, and stability of Cedar.