Efficient demand-driven evaluation. Part 2
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Dataflow for logic program as substitution manipulator
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A History of Data-Flow Languages
IEEE Annals of the History of Computing
Static inference of properties of applicative programs
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Deadlock analysis in the design of data-flow circuits
DAC '84 Proceedings of the 21st Design Automation Conference
Distributed task and memory management
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A network of communicating logic programs and its semantics
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.02 |