GitHub - ychtao/Toy-Language-Address: A formalization of Separation Logic under 3 different programming languages. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 63 Commits
1-Naive		1-Naive
2-FP		2-FP
3-Concurrency		3-Concurrency
qinxiang-unifysl		qinxiang-unifysl
.Makefile.d		.Makefile.d
.gitattributes		.gitattributes
.gitignore		.gitignore
CONFIGURE		CONFIGURE
Makefile		Makefile
Makefile.conf		Makefile.conf
_CoqProject		_CoqProject
temp.txt		temp.txt

About

A formalization of Separation Logic under 3 different programming languages.

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages