Login / Signup

Easy composition of symbolic computation software: a new lingua franca for symbolic computation.

Steve LintonKevin HammondAlexander KonovalovAbdallah Al ZainPhilip W. TrinderPeter HornDan Roozemond
Published in: ISSAC (2010)
Keyphrases
  • imperative programs
  • automated deduction
  • lingua franca
  • software development
  • software systems
  • data exchange
  • software evolution
  • dynamic logic
  • information retrieval