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.
2007
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]
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11381/1509416
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? 6
social impact