'2017/09'에 해당되는 글 1건

  1. 2017.09.11 소프트웨어 기초(Software Foundations)

소프트웨어 기초 (Software Foundations) 번역


 - http://swlab.jnu.ac.kr/wordpress/2017/08/22/software-foundations-with-coq/


 - 2017년 9월 대학원 강의로 소프트웨어 기초를 진행하면서 번역한 것을 위 웹 주소에 올려놓았습니다.



[ 교재 ]


New volumes : Vol 1. Logical Foundations, Vol 2. Programming Language Foundations

- https://softwarefoundations.cis.upenn.edu/


[ 강의 로드맵 ]


Vol 1. Logical Foundations : Preface 

Vol 1. Logical Foundations : Functional Programming in Coq (Basics)

Vol 1. Logical Foundations : Proof by Induction (Induction)

Vol 1. Logical Foundations : Working with Structured Data (Lists)

Vol 1. Logical Foundations : Polymorphism and Higher-Order Functions (Poly)

Vol 1. Logical Foundations : Logic in Coq (Logic)

Vol 1. Logical Foundations : Inductive Defined Propositions (IndProp)

Vol 1. Logical Foundations : Simple Imperative Programs (Imp)

Vol 2. Programming Language Foundations : Program Equivalence (Equiv)

Vol 2. Programming Language Foundations : Hoare Logic, Part I (Hoare)




저작자 표시 비영리 변경 금지
신고
Posted by lazyswamp Trackback 0 : Comment 0


티스토리 툴바