Back to Results
First PageMeta Content
Logic in computer science / Functions and mappings / Recursion / Standard ML / FP / Type system / Denotational semantics / Combinatory logic / Expression / Software engineering / Programming language theory / Computing


Safe|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS
Add to Reading List

Document Date: 2014-08-19 20:08:15

Open Document

File Size: 225,74 KB

Share Result on Facebook

Company

IBM / /

/

Facility

Errors ALEXANDER AIKEN University of California / University of California / Soda Hall / /

IndustryTerm

language processor / source-to-source program transformation systems / /

Organization

Computer Science Division / University of California / Berkeley / FL FL / /

Person

Alexander Aiken / EDWARD L. WIMMERS / JOHN H. WILLIAMS / /

/

Position

language designer / Optimization General / rst author / Harper / interpreter / programmer / /

ProgrammingLanguage

Haskell / FL / FP / Common Lisp / Standard ML / Fortran / /

ProvinceOrState

Florida / New Brunswick / California / /

Technology

dom / language processor / /

SocialTag