Operational and abstract semantics of the query language G-Log

Author： Cortesi A. Dovier A. Quintarelli E. Tanca L.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.275, Iss.1, 2002-03, pp. : 521-560

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Abstract machine construction through operational semantics refinements

By Cabestre F. Percebois C. Bodeveix J.-P.

Future Generation Computer Systems, Vol. 16, Iss. 7, 2000-05 ,pp. : 753-769

Elsevier

Access to resources Recommend Favorite

Trace-Based Abstract Interpretation of Operational Semantics

By Schmidt D.A.

LISP and Symbolic Computation, Vol. 10, Iss. 3, 1998-05 ,pp. : 237-271

Springer Publishing Company

Access to resources Recommend Favorite

Using semantics for XPath query transformation

By Le Dung Xuan Thi Bressan Stephane Taniar David Rahayu Wenny Pardede Eric

International Journal of Web and Grid Services, Vol. 6, Iss. 1, 2010-03 ,pp. : 58-94

Inderscience Publishers

Access to resources Recommend Favorite

Operational Semantics of a Focusing Debugger

By Bernstein K.L. Stark E.W.

Electronic Notes in Theoretical Computer Science, Vol. 1, Iss. 1, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite

Operational semantics of rewriting with priorities

By van de Pol J.

Theoretical Computer Science, Vol. 200, Iss. 1, 1998-06 ,pp. : 289-312

Elsevier

Access to resources Recommend Favorite