3844 search results - page 156 / 769 » Modular interpreted systems |
121
Voted
EUSFLAT
2003
15 years 4 months ago
2003
This paper proposes a new novel method for the online construction of a Hierarchical Fuzzy Rule Based System (FRBS) to accurately model a function while retaining a level of human...
144
Voted
ACL
2012
13 years 5 months ago
2012
Metaphors pervade our language because they are elastic enough to allow a speaker to express an affective viewpoint on a topic without committing to a specific meaning. This balan...
265
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
137
click to vote
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
128
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...