Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Algebraic specification of Macintosh's Quickdraw using OBJ2
ICSE '88 Proceedings of the 10th international conference on Software engineering
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Relating models of polymorphism
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Symbolic Computation
Journal of the ACM (JACM)
Software process a` la algebra: OBJ for OBJ
ICSE '90 Proceedings of the 12th international conference on Software engineering
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Adapting a debugger for optimised programs
ACM SIGPLAN Notices
Journal of the ACM (JACM)
Toward a complete transformational toolkit for compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Equations as a uniform framework for partial evaluation and abstract interpretation
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Are constructive formal specifications less abstract?
ACM SIGPLAN Notices
Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
A fresh approach to representing syntax with static binders in functional programming
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Is There a Nonrecursive Decidable Equational Theory?
Minds and Machines
Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
Rewriting Logic as a Metalogical Framework
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
On the complexity of reasoning in Kleene algebra
Information and Computation - Special issue: LICS'97
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
The algebraic structure of interfaces
Science of Computer Programming
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
The rational numbers as an abstract data type
Journal of the ACM (JACM)
Proving operational termination of membership equational programs
Higher-Order and Symbolic Computation
Operational Termination of Membership Equational Programs: the Order-Sorted Way
Electronic Notes in Theoretical Computer Science (ENTCS)
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Peano Structures and the Semantics of Iteration
Electronic Notes in Theoretical Computer Science (ENTCS)
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
An introduction to algebraic semiotics, with application to user interface design
Computation for metaphors, analogy, and agents
From grammars and automata to algebras and coalgebras
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Elementary algebraic specifications of the rational function field
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
EQUATIONAL CONSTRUCTOR INDUCTION
Fundamenta Informaticae
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
Order-Sorted equality enrichments modulo axioms
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
An incremental learning algorithm for extended mealy automata
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Hi-index | 0.00 |