BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × India
1 × Italy
1 × Spain
1 × Sweden
2 × France
2 × United Kingdom
3 × USA
Collaborated with:
A.Dovier E.Pontelli M.Cristiá A.Martelli C.S.Frydman A.D.Palù C.Piazza C.Moiso P.Bruscoli E.G.Omodeo
Talks about:
set (10) program (5) clp (5) constraint (4) finit (4) intension (3) languag (3) logic (3) procedur (2) function (2)

Person: Gianfranco Rossi

DBLP DBLP: Rossi:Gianfranco

Contributed to:

ICLP 20152015
SEFM 20132013
ICLP 20092009
ICLP 20032003
PPDP 20032003
ICLP 19991999
JICSLP 19981998
ICLP 19941994
ILPS 19931993
ICLP 19911991
ESOP 19881988
ICLP 19861986
SLP 19861986
CAV (1) 20162016
CADE 20172017

Wrote 15 papers:

ICLP-J-2015-CristiaRF #constraints #logic programming #set
Adding partial functions to Constraint Logic Programming with sets (MC, GR, CSF), pp. 651–665.
SEFM-2013-CristiaRF #framework #generative #testing
{log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.
ICLP-2009-PaluDPR #constraints #lazy evaluation #programming #set #using
Answer Set Programming with Constraints Using Lazy Grounding (ADP, AD, EP, GR), pp. 115–129.
ICLP-2003-DovierPR #set
Intensional Sets in CLP (AD, EP, GR), pp. 284–299.
PPDP-2003-PaluDPR #constraints #finite #set
Integrating finite domain constraints and CLP with sets (ADP, AD, EP, GR), pp. 219–229.
ICLP-1999-DovierPPR #constraints
ACI1 Constraints (AD, CP, EP, GR), pp. 573–587.
JICSLP-1998-DovierPRP #finite #on the #representation #set
On the Representation and Management of Finite Sets in CLP Languages (AD, CP, GR, EP), pp. 40–54.
ICLP-1994-BruscoliDPR #compilation #set
Compiling Intensional Sets in CLP (PB, AD, EP, GR), pp. 647–661.
ILPS-1993-DovierR #finite #set
Embedding extensional finite sets in CLP (AD, GR), pp. 540–556.
ICLP-1991-DovierOPR #finite #logic programming #programming language #set
{log}: A Logic Programming Language with Finite Sets (AD, EGO, EP, GR), pp. 111–124.
ESOP-1988-MartelliR #programming #prolog
Enhancing Prolog to Support Prolog Programming Environments (AM, GR), pp. 317–327.
ICLP-1986-MartelliR86 #logic programming #on the #semantics
On the Semantics of Logic Programing Languages (AM, GR), pp. 327–334.
SLP-1986-MartelliMR86 #algorithm #equation #unification
An Algorithm for Unification in Equational Theories (AM, CM, GR), pp. 180–186.
CAV-2016-CristiaR #set
A Decision Procedure for Sets, Binary Relations and Partial Functions (MC, GR), pp. 179–198.
CADE-2017-CristiaR #set #strict
A Decision Procedure for Restricted Intensional Sets (MC, GR), pp. 185–201.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.