PLEIADES

This publication has 30 references indexed in Scilit:

• Interprocedural static analysis of sequencing constraints
  ACM Transactions on Software Engineering and Methodology, 1992
• Extensions to Starburst
  Communications of the ACM, 1991
• Concurrency control in advanced database applications
  ACM Computing Surveys, 1991
• A formal model of program dependences and its implications for software testing, debugging, and maintenance
  IEEE Transactions on Software Engineering, 1990
• A model of visibility control
  IEEE Transactions on Software Engineering, 1988
• Integrating an object-oriented programming system with a database system
  Published by Association for Computing Machinery (ACM) ,1988
• Types and persistence in database programming languages
  ACM Computing Surveys, 1987
• GALILEO: a strongly-typed, interactive conceptual language
  ACM Transactions on Database Systems, 1985
• The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
  ACM Transactions on Programming Languages and Systems, 1981
• Some high level language constructs for data of type relation
  ACM Transactions on Database Systems, 1977