Sciweavers

3404 search results - page 6 / 681
» C Programming Tutorial
Sort
View
ICLP
2007
Springer
15 years 3 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
100
Voted
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
15 years 4 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
SIGCSE
2002
ACM
202views Education» more  SIGCSE 2002»
14 years 9 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
HIPS
1998
IEEE
15 years 1 months ago
ViC*: A Compiler for Virtual-Memory C*
Alex Colvin, Thomas H. Cormen
SPIN
2004
Springer
15 years 2 months ago
Advanced SPIN Tutorial
Theo C. Ruys, Gerard J. Holzmann