Concepedia

Mary E. S. Loomis

ME

3

Publications

58

Citations

3

H-Index

1984

Active since

Affiliations

Engage(Current)

Mary E. S. Loomis is an author at Engage specializing in program analysis, formal methods, and system software.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringManagement

Publications per year

1984–1997

3

Publications

3

Logical, internal, and physical reference behavior in CODASYL database systems

Wolfgang Effelsberg, Mary E. S. Loomis · ACM Transactions on Database Systems · 1984 · 25 citations · Full text

Relational Database, Engineering, Computer Architecture +23

Object versioning

Mary E. S. Loomis · Journal of Object-oriented Programming · 1992 · 21 citations

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Mary E. S. Loomis, Toby Bloom, A. Michael Berman · 1997 · 12 citations

Engineering, Program Analysis, Automated Reasoning +14

Rows per page

1–3 of 3