Login / Signup

Efficient First Order Functional Program Interpreter with Time Bound Certifications.

Jean-Yves MarionJean-Yves Moyen
Published in: LPAR (2000)
Keyphrases
  • lower bound
  • expert systems
  • automatic programming
  • case study
  • cost effective
  • production system
  • control program