Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Soundness of data refinement for a higher-order imperative language
Theoretical Computer Science
On the Semantics of Refinement Calculi
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Forward Simulation for Data Refinement of Classes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Structural Views, Structural Evolution, and Product Families
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Cost-based analysis of probabilistic programs mechanised in HOL
Nordic Journal of Computing
A rigorous environment for development of concurrent systems
Nordic Journal of Computing
Strongly Typed Rewriting For Coupled Software Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Calculating modules in contextual logic program refinement
Theory and Practice of Logic Programming
Trace-based Derivation of a Lock-Free Queue Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Coupled Transformation of Schemas, Documents, Queries, and Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
ArcAngelC: a Refinement Tactic Language for Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
From spreadsheets to relational databases and back
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Angelic Nondeterminism and Unifying Theories of Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Alternating states for dual nondeterminism in imperative programming
Theoretical Computer Science
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
A tactic language for refinement of state-rich concurrent specifications
Science of Computer Programming
Type-safe evolution of spreadsheets
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Type-safe two-level data transformation
FM'06 Proceedings of the 14th international conference on Formal Methods
Relaxing restrictions on invariant composition in the B method by ownership control a la SPEC#
Rigorous Methods for Software Construction and Analysis
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Constraint-aware Schema Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |