javaset: declarative programming in Java with sets

Authors:
G. Rossi;E. Poleo
Affiliations:
Università di Parma, Parma, Italy;Università di Parma, Parma, Italy
Venue:
Proceedings of the 1st conference on Computing frontiers
Year:
2004

Citing 5
Cited 0

Alma-O: an imperative language that supports declarative programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
Sets and constraint logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Oz Programming Model

JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Data Types in Subdefinite Models

AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
Integrating finite domain constraints and CLP with sets

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming

Quantified Score

Hi-index	0.01

Visualization

Abstract

In this paper we present a Java library---called JSetL---that offers a number of facilities to support declarative programming like 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 features of 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.