Sciweavers

468 search results - page 1 / 94
» Towards an Implementation of a Computer Algebra System in a ...
Sort
View
AISC
2008
Springer
13 years 6 months ago
Towards an Implementation of a Computer Algebra System in a Functional Language
This paper discusses the pros and cons of using a functional language for implementing a computer algebra system. The contributions of the paper are twofold. Firstly, we discuss so...
Oleg Lobachev, Rita Loogen
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
13 years 10 months ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
SACMAT
2004
ACM
13 years 10 months ago
Towards a credential-based implementation of compound access control policies
We describe a layered approach to access control for distributed and interoperable computing systems. Firstly, compound access control policies are conceptually specified, using ...
Joachim Biskup, Sandra Wortmann
ENTCS
2006
114views more  ENTCS 2006»
13 years 4 months ago
Towards Efficient, Typed LR Parsers
The LR parser generators that are bundled with many functional programming language implementations produce code that is untyped, needlessly inefficient, or both. We show that, us...
François Pottier, Yann Régis-Gianas
ISSAC
2005
Springer
94views Mathematics» more  ISSAC 2005»
13 years 10 months ago
Domains and expressions: an interface between two approaches to computer algebra
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
Cosmin E. Oancea, Stephen M. Watt