Sign in

A Two-Level Approach to Logic plus Functional Programming Integration.

Marco BelliaPier Giorgio BoscoElio GiovannettiGiorgio LeviCorrado MoisoCatuscia Palamidessi
Published in: PARLE (1) (1987)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • quantifier elimination
  • object oriented programming
  • general purpose
  • logic programming
  • data integration
  • high level
  • modal logic