A Temporal Logic of Nested Calls and Returns

By Rajeev Alur, Kousha Etessami, Parthasarathy Madhusudan. International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2004

3,365 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/e23e2a750f7368424da6498f811a0dac270125a3

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Parthasarathy Madhusudan
2. Rajeev Alur

In Computational Theory and Mathematics

1. Rajeev Alur
2. Parthasarathy Madhusudan

In Software

1. Parthasarathy Madhusudan
2. Rajeev Alur

Citations in the corpus

• Visibly pushdown languages (2004, background): “A separate class of non-regular, but decidable, properties includes the recently proposed temporal logic Caret that allows matching of calls and returns and can express the classical correctness requirements of program modules with pre and post conditions, such as “if p holds when a module is invoke”