Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
System support for modular order-sorted horn clause specifications
ICSE '90 Proceedings of the 12th international conference on Software engineering
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Deductive Hardware Design: A Functional Approach
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Evolution of the Hypotheses Testing Approach in Intelligent Problem Solving Environments
ITS '00 Proceedings of the 5th International Conference on Intelligent Tutoring Systems
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs
Proceedings of the 2012 Haskell Symposium
| Hi-index | 0.00 |