Search results for "Aldor"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
135	William Naylor, Julian A. Padget	From Untyped to Polymorphically Typed Objects in Mathematical Web Services.	MKM	2006	DBLP DOI BibTeX RDF
127	Thierry Gautier, Niklaus Mannhart	Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation.	Euro-Par	1999	DBLP DOI BibTeX RDF
92	Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie	Multiprocessed parallelism support in ALDOR on SMPs and multicores.	PASCO	2007	DBLP DOI BibTeX RDF	aldor, categorical parallelism, dynamic process management, multiprocessor parallelism, shared memory
90	Cosmin E. Oancea, Stephen M. Watt	Domains and expressions: an interface between two approaches to computer algebra.	ISSAC	2005	DBLP DOI BibTeX RDF
78	Akpodigha Filatei, Xin Li 0009, Marc Moreno Maza, Éric Schost	Implementation techniques for fast polynomial arithmetic in a high-level programming environment.	ISSAC	2006	DBLP DOI BibTeX RDF	Aldor, polynomials, high-performance, Axiom
73	Martin Dunstan	Larch/Aldor: a Larch BISL for AXIOM and Aldor.		2000	RDF
45	Cosmin E. Oancea, Stephen M. Watt	Parametric polymorphism for software component architectures.	OOPSLA	2005	DBLP DOI BibTeX RDF	antiunification, software component architecture, generics, templates, parametric polymorphism
45	Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton	Formal Methods for Extensions to CAS.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
36	Florian Rabe 0001, Stephen M. Watt	Extracting Theory Graphs from Aldor Libraries.	CICM	2023	DBLP DOI BibTeX RDF
36	Laurentiu Dragan, Stephen M. Watt	Type Specialization in Aldor.	CASC	2010	DBLP DOI BibTeX RDF
36	Erik Poll, Simon J. Thompson	Integrating Computer Algebra and Reasoning through the Type System of Aldor.	FroCoS	2000	DBLP DOI BibTeX RDF
23	Marc Moreno Maza, Yuzhen Xie	Component-level parallelization of triangular decompositions.	PASCO	2007	DBLP DOI BibTeX RDF	component-level, parallelization, triangular decompositions, polynomial system solving
23	Songxin Liang, David J. Jeffrey	Rule-Based Simplification in Vector-Product Spaces.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
23	Laurentiu Dragan, Stephen M. Watt	Performance Analysis of Generics in Scientific Computing.	SYNASC	2005	DBLP DOI BibTeX RDF

Displaying result #1 - #14 of 14 (100 per page; Change: )