257 search results - page 11 / 52 » Programming with narrowing: A tutorial |
253
Voted
CSEE
2011
Springer
14 years 6 months ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
96
Voted
UM
2005
Springer
15 years 8 months ago
2005
Springer
122
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
220
Voted
Book
"This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of pr...
118
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...