Back to Results
First PageMeta Content
Functional languages / Procedural programming languages / Lambda calculus / Cross-platform software / Maple / Maplesoft / Partial evaluation / Fixed-point combinator / ALGOL 68 / Software engineering / Computing / Computer programming


Partial Evaluation of Maple ∗ Jacques Carette Department of Computing and Software
Add to Reading List

Document Date: 2006-10-31 15:12:33

Open Document

File Size: 244,32 KB

Share Result on Facebook

City

New York / Iwanami Shoten / /

Company

Springer-Verlag New York Inc. / Cambridge University Press / Prentice Hall International(UK) Limited / Waterloo Maple Inc. / /

Country

Japan / United States / /

/

Facility

Software McMaster University / Stanford University / University of Copenhagen / Maple library / /

IndustryTerm

statement specialization algorithm / online approach / syntax-directed online setting / online partial evaluators / online cogen approach / parametric linear systems / parameterized in-place quicksort algorithm / online environment / depth-first online specialization strategy / parametric algorithms / specialization algorithm / Online Environment Partial evaluation / online methods / online and offline partial evaluation / fancy parameter processing primitives / online imperative setting / online partial evaluation / online strategies / linear search / /

Organization

Cambridge University / McMaster University / Jacques Carette Department of Computing / Stanford University / US Federal Reserve / University of Copenhagen / /

Person

Michael Kucera / Jacques Carette / /

Position

partial evaluator for Maple / FromM translator / working partial evaluator / translator / online partial evaluator / syntax-directed online partial evaluator / partial evaluator / Partial Evaluation General / first author / Maple interpreter / MATLAB partial evaluator / mathematical assistant / function-point polyvariant partial evaluator / interpreter / /

Product

Hyun Won US2 Portable Audio Device / /

ProgrammingLanguage

Haskell / MATLAB / Fortran / Java / Fortran 77 / C / Python / C++ / /

ProvinceOrState

Prince Edward Island / New York / Ontario / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /

SportsLeague

Stanford University / /

Technology

functional programming / Java / parameterized in-place quicksort algorithm / statement specialization algorithm / Code Specialization Algorithm The specialization algorithm / /

SocialTag