Static Type Analysis of Prolog Procedures for Ensuring Correctness.

Pierre De Boeck Baudouin Le Charlier

Published in: PLILP (1990)

Keyphrases

artificial intelligence
knowledge representation
programming language
quantitative analysis
social networks
computer vision
image processing
image segmentation
image sequences
feature extraction
expert systems
wireless sensor networks
logic programming
statistical analysis