636 search results - page 34 / 128 » Operational Semantics for Functional Logic Languages |
137
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
151
click to vote
PPDP
2007
Springer
16 years 2 days ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
156
click to vote
ISTA
2008
15 years 7 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
170
click to vote
FUZZIEEE
2007
IEEE
16 years 8 days ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
155
click to vote
CAI
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...