Author:
Cousot Patrick,Cousot Radhia
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference35 articles.
1. Semantics of interaction: an introduction to game semantics;Abramsky,1997
2. An introduction to inductive definitions;Aczel,1977
3. I. Attali, J. Chazarain, S. Gilette, Incremental evaluation of natural semantics specifications, in: M. Bruynooghe, M. Wirsing, (Eds.), Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming, PLILP’92, Leuven, Belgium, 26–28 August 1992, Lecture Notes in Computer Science, vol. 631, Springer, Berlin, Germany, 1992, pp. 87–99.
4. The algebraic theory of context-free languages;Chomsky,1963
5. P. Cousot, Types as abstract interpretations, invited paper, in: Conference Record of the Twentyfourth Annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages, Paris, France, ACM Press, New York, USA, January 1997, pp. 316–331.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献