Algebraic methods for specification and formal development of programs
ACM Computing Surveys (CSUR)
Theoretical Computer Science
CASL: the common algebraic specification language
Theoretical Computer Science
Logical systems for structured specifications
Theoretical Computer Science
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Moving Specification Structures Between Logical Systems
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
An Algebraic Framework for Separate Type-Checking
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Architectural Specifications in CASL
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Amalgamation in CASL via Enriched Signatures
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Constructive Data Refinement in Typed Lambda Calculus
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
An Algebraic Framework for Higher-Order Modules
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Specification Refinement with System F
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A theory of mixin modules: algebraic laws and reduction semantics
Mathematical Structures in Computer Science
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
Testing from Structured Algebraic Specifications: The Veritas Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Hi-index | 0.00 |