Searching for "Typed Operational Semantics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

82 documents found, showing 1 through 10. Next 10 →

A Type Operational Semantics Based on Grammatical Characterisation of an Abstract Machine
by Robin Popplestone — 1994
…A Typed Operational Semantics Based on Grammatical Characterisation of an Abstract Machine Robin…
Add To MetaCart

Typed operational semantics for higher order subtyping. Draft. Available at http://www.dcs.ed.ac.uk/home/abc
by Adriana Compagnoni, Healfdene Goguen — 1997
… Typed Operational Semantics for Higher Order Subtyping Adriana Compagnoni abc…
Cited by 13 (5 self) – Add To MetaCart

Metatheoretical Results for a Modal λ-Calculus
by Joelle Despeyroux, Pierre Leleu, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, B. Jayaraman, A. Krall, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, P. Van, Hentenryck D. S. Warren — 2000
… of typed operational semantics for our system. We dene a notion of typed substitution for our system, which…
Cited by 3 (1 self) – Add To MetaCart

Anti-Symmetry of Higher-Order Subtyping
by Adriana Compagnoni, Healfdene Goguen — 1999 — In Proceedings of the 8th Annual Conference on Computer Science Logic (CSL’99), J. Flum and M. RodríguezArtalejo, Eds. Springer-Verlag LNCS 1683
…, typed operational semantics for subtyping oers a powerful new technology to solve the problem…
Cited by 2 (0 self) – Add To MetaCart

Decidability of Higher-Order Subtyping via Logical Relations
by Adriana Compagnoni, Healfdene Goguen — 1997
… for subtyping using typed operational semantics. Decidability of the subtyping algorithm is non-trivial, because…
Cited by 1 (1 self) – Add To MetaCart

Formal Treatment of Data Structures in Concurrency Models
by Nicolas Guelfi, Fabrice Mourlin — 1996
… with equalities which both allow a simple operational semantics for algebraic specification. Adt Booleans; type…
Add To MetaCart

Formalizing Soundness of Contextual Effects
by Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu
…, in a way that is robust under substitution. We do this using a novel typed operational semantics. We…
Add To MetaCart

Y.: Structural and semantic matching for assessing web-service similarity
by Eleni Stroulia, Yiqiao Wang — 2005 — International Journal of Cooperative Information Systems
… of their data types and operations and the semantics of their natural language descriptions and identifiers…
Cited by 4 (2 self) – Add To MetaCart

Regulating data exchange in service oriented applications
by Ro Lapadula, Rosario Pugliese, Francesco Tiezzi — 2007 — In FSEN, volume 4767 of LNCS
… or block communication. We prove that the type system and the operational semantics are sound. As a…
Cited by 5 (4 self) – Add To MetaCart

Multi-Stage Imperative Languages: A Conservative Extension Result
by Cristiano Calcagno, Eugenio Moggi — 2000 — In [41] (2000
… extends the recent work [CMT00] on the operational semantics and type system for a core language, called…
Cited by 5 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB