Login / Signup

Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation.

Steve LintonKevin HammondAlexander KonovalovChristopher BrownPhilip W. TrinderHans-Wolfgang LoidlPeter HornDan Roozemond
Published in: J. Symb. Comput. (2013)
Keyphrases
  • imperative programs
  • automated deduction
  • software systems
  • software development
  • source code
  • lingua franca
  • structured data