Karp: a language for NP reductions.

Chenhao Zhang Jason D. Hartline Christos Dimoulas

Published in: PLDI (2022)

Keyphrases

programming language
natural language
specification language
np complete
language processing
databases
high level
similarity measure
computational complexity
general purpose
modeling language
declarative language
database
np hard
programming environment