Back to Results
First PageMeta Content
Theoretical computer science / Formal languages / Parsing / Recursion / Model theory / Attribute grammar / First-order logic / Map / Continuation-passing style / Software engineering / Computing / Computer programming


Formalizing Semantics with an Automatic Program Verifier? Martin Clochard1,2,3 , Jean-Christophe Filliˆatre2,3 , Claude March´e3,2 , and Andrei Paskevich2,3 2
Add to Reading List

Document Date: 2014-09-28 14:20:41

Open Document

File Size: 331,41 KB

Share Result on Facebook

City

Paris / /

Country

France / /

IndustryTerm

functional applications / Partial applications / /

Organization

Ecole Normale Sup´erieure / French national research organization / F-75005 Lab. / /

Person

Claude March / Jean-Christophe Filli / /

Position

proof assistant / CPS-transformed interpreter / interpreter / De-functionalized interpreter / /

ProgrammingLanguage

C / JavaScript / Java / /

Technology

functional programming / virtual machine / http / operating system / html / Java / /

URL

http /

SocialTag