4716 search results - page 207 / 944 » Tangible functional programming |
141
Voted
FROCOS
2005
Springer
15 years 8 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
113
click to vote
JCP
2008
15 years 2 months ago
2008
-In this paper a nonlinear programming approach is used for the minimization of total communication cost to determine the optimum room dimensions for each room. The nonlinear progr...
103
Voted
SIGCSE
2002
ACM
15 years 2 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...
120
Voted
IPPS
1998
IEEE
15 years 6 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 ...
135
Voted
JUCS
2006
15 years 2 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-...