Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Describing data flow analysis techniques with Kleene algebra
Science of Computer Programming
Hi-index | 0.00 |