Initiality, induction, and computability
Algebraic methods in semantics
Algebraic specifications of computable and semicomputable data types
Theoretical Computer Science
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Journal of the ACM (JACM)
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer experiments with the REVE term rewriting system generator
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
How to Prove Algebraic Inductive Hypotheses Without Induction
Proceedings of the 5th Conference on Automated Deduction
A General Inductive Completion Algorithm and Application to Abstract Data Types
Proceedings of the 7th International Conference on Automated Deduction
Algebraic Denotational Semantics Using Parameterized Abstract Modules
Proceedings of the International Colloquium on Formalization of Programming Concepts
Stop losing sleep over incomplete data type specifications
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Completion of a set of rules modulo a set of equations
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A hierarchical structuring method for functional software systems
ICSE '82 Proceedings of the 6th international conference on Software engineering
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
Rapid prototyping: in the OBJ executable specification language
Proceedings of the workshop on Rapid prototyping
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
A knowledge-based system for computer algebra
ACM SIGSAM Bulletin
Remarks on remarks on many-sorted equational logic
ACM SIGPLAN Notices
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Views: a way for pattern matching to cohabit with data abstraction
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
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
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Inheritance in smalltalk-80: a denotational definition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Inductive methods for reasoning about abstract data types
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An algebraic data type specification language and its rapid prototyping environment
ICSE '89 Proceedings of the 11th international conference on Software engineering
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Incremental generation of parsers
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
How to make ad-hoc polymorphism less ad hoc
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Relating models of polymorphism
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A practical approach to semantic configuration management
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Journal of the ACM (JACM)
Type-dependent parameter inference
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Small domains spell fast strictness analysis
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Incremental Generation of Parsers
IEEE Transactions on Software Engineering
Software process a` la algebra: OBJ for OBJ
ICSE '90 Proceedings of the 12th international conference on Software engineering
Mixing abstract and concrete modules: specification, development and prototyping
ICSE '90 Proceedings of the 12th international conference on Software engineering
Approximate Reasoning About the Semantic Effects of Program Changes
IEEE Transactions on Software Engineering
Using Larch to Specify Avalon/C++ Objects
IEEE Transactions on Software Engineering
A rewrite-based type discipline for a subset of computer algebra
Journal of Symbolic Computation
Nonlinear pattern matching in trees
Journal of the ACM (JACM)
Combining matching algorithms: The regular case
Journal of Symbolic Computation
Industrial strength compiler construction with equations
ACM SIGPLAN Notices
Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development
The property vector specification of a multiset iterator
ICSE '92 Proceedings of the 14th international conference on Software engineering
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A meta-environment for generating programming environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Procedural implementation of algebraic specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Controlled grammatic ambiguity
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safety Assurance in Process Control
IEEE Software
Simulating the Behavior of Software Modules by Trace Rewriting
IEEE Transactions on Software Engineering
A theory of using history for equational systems with applications
Journal of the ACM (JACM)
An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
Simulating the behaviour of software modules by trace rewriting
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Formal specification and verification of hardware: a comparative case study
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Optimizing term rewriting using discrimination nets with specialization
Proceedings of the 1999 ACM symposium on Applied computing
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Extensions and foundations of object-oriented programming
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Classification in object-oriented systems
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Operational semantics of rewriting with the on-demand evaluation strategy
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Class-is-type is inadequate for object reuse
ACM SIGPLAN Notices
Executable specifications with quantifiers in the FASE system
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Simple termination of context-sensitive rewriting
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Modular termination of context-sensitive rewriting
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Context-sensitive rewriting strategies
Information and Computation
Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
Normalization, approximation, and semantics for combinator systems
Theoretical Computer Science
Subtyping and constructive specification
Nordic Journal of Computing
Termination of Rewriting With Strategy Annotations
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Improving On-Demand Strategy Annotations
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
GSBL: An Algebraic Specification Language Based on Inheritance
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Component-Based Algebraic Specification and Verification in CafeOBJ
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Termination of on-demand rewriting and termination of OBJ programs
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Formal representation of reuseable software modules
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Proving termination of context-sensitive rewriting by transformation
Information and Computation
Applying domain engineering using RAISE into a particular banking domain
ACM SIGSOFT Software Engineering Notes
Verifying Design with Proof Scores
Verified Software: Theories, Tools, Experiments
Simultaneous checking of completeness and ground confluence for algebraic specifications
ACM Transactions on Computational Logic (TOCL)
An Algebraic Framework for Modeling of Mobile Systems
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A Specification Translation from Behavioral Specifications to Rewrite Specifications
IEICE - Transactions on Information and Systems
Algebraic specification techniques for parametric types with logic-based constraints
Proceedings of the 2009 ACM symposium on Applied Computing
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
A comparative introduction to CSP and ACT-ONE formal languages
ACM SIGSOFT Software Engineering Notes
On-demand strategy annotations revisited: An improved on-demand evaluation strategy
Theoretical Computer Science
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
Journal of Symbolic Computation
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Algebraic approach to the problem of solving systems of linear inequalities
Cybernetics and Systems Analysis
On equality predicates in algebraic specification languages
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
On the completeness of context-sensitive order-sorted specifications
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Context-sensitive dependency pairs
Information and Computation
Order-sorted parameterization and induction
Semantics and algebraic specification
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Introduction and overview: the projects of methods integration
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Paper: The representation of medical reasoning models in resolution-based theorem provers
Artificial Intelligence in Medicine
Specification-Driven unit test generation for java generic classes
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS
Fundamenta Informaticae
Principles of proof scores in CafeOBJ
Theoretical Computer Science
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.00 |