Concepedia

Craig Schaffert

CS

Statistics

Publications

5

Citations

1.3K

H-Index

5

Active since

1977

Affiliations

Massachusetts Institute of Technology(Current)

Craig Schaffert is an author at Massachusetts Institute of Technology specializing in computer science, engineering, and software design.

Top concepts

EngineeringComputer ScienceSoftware DesignSemantic WebFormal MethodsData IntegrationProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification

Publications per year

1977–1986

5

Publications

5

Abstraction mechanisms in CLU

Barbara Liskov, Alan Snyder, Russell R. Atkinson et al. · Communications of the ACM · 1977 · 771 citations · Full text

Engineering, Software Systems, Control Abstractions +19

An introduction to Trellis/Owl

Craig Schaffert, Topher Cooper, Bruce Bullis et al. · ACM SIGPLAN Notices · 1986 · 273 citations

Engineering, Trellis/owl Language, Type Theory +20

An introduction to Trellis/Owl

Craig Schaffert, Topher Cooper, Bruce Bullis et al. · 1986 · 136 citations

Architectural Design, Engineering, Data Integration +4

Abstraction mechanisms in CLU

Barbara Liskov, Alan Snyder, Russell R. Atkinson et al. · 1977 · 45 citations

Engineering, Program Analysis, Automated Reasoning +10

Persistent and shared objects in Trellis/Owl

Patrick O’Brien, Bruce Bullis, Craig Schaffert · 1986 · 44 citations

Relational Database, Engineering, Software Systems +20

Rows per page

1–5 of 5