Sciweavers

1675 search results - page 17 / 335
» Some thoughts on teaching programming and programming langua...
Sort
View
AGP
1998
IEEE
13 years 12 months ago
Some Design Issues in the Visualization of Constraint Logic Program Execution
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
Manuel Carro, Manuel V. Hermenegildo
SIGCSE
2002
ACM
135views Education» more  SIGCSE 2002»
13 years 7 months ago
Introducing computer science through animation and virtual worlds
We describe a course for non-majors that teaches computer science concepts and programming by creating simple animations and building 2D and 3D virtual worlds. Students work with ...
Susan H. Rodger
POPL
2006
ACM
14 years 8 months ago
Why dependent types matter
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
James McKinna
ICLP
1994
Springer
13 years 11 months ago
Language Independence and Language Tolerance in Logic Programs
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
Norman McCain, Hudson Turner

Book
285views
15 years 5 months ago
Teachers' Guide to Practical C++ Programming
"This book is designed to provide teaching materials to any instructor who wants to use Practical C++ Programming in his classroom. The materials contained in this book contai...
Steve Oualline