Sciweavers

4743 search results - page 196 / 949
» Introduction to Functional Programming
Sort
View

Book
301views
17 years 2 months ago
C Programming Tutorial
"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...
Mark Burgess
KES
2005
Springer
15 years 12 months ago
Uncertainty Management in Logic Programming: Simple and Effective Top-Down Query Answering
We present a simple, yet general top-down query answering procedure for logic programs managing uncertainty. The main features are: (i) the certainty values are taken from a certai...
Umberto Straccia
182
Voted
SIGCSE
2002
ACM
142views Education» more  SIGCSE 2002»
15 years 6 months ago
Integrating formal models into the programming languages course
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
Allen B. Tucker, Robert E. Noonan
CLOUD
2010
ACM
15 years 11 months ago
Nephele/PACTs: a programming model and execution framework for web-scale analytical processing
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
Dominic Battré, Stephan Ewen, Fabian Hueske...
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 6 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný