6740 search results - page 148 / 1348 » Using Classification as a Programming Language |
100
click to vote
FPCA
1991
15 years 5 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...
106
click to vote
PEPM
2007
ACM
15 years 7 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
110
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
112
click to vote
IJCAI
1993
15 years 3 months ago
1993
SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suff...
DAC
1996
ACM
15 years 5 months ago
1996
ACM
A language for defining design discipline characteristics is proesign discipline characteristics such as abstraction levels, design object classifications and decompositions, desi...