Your search returned 6 results.

Results
		Demand-Driven Interpretation of Fp Programs on a Data-Flow Multiprocessor by Wei, Yi-Hsiu Gaudiot, Jean-Luc Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Using Trans Formations in Specification-Based Prototyping by Berzins, Valdis Yehudi, Amiram Yehudai, Amiram Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Provable Improvements on Branch Testing by Frankl, Phylis G Weyuker, Elaine J Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Specificational Approach to High Level Program Monitoring and Measuring by liao, Yingsha Cohen, Donald Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Specificational Approach to High Level Program Monitoring and Measuring by liao, Yingsha Cohen, Donald Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Towards BanishingCut from Prolog by Debray, Samya K Warren, David S Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Report a problem