Conclave: Writing Programs to Understand Programs.

Nuno Ramos Carvalho José João Almeida Maria João Varanda Pereira Pedro Rangel Henriques

Published in: SLATE (2014)

Keyphrases

concurrent programming
computer programs
databases
learning algorithm
information systems
provably correct
database
neural network
artificial intelligence
decision making
answer sets
intermediate level
automatic programming