12452 search results - page 2186 / 2491 » An exploration of program as language |
180
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
183
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
177
click to vote
ENTCS
2010
15 years 6 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
168
click to vote
ENTCS
2008
15 years 6 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...
180
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...