2308 search results - page 156 / 462 » Categorial Semantics For LFG |
140
click to vote
ENTCS
2007
15 years 6 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
134
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Understanding the structure of knowledge communities, and particularly the organization of "epistemic communities", or groups of agents sharing common knowledge concerns...
171
click to vote
DOCENG
2010
ACM
15 years 5 months ago
2010
ACM
In e-business development, semantics-oriented document exchange is becoming important, because it can support crossdomain user connection, business transaction and collaboration. ...
140
click to vote
TOPLAS
2008
15 years 4 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
192
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...