In this paper we present a Java library - called JSetL - that offers a number of facilities to support declarative programming such as those usually found in logic or functional declarative languages: logical variables, list and set data structures (possibly partially specified), unification and constraint solving over sets, nondeterminism. The paper describes the main featuresof JSetL and it shows, through a number of simple examples, how these features can be exploited to support a real declarative programming style in Java.
JSetL: a Java Library for Supporting Declarative Programming in Java / Rossi, Gianfranco; Panegai, Elio; Poleo, E.. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 37:(2007), pp. 115-149. [10.1002/spe.749]
JSetL: a Java Library for Supporting Declarative Programming in Java
ROSSI, Gianfranco;PANEGAI, Elio;
2007-01-01
Abstract
In this paper we present a Java library - called JSetL - that offers a number of facilities to support declarative programming such as those usually found in logic or functional declarative languages: logical variables, list and set data structures (possibly partially specified), unification and constraint solving over sets, nondeterminism. The paper describes the main featuresof JSetL and it shows, through a number of simple examples, how these features can be exploited to support a real declarative programming style in Java.File | Dimensione | Formato | |
---|---|---|---|
reprint_SPE07.pdf
non disponibili
Tipologia:
Documento in Post-print
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
320.4 kB
Formato
Adobe PDF
|
320.4 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.