Stratego Program Transformation Language
2013-10-05 FTP available via HTTP All the material of the ftp directory of strategoxt.org, including all historic releases of Stratego and Stratego/XT are now also available via HTTP: http://ftp.strategoxt.org/ Spoofax 1.1 released We are happy to announce the release of Spoofax 1.1! This is the first major release since version 1.0.2 and includes major features and improvements. Spoofax 1.1 suppo
The Maude System
General Maude Information Maude Overview The Maude Project and Team Rewriting Logic Bug Reports and Mailing Lists Maude Documentation Maude Manual and Examples Some Papers on Maude and on Rewriting Logic Maude-related Tools and Applications Maude Tools Applications Obtaining and Using Maude Maude download and installation (Maude 3.3.1) Maude 3 License All Maude 3 versions All Maude 2 versions Look
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Jane Hillston
The SwitchWare Project
Main Page - Tom
Alberto Verdejo
Rewriting Home Page
ELAN Home Page
Department of Computing | Faculty of Engineering | Imperial College London
Stratego Program Transformation Language)
CS477/ECE478 - Formal Software Development Methods (Spring 2007) - FSL
http://formal.cs.uiuc.edu/stehr/
https://dl.acm.org/toc.cfm?id=633559&type=issue&coll=GUIDE&dl=GUIDE&CFID=26347511&CFTOKEN=34040300
Prof. José Meseguer
CS476 Program Verification
funhdl.org
http://gureni.cs.uiuc.edu/~grosu/classes/2003/fall/cs322/
Executable Semantic Framework
f-zipper-with-pipe-forward
Internet Computing - Contents