ABSTRACT SPECIFICATION OF STRUCTURES AND METHODS IN SYMBOLIC MATHEMATICAL COMPUTATION

被引：3
|
作者：
LIMONGELLI, C
TEMPERINI, M
机构：
[1] UNIV ROME LA SAPIENZA,DIPARTIMENTO INFORMAT & SISTEMIST,I-00185 ROME,ITALY
[2] CNR,IASI,I-00185 ROME,ITALY
来源：
THEORETICAL COMPUTER SCIENCE | 1992年 / 104卷 / 01期
关键词：
D O I：
10.1016/0304-3975(92)90167-E
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper describes a methodology based on the object-oriented programming paradigm, to support the design and implementation of a symbolic computation system. The requirements of the system are related to the specification and treatment of mathematical structures. This treatment is considered from both the numerical and the symbolic points of view. The resulting programming system should be able to support the formal definition of mathematical data structures and methods at their highest level of abstraction, to perform computations on instances created from such definitions, and to handle abstract data structures through the manipulation of their logical properties. Particular consideration is given to the correctness aspects. Some examples of convenient application of the proposed design methodology are presented.
引用
收藏
页码：89 / 107
页数：19
相关论文
共 50 条
  • [31] Mathematical Methods and Symbolic Calculation in Chemistry and Chemical Biology - Introduction
    Harris, FE
    [J]. INTERNATIONAL JOURNAL OF QUANTUM CHEMISTRY, 2006, 106 (01) : 1 - 2
  • [32] GRAPH GRAMMAR BASED SPECIFICATION OF INTERCONNECTION STRUCTURES FOR MASSIVELY PARALLEL COMPUTATION
    BAILEY, DA
    CUNY, JE
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 291 : 73 - 85
  • [33] Application of Symbolic Computation Methods for Investigation of Stationary Motions of an Axisymmetric Satellite
    S. A. Gutnik
    V. A. Sarychev
    [J]. Programming and Computer Software, 2018, 44 : 94 - 99
  • [34] Specification Extraction by Symbolic Execution
    Pichler, Josef
    [J]. 2013 20TH WORKING CONFERENCE ON REVERSE ENGINEERING (WCRE), 2013, : 462 - 466
  • [35] Symbolic regression for better specification
    Tsionas, Mike G.
    Assaf, A. George
    [J]. INTERNATIONAL JOURNAL OF HOSPITALITY MANAGEMENT, 2020, 91
  • [36] Application of Symbolic Computation Methods for Investigation of Stationary Motions of an Axisymmetric Satellite
    Gutnik, S. A.
    Sarychev, V. A.
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2018, 44 (02) : 94 - 99
  • [37] Computation of minimal counterexamples by using Black Box techniques and symbolic methods
    Nopper, Tobias
    Scholl, Christoph
    Becker, Bernd
    [J]. IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS, VOLS 1 AND 2, 2007, : 273 - 280
  • [38] Abstract specification theory: An overview
    Tarlecki, A
    [J]. MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE, 2003, 191 : 43 - 79
  • [39] GPU performance analysis for viscoacoustic wave equations using fast stencil computation from the symbolic specification
    Jesus, Laue
    Nogueira, Peterson
    Speglich, Joao
    Boratto, Murilo
    [J]. JOURNAL OF SUPERCOMPUTING, 2023, 79 (12): : 12853 - 12868
  • [40] Symbolic WCET Computation
    Ballabriga, Clement
    Forget, Julien
    Lipari, Giuseppe
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2018, 17 (02)
12345