From Operational Semantics to Domain Theory
Тип публикации: Journal Article
Дата публикации: 1996-07-01
scimago Q2
wos Q3
БС3
SJR: 0.493
CiteScore: 2.2
Impact factor: 1.0
ISSN: 08905401, 10902651
Computer Science Applications
Computational Theory and Mathematics
Information Systems
Theoretical Computer Science
Краткое описание
This paper builds domain theoretic concepts upon an operational foundation. The basic operational theory consists of a single step reduction system from which an operational ordering and equivalence on programs are defined. The theory is then extended to include concepts from domain theory, including the notions of directed set, least upper bound, complete partial order, monotonicity, continuity, finite element, ω -algebraicity, full abstraction, and least fixed point properties. We conclude by using these concepts to construct a (strongly) fully abstract continuous model for our language. In addition we generalize a result of Milner and prove the uniqueness of such models.
Найдено
Ничего не найдено, попробуйте изменить настройки фильтра.
Топ-30
Журналы
|
1
2
3
4
5
6
|
|
|
Electronic Notes in Theoretical Computer Science
6 публикаций, 20.69%
|
|
|
Lecture Notes in Computer Science
6 публикаций, 20.69%
|
|
|
ACM SIGPLAN Notices
2 публикации, 6.9%
|
|
|
Theoretical Computer Science
2 публикации, 6.9%
|
|
|
Proceedings of the ACM on Programming Languages
1 публикация, 3.45%
|
|
|
Information and Computation
1 публикация, 3.45%
|
|
|
Mathematical Structures in Computer Science
1 публикация, 3.45%
|
|
|
Journal of Logical and Algebraic Methods in Programming
1 публикация, 3.45%
|
|
|
1
2
3
4
5
6
|
Издатели
|
2
4
6
8
10
|
|
|
Elsevier
10 публикаций, 34.48%
|
|
|
Springer Nature
6 публикаций, 20.69%
|
|
|
Association for Computing Machinery (ACM)
3 публикации, 10.34%
|
|
|
Cambridge University Press
1 публикация, 3.45%
|
|
|
2
4
6
8
10
|
- Мы не учитываем публикации, у которых нет DOI.
- Статистика публикаций обновляется еженедельно.
Вы ученый?
Создайте профиль, чтобы получать персональные рекомендации коллег, конференций и новых статей.
Метрики
29
Всего цитирований:
29
Цитирований c 2024:
0
Цитировать
ГОСТ |
RIS |
BibTex |
MLA
Цитировать
ГОСТ
Скопировать
Mason I. A., Smith S. R., Talcott C. L. From Operational Semantics to Domain Theory // Information and Computation. 1996. Vol. 128. No. 1. pp. 26-47.
ГОСТ со всеми авторами (до 50)
Скопировать
Mason I. A., Smith S. R., Talcott C. L. From Operational Semantics to Domain Theory // Information and Computation. 1996. Vol. 128. No. 1. pp. 26-47.
Цитировать
RIS
Скопировать
TY - JOUR
DO - 10.1006/inco.1996.0061
UR - https://doi.org/10.1006/inco.1996.0061
TI - From Operational Semantics to Domain Theory
T2 - Information and Computation
AU - Mason, Ian A.
AU - Smith, Scott R.
AU - Talcott, Carolyn L.
PY - 1996
DA - 1996/07/01
PB - Elsevier
SP - 26-47
IS - 1
VL - 128
SN - 0890-5401
SN - 1090-2651
ER -
Цитировать
BibTex (до 50 авторов)
Скопировать
@article{1996_Mason,
author = {Ian A. Mason and Scott R. Smith and Carolyn L. Talcott},
title = {From Operational Semantics to Domain Theory},
journal = {Information and Computation},
year = {1996},
volume = {128},
publisher = {Elsevier},
month = {jul},
url = {https://doi.org/10.1006/inco.1996.0061},
number = {1},
pages = {26--47},
doi = {10.1006/inco.1996.0061}
}
Цитировать
MLA
Скопировать
Mason, Ian A., et al. “From Operational Semantics to Domain Theory.” Information and Computation, vol. 128, no. 1, Jul. 1996, pp. 26-47. https://doi.org/10.1006/inco.1996.0061.