Towards Monitoring-Oriented Programming

This publication has 7 references indexed in Scilit:

• Monitoring programs using rewriting
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Monitoring Java Programs with Java PathExplorer
  Electronic Notes in Theoretical Computer Science, 2001
• N degrees of separation
  Published by Association for Computing Machinery (ACM) ,1999
• Aspect-oriented programming
  Published by Springer Nature ,1997
• Formal methods
  ACM Computing Surveys, 1996
• Real-Time Logics: Complexity and Expressiveness,
  Published by Defense Technical Information Center (DTIC) ,1990
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977