High-level signatures and initial semantics.
Benedikt AhrensAndré HirschowitzAmbroise LafontMarco MaggesiPublished in: CoRR (2018)
Keyphrases
- high level
- semantic information
- low level
- conceptual model
- high level semantics
- formal semantics
- logic programming
- programming language
- argumentation semantics
- data mining
- higher level
- website
- artificial intelligence
- software engineering
- smart card
- low level features
- semantic relationships
- signature scheme
- metadata
- semantic representation
- operational semantics
- information systems