5415 search results - page 211 / 1083 » The Implementation of Functional Programming Languages |
121
click to vote
VL
2007
IEEE
15 years 7 months ago
2007
IEEE
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....
107
click to vote
SIGPLAN
2002
15 years 28 days ago
2002
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
105
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
150
click to vote
GEOINFORMATICA
2011
14 years 8 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...