230 search results - page 40 / 46 » Automation for Dependently Typed Functional Programming |
120
click to vote
LACL
2001
Springer
15 years 7 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
131
click to vote
CASES
2003
ACM
15 years 8 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
136
click to vote
CAISE
1999
Springer
15 years 7 months ago
1999
Springer
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
140
click to vote
CSMR
2002
IEEE
15 years 7 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
119
click to vote
ICFP
2007
ACM
15 years 6 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...