Publication | Open Access
Iris: design of an user interface program for symbolic algebra
16
Citations
1
References
1986
Year
Unknown Venue
EngineeringSoftware EngineeringSymbolic ComputationSoftware AnalysisFormal VerificationUser Interface ProgramSymbolic ManipulationAbstract InterpretationComputer EngineeringProgramming Language ImplementationComputer ScienceSoftware DesignSymbolic Algebra PackagesProgram AnalysisAutomated ReasoningFormal MethodsComputer AlgebraSymbolic AlgebraSymbolic ExecutionSystem SoftwareInterface Program
We present the design of a user interface program that can be used with Maple and other symbolic algebra packages. Through the use of a standard communications protocol to such a program, symbolic algebra packages can shed the bulk of code not directly related to algebraic manipulations but can still use the facilities of a powerful user interface. This interface program is designed to be used on a variety of workstations in a consistent fashion.
| Year | Citations | |
|---|---|---|
Page 1
Page 1