3323 search results - page 257 / 665 » Computational Semantics with Functional Programming |
182
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
184
click to vote
EPIA
2007
Springer
16 years 24 days ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
147
click to vote
LICS
2006
IEEE
16 years 19 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
151
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
A central theme of the semantic web is that programs should be able to easily aggregate data from different sources. Unfortunately, even if two sites provide their data using the ...
211
click to vote
ADHOCNOW
2006
Springer
16 years 18 days ago
2006
Springer
Abstract. Current in-network programming protocols for sensor networks allow an attacker to gain control of the network or disrupt its proper functionality by disseminating malicio...