539 search results - page 68 / 108 » The Semantic Gap of Formalized Meaning |
126
click to vote
ICOODB
2009
14 years 9 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
ML
2006
ACM
15 years 5 months ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
114
click to vote
ICFP
2010
ACM
15 years 1 hour ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
105
click to vote
ECAI
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
WICSA
2008
15 years 1 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...