Set Constraints in Some Equational Theories

Information and Computation

Volumn 142, Issue 1, 1998, Pages 40-75

  Charatonik, Witold ^a  

^a UNIVERSITY OF WROC AW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0012199119     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1997.2692     Document Type: Article

References (32)

1. Ackermann, W. (1954), "Solvable Cases of the Decision Problem," North-Holland, Amsterdam.
2. Aiken, A., Kozen, D., Vardi, M., and Wimmers, E. L. (1993), The complexity of set constraints, in "1993 Conference on Computer Science Logic," Lecture Notes in Computer Science, Vol. 832, pp. 1-17.
3. Aiken, A., Kozen, D., and Wimmers, E. L. (1993), "Decidability of Systems of Set Constraints with Negative Constraints," Technical Report 93-1362, Computer Science Department, Cornell University. [Inform. and Comput. 122, 30-44.]
4. Aiken, A. and Murphy, B. (1991), Implementing regular tree expressions, in "ACM Conference on Functional Programming Languages and Computer Architecture," pp. 427-447.
5. Aiken, A. and Murphy, B. (1991), Static type inference in a dynamically typed language, in "Eighteenth Annual ACM Symposium on Principles of Programming Languages," pp. 279-290.
6. Aiken, A. and Wimmers, E. (1992), Solving systems of set constraints, in "Seventh Annual IEEE Symposium on Logic in Computer Science," pp. 329-340. [Extended abstract]
7. Aiken, A. and Wimmers, E. (1993), Type inclusion constraints and type inference, in "Proceedings of the 1993 Conference on Functional Programming Languages and Computer Architecture," pp. 31-41, Copenhagen, Denmark.
8. Aiken, A., Wimmers, E., and Lakshman, T. K. (1994), Soft typing with conditional types, in "Twenty-First Annual ACM Symposium on Principles of Programming Languages," Portland, Oregon.
9. Bachmair, L., Ganzinger, H., and Waldmann, U. (1993), Set constraints are the monadic class, in "Eighth Annual IEEE Symposium on Logic in Computer Science," pp. 75-83.
10. Charatonik, W. (1995), "Set Constraints in Some Equational Theories," Ph.D. thesis, Polish Academy of Sciences.
11. Charatonik, W. and Pacholski, L. (1994), Negative set constraints with equality, in "Ninth Annual IEEE Symposium on Logic in Computer Science," pp. 128-136.
12. Charatonik, W. and Pacholski, L. (1994), Set constraints with projections are in NEXPTIME, in "Proceedings of the 35th Symp. on Foundations of Computer Science," pp. 642-653.
13. Comon, H., Haberstrau, M., and Jouannaud, J.-P. (1992), Decidable problems in shallow equational theories, in "Seventh Annual IEEE Symposium on Logic in Computer Science," pp. 255-265. [Extended abstract]
14. Comon, H., Haberstrau, M., and Jouannaud, J.-P. (1994), Syntactiness, cycle-syntacticness, and shallow theories, Inform. and Comput. 111, pp. 154-191.
15. Colmeraurer, A. (1990), An introduction to PROLOG III, Comm. Assoc. Comput. Mach. 33, pp. 69-90.
16. Gilleron, R., Tison, S., and Tommasi, M. (1993), Solving systems of set constraints using tree automata, in "10th Annual Symposium on Theoretical Aspects of Computer Science," Lecture Notes in Computer Science, Vol. 665, pp. 505-514, Springer-Verlag, Berlin/ New York.
17. Gilleron, R., Tison, S., and Tommasi, M. (1993), Solving systems of set constraints with negated subset relationships, in "Proceedings of the 34th Symp. on Foundations of Computer Science," pp. 372-380. [Full version: Technical report IT 247, Laboratoire d'Informatique Fondamentale de Lille]
18. Heintze, N. (1992), "Set Based Program Analysis," Ph.D. thesis, School of Computer Science, Carnegie Mellon University.
19. Heintze, N. (1993), Set based analysis of arithmetic, Technical report CS-93-221, School of Computer Science, Carnegie-Mellon University.
20. Heintze, N., and Jaffar, J. (1990), A decision procedure for a class of set constraints, in "Fifth Annual IEEE Symposium on Logic in Computer Science," pp. 42-51.
21. Heintze, N. and Jaffar, J. (1990), A finite presentation theorem for approximating logic programs, in "Seventeenth Annual ACM Symposium on Principles of Programming Languages," pp. 197-209.
22. Hopcroft, J. E. and Ullmann, J. D. (1979), "Introduction to Automata Theory, Languages, and Computation," Addison-Wesley, Reading, MA.
23. Jones, N. D. and Muchnick, S.S. (1979), Flow analysis and optimization of lisp-like structures, in "Sixth Annual ACM Symposium on Principles of Programming Languages," pp. 244-256.
24. Kozen, D. (1993), Logical aspects of set constraints, in "1993 Conference on Computer Science Logic," Lecture Notes in Computer Science, Vol. 832, pp. 175-188.
25. Kozen, D. (1994), Set constraints and logic programming, in "1st International Conference Constraints in Computational Logics," Lecture Notes in Computer Science, Vol. 845, Springer-Verlag, Berlin/New York. [Also in (1998), Inform. and Comput. 142, 2-25]
26. Kozen, D. (1994), Set constraints and logic programming, in "1st International Conference Constraints in Computational Logics," Lecture Notes in Computer Science, Vol. 845, Springer-Verlag, Berlin/New York. [Also in (1998), Inform. and Comput. 142, 2-25]
27. Lewis H. R. (1980), Complexity results for classes of quantificational formulas, J. Comput. System Sci. 21, pp. 317-353.
28. Mishra, P. and Reddy, U. (1985), Declaration-free type checking, in "Twelfth Annual ACM Symposium on the Principles of Programming Languages," pp. 7-21.
29. Reynolds, J. C. (1969), Automatic computation of data set definitions, Inform. Process. 68, pp. 456-461.
30. Stefansson, K. (1994), Systems of set constraints with negative constraints are NEXPTIME-complete, in "Ninth Annual IEEE Symposium on Logic in Computer Science," pp. 137-141.
31. Uribe, T. E. (1992), Sorted unification using set constraints, in "11th International Conference on Automated Deduction," Lecture Notes in Artificial Intelligence, Vol. 607, pp. 163-177, Springer-Verlag, Berlin/New York.
32. Young, J. and O'Keefe, P. (1988), Experience with a type evaluator, in "Partial Evaluation and Mixed Computation" (D. Bjørner, A. P. Ershov, and N. D. Jones, Eds.), pp. 573-581, North-Holland, Amsterdam.