More Web Proxy on the site http://driver.im/

article

Free access

Object oriented method for Axiom

Author:

Jean-Louis BoulangerAuthors Info & Claims

ACM SIGPLAN Notices, Volume 30, Issue 2

Pages 33 - 41

https://doi.org/10.1145/199873.199879

Published: 01 February 1995 Publication History

Abstract

Axiom¹ is a very powerful computer algebra system which combines two languages paradigms (functional and OOP). Mathematical world is complex and mathematicien use abstraction to design it. This paper presents some aspects of the object oriented development in Axiom. The axiom programming is based on several new tools for object oriented development, it uses two levels of class and some operations such that coerce, retract or convert which permit the type evolution. These notions introduce the concept of inulti-view.

References

[1]

[1] Habib Abdulrab. De Common Lisp à la programmation objet. HERMES, 1990.

[2]

[2] Alfred Aho, Ravi Sethi, and Jeffrey Ullman. Compilers. Addison-Wesley Publishing Compagny, 1986.

[3]

[3] Riccardo Benedetti and Jean-Jacques Risler. Real algebraic and semi-algebraic sets. Hermann, éditeurs des sciences et des arts, 1992.

[4]

[4] Jean-Louis Boulanger. Etude de la compilation de scratchpad 2. Rapport de DEA Universite de lille 1, Septembre 1991.

[5]

[5] Jean-Louis Boulanger. Axiom, langage fonctionnel à développement objet. IT 255, Octobre 1993.

[6]

[6] Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computer Survey, December 1985.

Digital Library

[7]

Roland Ducournau and Michel Habib. La multiplicité de l'héritage dans les langages à objets. T.S.I Technique et Science Informatiques, 1989.

[8]

[8] Peter Henderson. Functional Programming. Prentice Hall International, 1985.

Digital Library

[9]

[9] C. Hankin H. Glaser and D. Till. Principes de Programmation Fonctionnelle. Masson, 1987.

[10]

[10] S.L Peyton Jones. Mise en oeuvre des langages fonctionnels de progmmmation. Masson, Prentice Hall, 1990.

[11]

[11] Michel Petitot. Types récursifs en scratchpad, application aux polynômes non commutatifs. LIFL, 1990.

[12]

[12] R.S Sutor R.D Jenk. AXIOM. NAG, 1992.

[13]

[13] R.S Sutor R.D Jenks. The type inference and coercion facilities. ACM, July 1987.

Digital Library

[14]

[14] S.M Watt R.D Jenks, R.S Sutor. Scratchpad 2: an abstract datatype system for mathematical computation. Computer Science, November 1986.

[15]

[15] S.M Watt R.D Jenks, R.S Sutor. Scratchpad 2 type system : Domains et subdomains. IBM Internal Report, 1987.

[16]

[16] J.C. Royer. Un modèle pour l'héritage multiple. BIGRE No 70, Septembre 1990.

[17]

[17] R.S Sutor. A guide to programming in the scratchpad 2 interpreter. IBM Manual, March 1988.

Cited By

Blinkov YGerdt V(2008)Specialized computer algebra system GINVProgramming and Computing Software10.1134/S036176880802009634:2(112-123)Online publication date: 1-Mar-2008
https://dl.acm.org/doi/10.1134/S0361768808020096
Grabmeier JKaltofen EWeispfenning V(2003)Cited ReferencesComputer algebra handbook10.5555/940131.940137(493-622)Online publication date: 1-Jan-2003
https://dl.acm.org/doi/10.5555/940131.940137
YAI TMITSUHATA FHIRATA TSHIRAHAMA Y(2002)MICROSCOPIC ASSESMENT SYSTEM OF TRAFFIC RELATED AIR POLLUTION交通に起因する大気環境のミクロ評価システムDoboku Gakkai Ronbunshu10.2208/jscej.2002.709_812002:709(81-94)Online publication date: 20-Jul-2002
https://doi.org/10.2208/jscej.2002.709_81
Show More Cited By

Index Terms

Object oriented method for Axiom
1. Computing methodologies
  1. Symbolic and algebraic manipulation
    1. Computer algebra systems
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Procedures, functions and subroutines
      2. Language types
        Functional languages
        Object oriented languages

