Titlebook: Design and Implementation of Symbolic Computation Systems; International Sympos Jacques Calmet,Carla Limongelli Conference proceedings 1996

MULTI

Exploiting SML for experimenting with algebraic algorithms: The example of ,-adic lifting,special application of the .-adic lifting technique, the Hensel algorithm, that is utilized in a symbolic but also numeric context. This experiment demonstrates that SML provides a suitable frame for the implementation of abstract algebraic notions together with the possibility to code related algor

Homocystinuria

Conditional categories and domains,ies and Domains may contain conditionals in their bodies, which are elaborated by our compiler by techniques used in standard typing. We define an appropriate calculus and discuss its properties. Examples inspired by the Axiom library illustrate the power of our approach and its application in const

Gastric

Parameterizing object specifications,o describe the part of the world to be modeled as an object community of concurrently existing and communicating objects. Our proposal for parameter passing works well on the syntactical level by means of a pushout construction. On the semantic level we use free constructions and corresponding forge

asthma

Analyzing the dynamics of a Z specification,hemical metaphor is given to Z. Then, some Unity-like temporal logic constructs are defined on such a formal operational semantics in order to allow the specification and analysis of dynamic and temporal properties of concurrent systems, such as safety and liveness properties.

analogous

Glucose

Integer and rational arithmetic on masPar, one obtains linear speed-up (up to 29 times), using a serial-parallel scheme. A two-dimensional algorithm for multiplication of polynomials gives half-linear speed-up (up to 383 times). We also implement multiprecision rational arithmetic using known systolic algorithms for addition and multiplicat

intrude

genuine

A master-slave approach to parallel term rewriting on a hierarchical multiprocessor,ept integrates distributed search parallelism on the network, based on a master-slave approach, with the parallel execution of each search on a multiprocessor. Both levels of parallelism are realized by a uniform fork /join paradigm using multi-threading. In many of our examples we are able to combi

Regurgitation

myriad

Document-centered presentation of computing software: Compound documents are better workspaces,ematical software into components, and the direct manipulation of workspaces is an improvement over name bindings. Further, document parts can act as placeholders for upcoming results. Viewing document parts within a textual context allows scripting within documents.