Sciweavers

3404 search results - page 6 / 681
» C Programming Tutorial
Sort
View
114
Voted
ICLP
2007
Springer
15 years 9 months ago
Logic Programming for Knowledge Representation
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
Miroslaw Truszczynski
160
Voted
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
15 years 10 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
158
Voted
SIGCSE
2002
ACM
202views Education» more  SIGCSE 2002»
15 years 3 months ago
A tutorial program for propositional logic with human/computer interactive learning
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
Stacy Lukins, Alan Levicki, Jennifer Burg
115
Voted
HIPS
1998
IEEE
15 years 7 months ago
ViC*: A Compiler for Virtual-Memory C*
Alex Colvin, Thomas H. Cormen
100
Voted
SPIN
2004
Springer
15 years 9 months ago
Advanced SPIN Tutorial
Theo C. Ruys, Gerard J. Holzmann