3440 search results - page 476 / 688 » Logics For Context-Free Languages |
194
click to vote
PPDP
2004
Springer
16 years 16 days ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
190
click to vote
WADT
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
188
click to vote
TPHOL
2003
IEEE
16 years 13 days ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
167
click to vote
CONCUR
2003
Springer
16 years 12 days ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
142
click to vote
PADL
2001
Springer
15 years 11 months ago
2001
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...