636 search results - page 74 / 128 » Operational Semantics for Functional Logic Languages |
124
Voted
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
136
Voted
LPNMR
1993
Springer
15 years 6 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
145
Voted
FSTTCS
1999
Springer
15 years 7 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
229
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
144
Voted
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
This proposal explores a unified framework to solve Semantic Web tasks that often require similarity measures, such as RDF retrieval, ontology alignment, and semantic service match...