257 search results - page 8 / 52 » Programming with narrowing: A tutorial |
124
click to vote
SIGCSE
2002
ACM
14 years 11 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
191
click to vote
Book
"This book is a tutorial. Its aim is to teach C to a beginner, but with
enough of the details so as not be outgrown as the years go by. It presumes
that you have some previo...
PLILP
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
IFM
2004
Springer
15 years 5 months ago
2004
Springer