Programming with {SETS} 

Programming

with

{ Sets }


Side Map





Projects / Thesis



  • SEL/SuRE:  (B. Jayaraman, SUNY Buffalo)
  • SPARCL: (S. Pratt, University of Kansas)
  • SETL: (J. Schwartz, New York University)
  • LDL: (MCC)
  • CLPS: (B. Legeard, U. Besancon)
  • Set Constraints:
  • Set-Based Analysis:
  • {log} (A.Dovier, University of Verona
      • E. Omodeo, University of Salerno
      E. Pontelli, New Mexico State University
      G. Rossi, University of Parma)
  • Conjunto (C. Gervet, ICParc)
      • [Library of the ECLiPSe system]
  • Delta (V. Sazonov, A. Lisitsa, Y. Serdyuk, A. Leontjev, Program System Institute)
      • Bounded Set Theory and Query Language Delta for Web-like Data Bases.
Add new Project/Thesis
WebMaster: complog@cs.nmsu.edu
Last Modified: July 20th, 1998