Object oriented institutions to specify symbolic computation systems-Reference-Cited by-同舟云学术

Object oriented institutions to specify symbolic computation systems

Published:2007-04 Issue:2 Volume:41 Page:191-214
ISSN:0988-3754
Container-title:RAIRO - Theoretical Informatics and Applications
language:
Short-container-title:RAIRO-Theor. Inf. Appl.

Author:

Domínguez César,Lambán Laureano,Rubio Julio

Publisher

EDP Sciences

Subject

Computer Science Applications,General Mathematics,Software

Link

http://www.rairo-ita.org/10.1051/ita:2007015/pdf

Reference28 articles.

1. M. Barr and Ch. Wells,Category Theory for Computer Science. Prentice Hall International (1995).

2. M. Bidoit and R. Hennicker,Constructor-based observational logic. Technical Report LSV-03-9, Lab. Specification et Verification, ENS de Cachan, Cachan, France (2003).

3. R.M. Burstall, R. Diaconescu,Hiding and behaviour: an institutional approach, in A Classical Mind: Essays in Honour of C.A.R. Hoare, edited by A. William Roscoe. Prentice-Hall, Englewood Cliffs, NJ (1994) 75–92.

4. A unified-algebra-based specification language for symbolic computing

5. Unified domains and abstract computational structures

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalization of a normalization theorem in simplicial topology;Annals of Mathematics and Artificial Intelligence;2012-01

2. A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW;International Journal of Foundations of Computer Science;2012-01

3. Effective homology of bicomplexes, formalized in Coq;Theoretical Computer Science;2011-03

4. A case-study in algebraic manipulation using mechanized reasoning tools;International Journal of Computer Mathematics;2010-07

5. Diagrammatic logic applied to a parameterisation process;Mathematical Structures in Computer Science;2010-06-24