6343 search results - page 395 / 1269 » Development of a Cartographic Language |
213
click to vote
CSFW
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
172
click to vote
ML
2006
ACM
16 years 20 days 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 ...
202
click to vote
EPEW
2005
Springer
16 years 7 days ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
185
click to vote
OOPSLA
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
172
click to vote
SPATIALCOGNITION
2004
Springer
16 years 1 days ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...