956 search results - page 67 / 192 » Languages as libraries |
VL
2003
IEEE
14 years 3 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
ENTCS
2008
13 years 10 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
JCDL
2006
ACM
14 years 4 months ago
2006
ACM
This paper discusses the application of speech alignment, image processing, and language understanding technologies to build efficient interfaces into large digital oral history a...
INAP
2005
Springer
14 years 3 months ago
2005
Springer
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...
HPCN
2000
Springer
14 years 1 months ago
2000
Springer
As Java is being considered an appropriate environment for high performance computing, we describe advanced techniques of highly expressive and efficient combining of Java with exi...