Type Annotation for Adaptive Systems
| Autor: | Andrew Fish, Paulo Bottoni, Francesco Parisi-Presicce |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
FOS: Computer and information sciences
D.2.2 Computer Science - Programming Languages Computer science business.industry lcsh:Mathematics lcsh:QA1-939 Machine learning computer.software_genre F.3.2 D.2.10 lcsh:QA75.5-76.95 Software Engineering (cs.SE) Annotation Computer Science - Software Engineering Type (biology) Adaptive system lcsh:Electronic computers. Computer science Artificial intelligence business computer Programming Languages (cs.PL) |
| Zdroj: | GaM@ETAPS Electronic Proceedings in Theoretical Computer Science, Vol 231, Iss Proc. GaM 2016, Pp 1-15 (2016) |
| DOI: | 10.48550/arxiv.1612.01637 |
| Popis: | 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 annotations. We discuss some case studies in which this mechanism is relevant. Comment: In Proceedings GaM 2016, arXiv:1612.01053 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|