Back to Results
First PageMeta Content
Mathematical logic / Models of computation / Logic in computer science / Computability theory / Formal methods / Continuation-passing style / Denotational semantics / De Bruijn notation / De Bruijn index / Theoretical computer science / Lambda calculus / Mathematics


Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed]
Add to Reading List

Document Date: 2007-07-30 10:00:27

Open Document

File Size: 193,11 KB

Share Result on Facebook

Company

SML.NET / /

Currency

pence / /

/

IndustryTerm

function applications / regular applications / type systems / semantic device / n-ary applications / data constructor applications / transformation algorithms / compilation device / /

Person

Zaynah Dargaye / Xavier Leroy / /

Position

Coq proof assistant / /

Product

Coq / Pentax K-x Digital Camera / /

ProgrammingLanguage

Haskell / C / ML / Standard ML of New Jersey / /

ProvinceOrState

New Jersey / /

Technology

functional programming / CPS transformation algorithms / /

SocialTag