636 search results - page 34 / 128 » Operational Semantics for Functional Logic Languages |
111
Voted
ICFP
2007
ACM
16 years 3 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...
124
Voted
PPDP
2007
Springer
15 years 9 months 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...
129
Voted
ISTA
2008
15 years 5 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 ...
135
Voted
FUZZIEEE
2007
IEEE
15 years 10 months 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...
133
Voted
CAI
1998
Springer
15 years 3 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...