Back to Results
First PageMeta Content
Data types / Functional programming / Functional languages / Procedural programming languages / Lisp programming language / ATS / Fold / Append / ML / Software engineering / Computing / Computer programming


A Programmer-Centric Approach to Program Verification in ATS∗ Zhiqiang Ren1 and Hongwei Xi1 1 2
Add to Reading List

Document Date: 2013-10-14 02:11:12

Open Document

File Size: 199,34 KB

Share Result on Facebook

City

ORD / PERM / /

Country

United States / /

Currency

ATS / /

/

Facility

Boston University / /

IndustryTerm

software system / software construction / theorem-proving systems / on-line examples / software specification / software testing / software systems / /

NaturalFeature

Krakatoa / /

Organization

National Science Foundation / Boston University / Boston / /

Position

advocate / programmer at the center / programmer / Coq proof assistant / /

ProgrammingLanguage

C / Java / L / /

ProvinceOrState

Massachusetts / /

Technology

Java / /

URL

http /

SocialTag