W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3657| Tytuł: | Program Algebra over an Algebra |
| Autorzy: | Bancerek, Grzegorz |
| Data wydania: | 2012 |
| Data dodania: | 6-gru-2015 |
| Wydawca: | De Gruyter Open |
| Źródło: | Formalized Mathematics, Volume 20, Issue 4, 2012, Pages 309-341 |
| Abstrakt: | We introduce an algebra with free variables, an algebra with undefined values, a program algebra over a term algebra, an algebra with integers, and an algebra with arrays. Program algebra is defined as universal algebra with assignments. Programs depend on the set of generators with supporting variables and supporting terms which determine the value of free variables in the next state. The execution of a program is changing state according to successor function using supporting terms. |
| Afiliacja: | Faculty of Computer Science, Białystok Technical University, Wiejska 45A, 15-351 Białystok, Poland |
| Sponsorzy: | This work has been supported by the Polish Ministry of Science and Higher Education project “Managing a Large Repository of Computer-verified Mathematical Knowledge” (N N519 385136). |
| URI: | http://hdl.handle.net/11320/3657 |
| DOI: | 10.2478/v10037-012-0037-6 |
| ISSN: | 1426-2630 1898-9934 |
| Typ Dokumentu: | Article |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2012, Volume 20, Issue 4 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| v10037-012-0037-6.pdf | 389,52 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
