Proving Theorems about LISP Functions
Journal of the ACM (JACM)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Toward automatic program synthesis
Communications of the ACM
Mechanizing structural induction (formal system)
Mechanizing structural induction (formal system)
Rational algebraic theories and fixed-point solutions
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Deriving programs using generic algorithms
IBM Systems Journal
Regular Article: Another look at parameterization for order-sorted algebraic specifications
Proceedings of the 30th IEEE symposium on Foundations of computer science
Reuse of requirements and specifications: a formal framework
SSR '95 Proceedings of the 1995 Symposium on Software reusability
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Requirements Engineering: A Perspective Through Theory-Building
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
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
Revisiting the Categorical Approach to Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Architectural Specifications in CASL
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
GSBL: An Algebraic Specification Language Based on Inheritance
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Theories, Implementations, and Transformations
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
V & V through Inconsistency Tracking and Analysis
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Towards a mathematical theory of program synthesis
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Interactive theorem proving on hierarchically and modularly structured set of very many axioms
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Order-sorted parameterization and induction
Semantics and algebraic specification
Algorithm synthesis through problem reformulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Algorithm synthesis through problem reformulation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Theory-specific automated reasoning
A 25-year perspective on logic programming
Towards managing dynamic reconfiguration of software systems in a categorical setting
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Characterizing locality (encapsulation) with bisimulation
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Structured formal development with quotient types in Isabelle/HOL
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Software services: scientific challenge or industrial hype?
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
rCOS: theory and tool for component-based model driven development
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Functorial semantics of rewrite theories
Formal Methods in Software and Systems Modeling
An axiomatic approach to structuring specifications
Theoretical Computer Science
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Representation and manipulation of information systems: A simplified approach
Journal of Systems and Software
Encapsulating deontic and branching time specifications
Theoretical Computer Science
Modular first-order ontologies via repositories
Applied Ontology - Modularity in Ontologies
Theory presentation combinators
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Towards an institution for Object-Z specifications
International Journal of Computer Applications in Technology
Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets
Journal of Automated Reasoning
Parameterisation for abstract structured specifications
Theoretical Computer Science
Răzvan Diaconescu, Institution-independent Model Theory
Studia Logica
Hi-index | 0.00 |