4008 search results - page 447 / 802 » An expressive language of signatures |
126
click to vote
CIKM
2007
Springer
16 years 1 months ago
2007
Springer
Metaphor is not merely a rhetorical device, characteristic of language alone, but rather a fundamental feature of the human conceptual system. A metaphor is understood by finding ...
144
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
187
click to vote
KI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
164
click to vote
OOPSLA
2007
Springer
16 years 29 days ago
2007
Springer
Adaptive Programming allows developers to write structureshy programs. However, in Adaptive Programming, recursive computations are known to require a good deal of boiler plate co...
179
click to vote
PADL
2007
Springer
16 years 29 days ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...