Searching for "Denotational Semantics." – sorted by Relevance.
-
Metric Denotational Semantics for PEPA
- Metric Denotational Semantics for PEPA Marta Kwiatkowska and Gethin Norman School of Computer
- Cited by 4 (1 self) – Add To MetaCart
-
Denotational Semantics of Object Specification
- Denotational Semantics of Object Specification Am'ilcar Sernadas, Cristina Sernadas and Carlos
- Cited by 7 (3 self) – Add To MetaCart
-
Dynamic denotational semantics of Java
- Dynamic Denotational Semantics of Java Jim Alves-Foss and Fong Shing Lam Center for Secure
- Cited by 9 (0 self) – Add To MetaCart
-
Metric Denotational Semantics for
- Metric Denotational Semantics for PEPA 1 Marta Kwiatkowska and Gethin Norman School of Computer
- Add To MetaCart
-
From Operational to Denotational Semantics
- From Operational to Denotational Semantics Scott F. Smith Department of Computer Science The Johns
- Cited by 18 (6 self) – Add To MetaCart
-
A Denotational Semantics for Prolog
- A Denotational Semantics for Prolog Fausto Spoto and Giorgio Levi Dipartimento di Informatica
- Cited by 14 (6 self) – Add To MetaCart
-
CPP Denotational Semantics
- be described using traditional techniques. This paper describes the semantics of CPP in a denotational style
- Cited by 6 (0 self) – Add To MetaCart
-
A Denotational Semantics of Inheritance
- A Denotational Semantics of Inheritance William R. Cook B. S., Tulane University, 1984 Sc. M
- Cited by 118 (3 self) – Add To MetaCart
-
Denotational semantics of hybrid automata
- Denotational Semantics of Hybrid Automata 1 Introduction Abbas Edalat, Dirk Pattinson 1 Department
- Cited by 4 (4 self) – Add To MetaCart
-
Correspondence between Operational and Denotational Semantics
- Correspondence between Operational and Denotational Semantics C.-H. L. Ong Oxford University
- Cited by 19 (0 self) – Add To MetaCart

