3824 search results - page 336 / 765 » Geometry Constructions Language |
134
click to vote
CLEF
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents the experiments carried out at Jadavpur University as part of participation in the CLEF 2007 ad-hoc bilingual task. This is our first participation in the CLEF...
149
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
148
Voted
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
145
click to vote
ML
2006
ACM
15 years 10 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 ...
125
click to vote
OOPSLA
2005
Springer
15 years 10 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...