Executable Relational Specifications of Polymorphic Type Systems Using Prolog.

Ki Yung Ahn Andrea Vezzosi

Published in: FLOPS (2016)

Keyphrases

expert systems
relational databases
formal specification
management system
complex systems
knowledge representation
data sets
computer systems
inference engine
intelligent systems
type checking
reactive systems
formal methods
relational learning
distributed systems
e learning
information systems
neural network