On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Program Transformation Systems
ACM Computing Surveys (CSUR)
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Equivalence of Reduction and Translation Semantics of Java Simple Closures
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hi-index | 0.00 |