Saving traces for Ada debugging

This publication has 9 references indexed in Scilit:

• Implementing relational views of programs
  Published by Association for Computing Machinery (ACM) ,1984
• Monitoring in a software development environment
  Published by Association for Computing Machinery (ACM) ,1984
• Maintaining knowledge about temporal intervals
  Communications of the ACM, 1983
• A general-purpose algorithm for analyzing concurrent programs
  Communications of the ACM, 1983
• On database systems development through logic
  ACM Transactions on Database Systems, 1982
• Concurrency Control in Distributed Database Systems
  ACM Computing Surveys, 1981
• Anomaly Detection in Concurrent Software by Static Data Flow Analysis
  IEEE Transactions on Software Engineering, 1980
• Ada debugging and testing support environments
  Published by Association for Computing Machinery (ACM) ,1980
• Temporal Logic
  Published by Springer Nature ,1971