Back to Results
First PageMeta Content
Applied mathematics / Models of computation / Programming language semantics / Logic in computer science / Denotational semantics / Abstract interpretation / Symbol / Partial evaluation / Interpretation / Theoretical computer science / Formal languages / Mathematics


On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract
Add to Reading List

Document Date: 2010-10-22 08:05:07

Open Document

File Size: 151,65 KB

Share Result on Facebook

City

Jones / Bondorf / /

Country

Netherlands / /

/

Facility

terminal F / Information Sciences Kansas State University / University of Copenhagen / terminal C / /

IndustryTerm

car l1 / particular algorithm / partial evaluation algorithm / particular partial evaluation algorithm / /

Organization

Department of Computing / University of Copenhagen / Computer Science Department / Stanford / Kansas State University / /

Person

Nat / Ellis Horwood / Carolyn Talcott / Olivier Danvy / Similix / Karoline Malmkjær / Samson Abramsky / Chris Hankin / /

Position

Self-Applicable Partial Evaluator / evaluator / particular partial evaluator / partial evaluator / actual partial evaluator / interpreter / /

ProvinceOrState

North Dakota / /

Technology

particular partial evaluation algorithm / partial evaluation algorithm / /

SocialTag