5451 search results - page 225 / 1091 » Typed Operational Semantics |
252
click to vote
COSIT
2011
Springer
14 years 4 months ago
2011
Springer
With the increasing success and commercial integration of Volunteered Geographic Information (VGI), the focus shifts away from coverage to data quality and homogeneity. Within the ...
151
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
131
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
138
click to vote
BDA
2007
15 years 5 months ago
2007
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
124
click to vote
DOA
2001
15 years 5 months ago
2001
This paper presents and discusses some infrastructure services necessary for distributed applications development. The main service considered is the component search service whic...