On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Managing knowledge about information system evolution
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
How to make destructive updates less destructive
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
System support for modular order-sorted horn clause specifications
ICSE '90 Proceedings of the 12th international conference on Software engineering
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Invited Talk: Pointwise Relational Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
TAS - A Generic Window Inference System
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Towards a Precise Semantics for Object-Oriented Modeling Techniques
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Cooperation of Formal Methods in an Engineering Based Software Development Process
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
The Amsterdam Manifesto on OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
On the Precise Meaning of OCL Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Program transformations and skeletons: formal derivation of parallel programs
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Abstracting refinements for transformation
Nordic Journal of Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
Tactics for transformational programming
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.00 |