/λ/ - DeepSpec

Name
Email
Subject	Spoiler Image
Comment formatting options
File
Password	(For file deletion.)

File: 1497311520700.png (458.45 KB, 2220x1486, deepspec.png)

DeepSpec Unsigned 2017/06/12 (Mon) 23:52:00 No.219

https://deepspec.org/main
The goals of the DeepSpec project are to develop systems for specifying software, to stitch together existing systems, and to design a curriculum to teach software specification.

Here is a talk by Benjamin Pierce about these ideas: https://www.youtube.com/watch?v=IPNdsnRWBkk
He discusses the DeepSpec project about 47 minutes in.

Relevant reading:
>Software Foundations (to be split into two volumes)
https://softwarefoundations.cis.upenn.edu/current/index.html
>Verified Functional Algorithms
https://www.cs.princeton.edu/~appel/vfa/

I'll be attending the first week of the summer school in July. Anyone else?
https://deepspec.org/event/dsss17/announcement.html

J. F. Sebastian 2017/06/13 (Tue) 15:40:14 No.222

That's a little out of my… depth. But Software Foundations looks interesting. I might give Coq a try.

Unnamed 2017/06/13 (Tue) 20:38:08 No.230

File: 1497386288400.png (1.95 MB, 2508x3541, 1452714954245.png)

I wish I could go but I'm on a different continent. I really want to learn Coq though, is Software Foundations a good place to start?

Cereal Killer 2017/06/14 (Wed) 22:38:38 No.246

>>230
SF is currently the best way to start. It's appropriate for total beginners, but experience with a functional language like ML is helpful.

Cereal Killer 2017/06/15 (Thu) 19:55:58 No.251

>>246
What about mathematics? I was never very good with proofs.

Rachael 2017/06/16 (Fri) 22:37:09 No.258

>>251
I'd say SF is mostly accessible to someone with a high school education. The math is mostly discrete math. Any introductory textbook (or Wikipedia) should suffice. Later on SF deals with some type theory. Understanding Coq itself is the hardest part until the IndProp section.

Masami Eiri 2017/07/21 (Fri) 15:40:32 No.433

How was the summer school, OP?