LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes.

Mathieu Montin Amélie Ledein Catherine Dubois

Published in: MSFP@ETAPS (2022)

Keyphrases

data types
databases
database systems
desirable properties
formal language
information systems
data sets
neural network
website
data structure
evolutionary algorithm
user defined