Login / Signup
Easy composition of symbolic computation software: a new lingua franca for symbolic computation.
Steve Linton
Kevin Hammond
Alexander Konovalov
Abdallah Al Zain
Philip W. Trinder
Peter Horn
Dan Roozemond
Published in:
ISSAC (2010)
Keyphrases
</>
imperative programs
automated deduction
lingua franca
software development
software systems
data exchange
software evolution
dynamic logic
information retrieval