Towards a Logic Language and Framework for Web Programming.

Giulio Piancastelli Andrea Omicini Enrico Denti

Published in: Il Milione (2008)

Keyphrases

programming language
web applications
website
web documents
linked data
programming environment
logical framework
high level
social media
operational semantics
formal language
abductive reasoning