Login / Signup

Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems.

Amy P. FeltyDouglas J. HoweAbhik Roychoudhury
Published in: CADE (1999)
Keyphrases
  • data abstraction
  • formal specification
  • information systems
  • database
  • general purpose
  • abstract data types
  • knowledge base
  • management system
  • distributed systems