1059 search results - page 175 / 212 » Unification-Based Semantic Interpretation |
132
click to vote
JAPLL
2007
15 years 4 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
153
click to vote
AAMAS
2004
Springer
15 years 4 months ago
2004
Springer
The development of the World Wide Web has changed the way we think about information. Information on the web is distributed, updates are made asynchronously and resources come onli...
151
click to vote
LISP
2007
15 years 4 months ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
146
click to vote
ENTCS
2002
15 years 4 months ago
2002
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...
150
click to vote
SCP
1998
15 years 4 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...