Type Annotation for Adaptive Systems
We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms. In this approach the type system is incorporated with the graph and elements can adapt to changes in context by changing their type a...
Đã lưu trong:
| Những tác giả chính: | , , |
|---|---|
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
Open Publishing Association
2016-12-01
|
| Loạt: | Electronic Proceedings in Theoretical Computer Science |
| Truy cập trực tuyến: | http://arxiv.org/pdf/1612.01637v1 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|