Communications of the ACM · 1971 · 56 citations · 2 references
Numerical AnalysisEngineeringCompiler TechnologyComputational ComplexityRational FunctionsSoftware AnalysisFormal VerificationSymbolic ComputationAltran SystemValidated NumericsMachine DependenceParallel ComputingSymbolic ManipulationSeveral VariablesComputer EngineeringComputer ScienceFunctional ProgrammingProgram AnalysisFormal MethodsComputer AlgebraAlgebraic MethodParallel ProgrammingSymbolic Execution
Altran is a complete system for symbolic computation with rational functions in several variables with integer coefficients. It has been designed and implemented to handle large problems with ease and efficiency. Considerable effort has been spent to ensure a minimum amount of machine dependence in the implementation, thus permitting the system to be installed quickly and easily on a variety of computing machines. In this paper a brief description of the language, run time data structures, and implementation is given.
2
Warren S. Brown, J. P. Hyde, B. A. Tague · Bell System Technical Journal · 1964 · 34 citations
Mathematical Programming, Several Variables, Real Data Type +9