Recommendations

Object oriented computing

The object oriented computing model is the prevailing programming paradigm of today; contemporary programming languages like Java or C# strictly require it-and thus the programmer has no other choice than object oriented computing. Object oriented ...
What Is Object-Oriented Programming?

The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...
Object-Oriented COBOL

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 30, Issue 2

Feb. 1995

60 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/199873

Editor:
Richard L. Wexelblat
IRS IS:AO, Washington, DC

Issue’s Table of Contents

Copyright © 1995 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 February 1995

Published in SIGPLAN Volume 30, Issue 2

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
207
Total Downloads

Downloads (Last 12 months)33
Downloads (Last 6 weeks)9

Reflects downloads up to 30 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Blinkov YGerdt V(2008)Specialized computer algebra system GINVProgramming and Computing Software10.1134/S036176880802009634:2(112-123)Online publication date: 1-Mar-2008
https://dl.acm.org/doi/10.1134/S0361768808020096
Grabmeier JKaltofen EWeispfenning V(2003)Cited ReferencesComputer algebra handbook10.5555/940131.940137(493-622)Online publication date: 1-Jan-2003
https://dl.acm.org/doi/10.5555/940131.940137
YAI TMITSUHATA FHIRATA TSHIRAHAMA Y(2002)MICROSCOPIC ASSESMENT SYSTEM OF TRAFFIC RELATED AIR POLLUTION交通に起因する大気環境のミクロ評価システムDoboku Gakkai Ronbunshu10.2208/jscej.2002.709_812002:709(81-94)Online publication date: 20-Jul-2002
https://doi.org/10.2208/jscej.2002.709_81
HORIGUCHI RONEYAMA H(2002)FUTURE DIRECTION FOR R&D ACTIVITIES OF TRAFFIC SIMULATION THROUGH THE ANALYSIS ON PRACTICAL APPLICATIONS IN JAPAN適用事例を通した交通シミュレーション利用実態の分析と利用促進への課題Doboku Gakkai Ronbunshu10.2208/jscej.2002.709_612002:709(61-69)Online publication date: 20-Jul-2002
https://doi.org/10.2208/jscej.2002.709_61
AKIYAMA TTSUCHIDA TOGAWA K(2002)CONSTRUCTION OF TRAFFIC SIMULATION MODEL ON URBAN EXPRESSWAY DESCRIBING INDIVIDUAL VEHICLES BEHAVIOUR個別車両挙動を考慮した都市高速道路の渋滞シミュレーションの構築Doboku Gakkai Ronbunshu10.2208/jscej.2002.702_1032002:702(103-115)Online publication date: 20-Apr-2002
https://doi.org/10.2208/jscej.2002.702_103
Hato ETaniguchi MSugie YKuwahara MMorita H(1998)ROUTE CHOICE MODEL CONSIDERING DRIVERS' INFORMATION ACQUISITION AND REFERENCE BEHAVIOR UNDER MULTIPLE TRAFFIC INFORMATION SOURCES複数交通情報リソース下における情報獲得・参照行動を考慮した経路選択モデルDoboku Gakkai Ronbunshu10.2208/jscej.1998.597_991998:597(99-111)Online publication date: 20-Jul-1998
https://doi.org/10.2208/jscej.1998.597_99
Oguchi TNato ETaniguchi MYoshii TKuwahara MMorita H(1998)SURVEY ON THE ACTUAL PHENOMENON ABOUT ROUTE CHOICE IN TOKYO METROPOLITAN EXPRESSWAY首都高速道路における経路選択行動に関する実態調査Doboku Gakkai Ronbunshu10.2208/jscej.1998.590_871998:590(87-95)Online publication date: 20-Apr-1998
https://doi.org/10.2208/jscej.1998.590_87
Inouye H(1997)DYNAMIC TRAFFIC SIMULATION METHOD OF CONGESTED NETWORK FLOW THROUGH CONTINUOUS FLUID MODEL連続流体モデルによる混雑したネットワーク交通流の動的シミュレーション手法Doboku Gakkai Ronbunshu10.2208/jscej.1997.569_851997:569(85-94)Online publication date: 20-Jul-1997
https://doi.org/10.2208/jscej.1997.569_85

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents