Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A Trace Model for Pointers and Objects
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Transformational Construction of Correct Pointer Algorithms
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Alias Types for Recursive Data Structures
TIC '00 Selected papers from the Third International Workshop on Types in Compilation
A trace model for pointers and objects
Programming methodology
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
An extension for feature algebra
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Towards Algebraic Separation Logic
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Calculational derivation of algorithms on tree-based pointer structures
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Hi-index | 0.00 |