4895 search results - page 244 / 979 » Functional Quantum Programming |
151
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
This paper describes a Java-based distance-education tool, called the Environment for Remote Programming Assignments in Java (JERPA), for use in computer science courses with Java...
158
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. The degree of locality of a program re ects the level of temporal and spatial concentration of related data and computations. Locality optimization can speed up programs ...
178
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
167
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
164
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...