PaperMetrixEvidence-aware discovery
TR
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Gianfranco Rossi

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. Nondeterministic Programming in Java with JSetL

    2015 · Fundamenta Informaticae

    JSetL is a Java library that endows Java with a number of facilities that are intended to support declarative and constraint (logic) programming. In this paper we show how JSetL can be used to support …

  2. Integrating Cardinality Constraints into Constraint Logic Programming with Sets

    2021 · Theory and Practice of Logic Programming

    Abstract Formal reasoning about finite sets and cardinality is important for many applications, including software verification, where very often one needs to reason about the size of a given data structure. The Constraint Logic Programming …