Sciweavers

257 search results - page 15 / 52
» Programming with narrowing: A tutorial
Sort
View
224
Voted

Book
403views
16 years 9 months ago
Eloquent JavaScript An opinionated guide to programming
"Eloquent JavaScript is a digital book providing a comprehensive introduction (tutorial) to the JavaScript programming language. Apart from a bookful of text, it contains plen...
Marijn Haverbeke
117
Voted
AC
2000
Springer
15 years 6 months ago
Operational Semantics and Program Equivalence
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
Andrew M. Pitts
105
Voted
CSEE
2010
Springer
14 years 12 months ago
An Undergraduate Summer Research Program in Software Safety
This paper shares the experiences and lessons learned from conducting an NSF-sponsored eight-week summer research program for ten undergraduate students from multiple universities...
W. Eric Wong, Vidroha Debroy
WSC
2007
15 years 4 months ago
The optimizing-simulator: merging simulation and optimization using approximate dynamic programming
There has long been a competition between simulation and optimization in the modeling of problems in transportation and logistics, machine scheduling and similar highdimensional p...
Warren B. Powell
AIEDU
2007
108views more  AIEDU 2007»
15 years 2 months ago
Explicit Reflection in Prolog-Tutor
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
Joséphine M. P. Tchétagni, Roger Nka...