Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference3 articles.
1. Predicative programming;Hehner;Comm. ACM,1984
2. A methodology for programming with concurrency; the formalism;Lengauer;Sci. Comput. Programming,1982
3. Automated control systems programming using a real time declarative language;Bergerand;4th IFAC/IFIP Symposium on Software for Computer Control (SOCOCO),1986
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献