6794 search results - page 140 / 1359 » Semantics of Visual Languages |
PPSWR
2005
Springer
14 years 2 months ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
ACL
1996
13 years 10 months ago
1996
I examine how terminological languages can be used to manage linguistic data during NL research and development. In particular, I consider the lexical semantics task of characteri...
ESOP
2006
Springer
14 years 25 days ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
ICALT
2009
IEEE
14 years 3 months ago
2009
IEEE
Adaptive Hypermedia (AH) can offer a richer learning experience, tailored to students’ needs. However, authoring of AH is complex. Several models and systems have been developed...
WCRE
2005
IEEE
14 years 2 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...