Sciweavers

6794 search results - page 501 / 1359
» Semantics of Visual Languages
Sort
View
LICS
2000
IEEE
15 years 11 months ago
Game Semantics and Subtyping
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
Juliusz Chroboczek
AC
2000
Springer
15 years 11 months ago
Operational Semantics and Program Equivalence
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
Andrew M. Pitts
FSTTCS
2000
Springer
15 years 10 months ago
Combining Semantics with Non-standard Interpreter Hierarchies
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
Sergei M. Abramov, Robert Glück
JURIX
2008
15 years 8 months ago
Towards Semantic Interpretation of Legal Modifications through Deep Syntactic Analysis
We are concerned with the automatic semantic interpretation of legal modificatory provisions. We propose a novel approach which pairs deep syntactic parsing and a fine-grained taxo...
Raffaella Brighi, Leonardo Lesmo, Alessandro Mazze...
CIC
2004
15 years 8 months ago
Word Association Thesaurus as a Resource for extending Semantic Networks
The paper reports the on-going research for applying psycholinguistic resources to building and extending semantic networks. We survey different kinds of information that can be e...
Anna Sinopalnikova, Pavel Smrz