Hoon Hong, Wolfgang Schreiner  Home/Search
Context Related
| risc.unilinz.ac.at...reportmain.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: risc.unilinz.ac.at/projects/b... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A functor is a parameterized program module i.e. a function that takes modules as arguments and returns a module as its result. A higher-order functor deals in the same way with modules whose components are functors themselves. We propose to develop a generic compilation system for the construction of high-performance mathematical software libraries for scientific and technical application domains. This system has the following features: 1. It is based on a powerful higher-order functor... (Update)
Context of citations to this paper: More
...interface and or runtime behavior. Following the long term goal of designing a higher order functor language (see Figure 1 and also [Hong and Schreiner, 1996], Stocher, 1995] all types are abstracted via a consistent interface and still can be efficiently implemented: ffl we...
Cited by: More
Denotational Semantics of a Procedural and a Functional Core.. - Stoecher (1996) (Correct)
Active bibliography (related documents): More All
3.4: HPGP: High-Performance Generic Programming for Computational.. - Hong, Schreiner (1996) (Correct)
0.6: A Generic Programming Environment for.. - Schreiner.. (1998) (Correct)
0.5: A Modular Module System - Leroy (1996) (Correct)
Similar documents based on text: More All
0.6: HPGP Project Structure and Work Plan - Schreiner (1996) (Correct)
0.6: Packages - Concepts and Use - Schreiner (Correct)
0.5: Cora - A Core Language - Landerl, Stöcher (1996) (Correct)
BibTeX entry: (Update)
Hong, H. and Schreiner, W. (1996). HPGP - High-Performance Generic Programming for Computational Mathematics by Compile-Time Instantiation of Higher-Order Functors. RISC Technical Report Series 96-10, RISC-Linz, Research Institute for Symbolic Computation, Johannes Kepler University, A-4040 Linz (Austria). http://citeseer.ist.psu.edu/article/hong97hpgp.html More
@techreport{ hong96hpgp,
author = "Wolfgang {SCHREINER} Hoon {HONG}",
title = "{HPGP: High Performance Generic Programming for Computational Mathematics by Compile-Time Instantiation of Higher Order Functors}",
number = "96-10",
address = "Johannes Kepler University, Linz, Austria",
year = "1996",
url = "citeseer.ist.psu.edu/article/hong97hpgp.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1988
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
1002 Programming Language (context) - Stroustrup - 1991
982 Theoretical Computer Science (context) - Girard - 1987
484 Common Lisp: The Language (context) - Jr - 1984
476 Programming Language (context) - Kernighan, Ritchie - 1988
375 LEDA: A Platform for Combinatorial and Geometric Computing - Mehlhorn, Naher - 1995
342 Eiffel: The Language (context) - Meyer - 1991
296 Free Software Foundation (context) - Stallman, porting et al. - 1992
287 Mathematica: A System for Doing Mathematics by Computer (context) - Wolfram - 1991
215 A Type-Theoretic Approach to Higher-Order Modules with Shari.. - Harper, Lillibridge - 1994
190 How to Make ad hoc Polymorphism Less ad hoc - Wadler, Blott - 1989
180 LINPACK User's Guide (context) - Dongarra, Bunch et al. - 1978
175 Inheritance is not Subtyping (context) - Cook, Hill et al. - 1990
159 Language Reference Manual (context) - Char, Geddes et al. - 1991
155 Society for Industrial and Applied Mathematics (context) - Anderson, Bai et al. - 1995
139 Recursive Functions of Symbolic Expressions and their Comput.. - McCarthy - 1960
128 On Understanding Types (context) - Cardelli, Wegner - 1985
127 Systems Programming with Modula (context) - Nelson - 1991
121 HigherOrder Modules and the Phase Distinction - Harper, Mitchell et al. - 1990
106 The Categorical Abstract Machine (context) - Cousineau, Curien et al. - 1985
98 Using Dependent TYpes to Express Modular Structures - MacQueen - 1986
83 Modules for Standard ML - MacQueen - 1984
82 Principles of OBJ (context) - Futatsugi, Goguen et al. - 1985
81 A Proposal for Standard ML (context) - Milner - 1984
80 Programming in Ada (context) - Barnes - 1994
73 Is There a Use for Linear Logic (context) - Wadler - 1991
70 The Design and Evolution of C (context) - Stroustrup - 1994
69 Compiling Lazy Functional Languages (context) - Johnsson - 1987
65 A Semantics for HigherOrder Functors - MacQueen, Tofte - 1994
60 AXIOM --- The Scientific Computation System (context) - Jenks, Sutor - 1992
42 The Structure of Typed Programming Languages (context) - Schmidt - 1994
36 Compiling Lazy Functional Languages (context) - Augustsson - 1987
34 Type Classes for Haskell - Hall, Hammond et al. - 1994
34 Separate Compilation for Standard ML - Appel, MacQueen - 1994
32 Logical Foundations of Functional Programming (context) - Huet - 1990
31 Principal Signatures for Higher-Order Program Modules - Tofte - 1992
30 Texts and Monographs in Computer Science (context) - Wirth, Modula- - 1985
23 A Critique of Standard ML - Appel - 1993
22 Use-Once' Variables and Linear Objects --- Storage Managemen.. (context) - Baker - 1995
17 Algorithm Design and Software Libraries: Recent Developments.. - Mehlhorn, Naher - 1992
15 and Kristen Nygaard (context) - Birtwistle, Dahl et al. - 1979
14 Department of Computing Science (context) - Jones, Wadler et al. - 1991
12 The Scratchpad II Type System: Domains and Subdomains (context) - Watt, Jenks et al. - 1988
11 Mitchell and Robert Harper (context) - John - 1988
10 A Proposal to Study Type Systems for Computer Algebra - Baumgartner, Stansifer - 1990
10 A Type System for Computer Algebra - Santas - 1993
9 A Para-Functional Programming Interface for a Parallel Compu.. - Schreiner - 1994
8 Implementing Signatures for C - Baumgartner, Russo - 1994
8 GR OBNER: A Library for Computing Grobner Bases based on SAC.. (context) - Windsteiger, Buchberger - 1993
8 Technical Report CSL (context) - Goguen, Winkler - 1988
8 CASA: A Computer Algebra Package for Constructive Algebraic .. (context) - Gebauer, Wall et al. - 1991
7 The STURM Library Manual --- A C++ Library for Symbolic Comp.. (context) - Hong, Neubacher et al. - 1994
6 Implementing Haskell Type Classes (context) - Hammond, Blott - 1989
6 Grobner Bases in Mathematica: Enthusiasm and Frustation (context) - Buchberger - 1991
6 The Semantics of Extended ML: A Gentle Introduction (context) - Kahrs, Sannella et al. - 1993
5 Technical Report CS-TR (context) - Shao, Andrew et al. - 1993
5 and Herbert Vielhaber (context) - Buchberger, Collins et al. - 1992
5 The Weyl Computer Algebra Substrate (context) - Zippel - 1993
4 Introduction to Polymorphic Lambda Calculus - Reynolds - 1990
4 CASA Reference Manual (context) - Mnuk, Wall et al. - 1995
4 REDUCE --- Software for Algebraic Computation (context) - Rayna - 1987
4 Parallel Functional Programming for Computer Algebra (context) - Schreiner - 1994
4 A Technical Summary (context) - Taft - 1992
3 Introduction to Abstract Data Types Using Ada (context) - Bruce - 1994
3 An Implementation of Grobner Bases in Mathematica (context) - Buchberger - 1990
3 Application of a Para-Functional Language to Problems in Com.. - Schreiner - 1995
3 Lessons from the Design of a Standard ML Library (context) - Berry - 1993
2 Constructive Algebraic Geometry with CASA (context) - Winkler - 1993
2 Using GR OBNER as (context) - Windsteiger - 1993
2 volume 854 of Lecture Notes in Computer Science (context) - Buchberger, Volkert et al. - 1994
2 An Approach to Object-Oriented Programming in C - Windsteiger - 1990
2 An Implementation of Higher Order Functors - Cregut, MacQueen - 1994
2 CASA: Computer Algebra Software for Constructive Algebraic G.. (context) - Wall - 1991
2 Reference Manual for the Ada Programming Language (context) - Standard - 1983
2 A Natural Dynamic Semantics for Haskell (context) - Hammond, Hall - 1991
2 On Coeherence in Computer Algebra (context) - Weber - 1993
2 The Numerical Algorithms Group (context) - Watt, Broadbery et al. - 1994
1 Classes for Computer Algebra (context) - of - 1993
1 Rendezvouz with Ada (context) - Naiditch - 1995
1 Formal Definition of the Ada Programming Language (context) - Kahn - 1980
1 the STURM Library. STURM Project Internal Note STURM (context) - Caprotti, Hong et al. - 1994
1 Laboratory for Computer Science (context) - Sannella, Tarlecki et al. - 1991
1 International Symposium on Symbolic and Algebraic Computatio.. (context) - Buchberger, EUROCAL et al. - 1985
1 the STURM Library. STURM Project Internal Note STURM (context) - Akerkar, Tcherkasov et al. - 1994
1 International Symposium on the Design and Implementation of .. (context) - Miola, DISCO et al. - 1993
1 A Geometry Theorem Proving Package in SCRATCHPAD II (context) - Heinzelreiter, Kusche et al. - 1987
1 Semantics of Object-Oriented Programming Languages (context) - Gunter, Mitchell - 1993
1 The Scratchpad II Computer Algebra System -- Interactive Env.. (context) - Group, Department et al. - 1988
1 Laboratory for Computer Science (context) - Kahrs, Sannella et al. - 1994
1 PASCO 94 International Symposium on Parallel Symbolic Comput.. (context) - Hong - 1994
Documents on the same site (http://www.risc.uni-linz.ac.at/projects/basic/hpgp/reports/): More
Ida - The Implementation Language - Landerl (Correct)
The Design of Mona Specifications Hierarchy - Marin (1997) (Correct)
Denotational Semantics of a Procedural and a Functional Core.. - Stoecher (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC