2395 search results - page 109 / 479 » Reasoning in Semantic Wikis |
184
click to vote
CL
2012
Springer
13 years 6 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
139
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
Volunteered geographic information such as that available in blogs, wikis, social networking sites, and community contributed photo collections is enabling new applications. This ...
174
click to vote
ELP
1991
15 years 8 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
125
click to vote
ICFP
1998
ACM
15 years 8 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
142
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...