1059 search results - page 68 / 212 » Unification-Based Semantic Interpretation |
109
click to vote
ENTCS
2002
14 years 11 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
ESWS
2009
Springer
15 years 6 months ago
2009
Springer
Semanta is a system supporting Semantic Email, implemented as an add-in to two popular Mail User Agents, using existing email transport technology and integrated with the Social Se...
ESWS
2004
Springer
15 years 5 months ago
2004
Springer
Web browsing is often a collaborative activity. Users involved in a joint information gathering exercise will wish to share knowledge about the web pages visited and the contents f...
100
click to vote
POPL
1992
ACM
15 years 3 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
CSR
2008
Springer
15 years 1 months ago
2008
Springer
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...