|
|||||
|
|
Program algebra for sequential code |
|
| Authors: | J. A. Bergstra M. E. Loots |
| Affiliation: | a Programming Research Group, Faculty of Science, University of Amsterdam, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands;b Applied Logic Group, Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, The Netherlands |
| Abstract: | |
| Keywords: | Program algebra Projection semantics Behavior extraction |
| 本文献已被 ScienceDirect 等数据库收录！ | |