Languages for Programming with Sets

1

E. G. Omodeo and A. Policriti. Decision Procedures for Set/Hyperset Contexts. In Alfonso Miola ed., Design and implementation of symbolic computation systems, (International Symposium DISCO'93, Gmunden, Austria), Volume 722 of LNCS, 192-215, Springer-Verlag, 1993.

2

PONTELLI, E. Logic programming with sets: Theory and implementation. Master's thesis, University of Houston, Houston, TX, 1992.

3

D.Fogli, M.Gaspari, and G.-F.Rossi. Adding sets and multisets to Gödel. Presented at the workshop on programming in Gödel, University of Manchester, 14-15 April, 1994.

4

GERVET, C. Conjuncto: Constraint logic programming with finite set domains. Tech. Rep. ECRC-94-15, ECRC, Munich, 1994.

5

AIKEN, A. Set Constraints: Results, Applications, and Future Directions. Proc. of PPCP'94: 2 Workshop on Principles and Practice of Constraint Programming, A.Borning, Ed., May 1994. Seattle (WA).

6

B. Legeard, H. Lombardi, F. Ambert and M. Hibti. Constraints over Homogeneous Hereditarily Finite Sets. In Workshop on Logic Programming with Sets, in conjunction with ICLP '93, Budapest, 1993.

7

S.Abiteboul, S.Grumbach, COL: A Logic-Based Language for Complex Objects, Proc. Workshop on Database Programming Languages, Sept. 1987, pages 253-276.

8

W.Chen, M.Kifer, D.S.Warren, C-Logic of Complex Objects, Proc. 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of DataBase Systems, Philadelphia, March 1989, 369-378.

9

W.Chen, M.Kifer, D.S.Warren, HiLog: a first-order semantics for Higher-order Logic Programming Constructs, NACLP89, Cleveland, Oct. 1989.

10

S.Conrad, M.Gogolla. An Annoted Bibliography on Object-Orientation and Deduction, ACM Sigmod Record, vol.21, n.1, March 1992, pp.123-131.

11

E.Dahlhaus, J.A.Makowsky. The choice of programming primitives for SETL-like programming languages. Dept. of Computer Science, Technion, Haifa, Israel,1985.

12

E-E.Doberkat. Integrating Persistence into a Set-Oriented Prototyping Language, Structured Programming, Springer-Verlag, vol.13, 1992, pp.137-153.

13

V.Donzeau-Gouge, C.Dubois, P.Facon, F.Jean, Development of a Programming Environment for Setl, ESEC'87, Springer-Verlag, 1987,pages 21-32.

14

N.Immerman, S.Patnaik, D.Stemple. The Expressiveness of a Family of Finite Set Languages, Proc. 10th ACM Symp. on Principles of Database Systems, 1991.

15

B.Jayaraman, D.A.Plaisted, Functional Programming with Sets, 3rd Int. Conf. on Functional Programming and Computer Architecture, Portland, Sept. 1987, 194-210.

16

B.Jayaraman, A.Nair. Subset-logic Programming: Application and Implementation. Proc. 5th Int. Logic Programming Conf., The MIT Press,1988, 843-848.

17

P.Kruchten, E.Schonberg, J.T.Schwartz, Software prototyping using the SETL programming language, IEEE Software, vol.1, no 4, 1984, 66-75.

18

L.Naish, All solutions Predicates in Prolog, Proc. of the 2nd IEEE Symp. on Logic Programming, Boston, 1985, 73-77.

19

R.Paige, F.Henglein, Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study, Eurocal'85, Lecture Notes in Computer Science 204, 554-567, Springer- Verlag, 1985.

20

L.M.Pereira, A.Porto, All solutions, Logic Programming Newsletters, 2, 1981, 9-10.

21

E.Schonberg, J.T.Schwartz, M.Sharir, An automatic technique for selection of data representations in Setl programs, ACM TOPLAS, v.3, no 2, 1981, 126-143.

22

F.S.K.Silbermann, B.Jayaraman, Set abstraction in functional and logic programming, 4th Int. Conf. on Functional Programming and Computer Architecture, Sept. 1989.

23

D.Turner, Miranda: A non-strict functional language with polimorphic types, Int. Conf. on Functional Programming and Computer Architecture, Nancy, Sept. '85, 1-16.

24

T.Yakomori, A note on the set abstraction in logic programming language, Proc. of the Int. Conf. on Fifth Generation Computer Systems, Tokyo, Nov. 1984, 333-340.

25

Breazu-Tannen, Subrahmanyan Logical and Computational Aspects of Programming with Sets/Bags/Lists, 18th ICALP, 1991.

26

K.Vadaparty. On the Power of Rule-Based Languages with Sets, ACM SIGMOD Int. Conf. on Manipilation of Data, 1991.

27

Gordin, Pasik. Set-Oriented Constructs, ACM SIGMOD Int. Conf. on Manipulation of Data, 1991.

28

J.Allgayer. SB-ONE+ - dealing with sets efficiently, ECAI 90, 1990.

29

Nipkow. Non-deterministic Data Types: Models and Implementations, Acta Informatica, v. 22, 1986, p. 629-661.

30

Comon H. Completion of Rewrite Systems with Membership Constraints ICALP 92, 1992.

31

VAUGHT, R. L. On a Theorem of Cobham Concerning Undecidable Theories. In Proceedings of the 1960 International Concress (1962), E. Nagel, P. Suppes, and A. Tarski, Eds., Stanford University Press, Stanford, 14-25.

32

M. Thielscher and S. Holldobler. On Logic Programming with Multisets. In Proc. ICLP93 post-conference workshop on Logic Programming with Sets, 1993.

33

M.Pellegrini, R.Sepe, SetLog, a Tool for Experimenting with New Semantics, ACM SIGPlan Notices, 1991.

34

A.Policriti, Note su SETLOG e 'Desiderata for Logic Programming with sets, unpublished manuscript, 1989.

35

P.Kruchten, E.Schonberg, J.T.Schwartz, Software prototyping using the SETL programming language, IEEE Software, vol.1, no 4, 1984, 66-75.

36

J. Katzenelson, Higher level programming and data abstractions - A case study using enhanced C, Software-Practice and experience, Vol.13, 577-595, 1983.

37

L. Matyska, Logic Programming with Fuzzy Sets, Technical Report, City University, London, 1993.

38

L. Spratt, A. Ambler. A Visual Logic Programming Language Based on Sets and Partitioning Constraints, IEEE Symposium on Visual Languages, IEEE Computer Society, 1993.

39

L. Spratt. Seeing the Logic of Programming with Sets, Ph.D. Dissertation, Computer Science Department, University of Kansas, 1996.

40

GERVET, C. Conjuncto: Constraint logic programming with finite set domains. International Symposium on Logic Programming, MIT Press, pg. 339-358, 1994. [Description of the Conjunto Language: CLP with set intervals]

41

GERVET, C. Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Framework . In Constraints, Volume 1, Number 3.

42

J.J. Bisschop and R. Fourer. New Constructs for the Description of Combinatorial Optimization Problems in Algorithmic Modeling Languages. In Computational Optimization and Applications, Volume 6, Number 1, 1996.

43

R. Fourer. Extending a General-Purpose Algebraic Modeling Language to Combinatorial Optimizations: A Logic Programming Approach. In Advances in Computational and Stochastic Optimization, Logic Programming, and Heurstic Search, pp. 31-74, Kluwer Academic Press, 1998.

44

T. Grust, J. Kroeger, D. Gluche, A. Heuer, M.H. Scholl.. Query Evalutation in CROQUE: Algebra and Calculus Coincide. In Proceedings of the 15th British National Conference on Databases (BNCOD15), pp. 84-100, Springer Verlag, 1997.

45

N. Dean. The Essence of Discrete Mathematics. Prentice Hall, 1997.

46

N. Dean and M.G. Hinchey. Teaching and Learning Formal Methods. Academic Press, 1996.

47

J.-H. Byon and P.Z. Revesz. DISCO: A Constraint Database System with Sets. In Proc. Workshop on Constraint Databases and Applications. LNCS 1034, Springer Verlag, pp. 68-83, 1995.

48

M. Liu. Relationlog: a Typed Extension to Datalog with Sets and Tuples. In Journal of Logic Programming. Volume 36, Number 3, 1998.

49

V.Yu. Sazonov. Hereditarily-finite sets, data bases and polynomial-time computability. In Theoretical Computer Science. Volume 119, Number 1, 1993.

50

V.Yu. Sazonov and A.P. Lisitsa. Delta-languages for sets and Sub-PTIME graph In DataBase Theory - ICDT. LNCS 893, Springer Verlag, pages 125-138, 1995.

51

A.P. Lisitsa and V.Yu. Sazonov. Bounded Hyperset Theory and Web-like Data Bases. In Computational Logic and Proof Theory. LNCS 1289, Springer Verlag, pages 172-185, 1997.

52

A.P. Lisitsa and V.Yu. Sazonov. Delta-languages for sets and LOGSPACE-computable graph transformers. In Theoretical Computer Science. Volume 175, Number 1, 1997.