4959 search results - page 64 / 992 » Imperative Functional Programming |
88
Voted
CC
2003
Springer
15 years 5 months ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...
100
click to vote
LOPSTR
2009
Springer
15 years 5 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
89
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
120
Voted
ENTCS
2002
15 years 11 days ago
2002
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...
127
Voted
LISP
2008
15 years 17 days ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...