257 search results - page 24 / 52 » Programming with narrowing: A tutorial |
158
Voted
CEFP
2007
Springer
15 years 8 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
126
click to vote
REX
1990
15 years 6 months ago
1990
Data Types William R. Cook Hewlett-Packard Laboratories 1501 Page Mill Road, Palo Alto, CA, 94303-0969, USA Abstract: This tutorial collects and elaborates arguments for distinguis...
106
click to vote
MP
2006
15 years 1 months ago
2006
Determining if a solution is optimal or near optimal is fundamental in optimization theory, algorithms, and computation. For instance, Karush-Kuhn-Tucker conditions provide necessa...
132
Voted
SIGCSE
1992
ACM
15 years 6 months ago
1992
ACM
on through abstract instructions which approximate, but do not duplicate, the behavior of actual machines. Because they are designed for use in a variety of educational settings, C...
132
click to vote
ISORC
1999
IEEE
15 years 6 months ago
1999
IEEE
Object-oriented techniques have been along the last decade one of the most useful programming paradigms. However, for distributed embedded systems the semantic gap between the obj...