Author:
Debbabi Mourad,Faour Ali,Tawbi Nadia
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers principles, techniques, and tools. Addison-Wesley, Reading, MA, 1986.
2. D. Bolignano and M. Debbabi. A coherent type inference system for a concurrent, functional and imperative programming language. In Proceedings of the AMAST'93 Conference. Springer Verlag, June 1993.
3. D. Bolignano and M. Debbabi. A denotational model for the integration of concurrent functional and imperative programming. In Proceedings of the ICCI'93 Conference. IEEE, May 1993.
4. D. Bolignano and M. Debbabi. A semantic theory for CML. In Proceedings of the TACS'94 Conference. Springer Verlag, April 1994.
5. D. Berry, A.J.R.G. Milner, and D. Turner. A semantics for ML concurrency primitives. In Proc. 17th ACM Symposium on Principles of Programming Languages, 1992.