This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- p
✦ LIBER ✦
TrapML — A metalanguage for transformational programming
✍ Scribed by Lingzi Jin
- Book ID
- 112948302
- Publisher
- Springer
- Year
- 1990
- Tongue
- English
- Weight
- 662 KB
- Volume
- 5
- Category
- Article
- ISSN
- 1000-9000
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
[Lecture Notes in Computer Science] Math
✍
Backhouse, Roland; Oliveira, José Nuno
📂
Article
📅
2000
🏛
Springer Berlin Heidelberg
🌐
English
⚖ 334 KB
[Lecture Notes in Computer Science] Math
✍
Backhouse, Roland; Oliveira, José Nuno
📂
Article
📅
2000
🏛
Springer Berlin Heidelberg
🌐
English
⚖ 334 KB
This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- p
A language for specifying program transf
✍
Hildum, D.; Cohen, J.
📂
Article
📅
1990
🏛
IEEE
🌐
English
⚖ 850 KB
A transformation program for normalizing
✍
John E. Langhorne, Jan Loney, Michael Hacker
📂
Article
📅
1978
🏛
Psychonomic Society Publications
🌐
English
⚖ 232 KB
Folding&g: a research program transforme
✍
José M. Vacas Peña; José R. Martı́nez Catalán
📂
Article
📅
2003
🏛
Elsevier Science
🌐
English
⚖ 560 KB
A New Criterion for Safe Program Transfo
✍
Yasuhiko Minamide; PRESTO
📂
Article
📅
2001
🏛
Elsevier Science
🌐
English
⚖ 165 KB