Initial Semantics for Strengthened Signatures

André Hirschowitz Marco Maggesi

Published in: FICS (2012)

Keyphrases

formal semantics
semantic information
database
logic programming
refinement process
intended meaning
real time
website
data model
object oriented
signature scheme
semantic representation
update semantics