Combining Static and Dynamic Contract Checking for Curry.

Published in: Fundam. Informaticae (2020)

Keyphrases

data sets
real time
information systems
decision making
database systems
image sequences
pattern recognition
supply chain