Extending the Sparkle Core language with object abstraction

Tejfel Máté; Horváth Zoltán; Kozsik Tamás: Extending the Sparkle Core language with object abstraction. In: Acta cybernetica, (17) 2. pp. 419-445. (2005)

Előnézet

Cikk, tanulmány, mű Tejfel_2005_ActaCybernetica.pdf Letöltés (225kB) | Előnézet

Absztrakt (kivonat)

Sparkle is a theorem prover specially constructed for the functional programming language Clean. In a pure functional language like Clean the variables represent constant values; variables do not change in time. Hence it seems that temporality has no meaning in functional programs. However, in certain cases (e.g. in interactive or distributed programs, or in ones that use I/O), a series of values computed from one another can be considered as different states of the same "abstract object". For this abstract object temporal properties can be proved. This paper presents a method to describe abstract objects and invariant properties in an extended version of the Sparkle Core language. The creation of such descriptions will be supported by a refactoring tool. The descriptions are completely machine processible, and provide a way to automatize the proof of temporal properties of Clean programs with the extended Sparkle system.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2005
Kötet:	17
Szám:	2
ISSN:	0324-721X
Oldalak:	pp. 419-445
Nyelv:	angol
Kiadás helye:	Szeged
Konferencia neve:	Conference for PhD Students in Computer Science (4.) (2004) (Szeged)
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38520/
Kulcsszavak:	Számítástechnika, Kibernetika
Megjegyzések:	Bibliogr.: p. 436-438. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2016. okt. 15. 12:25
Utolsó módosítás:	2022. jún. 15. 12:56
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12774

Bővebben:

Tétel nézet