From Abstract Data Types to Logical Frameworks

Authors:
José Meseguer;Narciso Martí-Oliet
Affiliations:
-;-
Venue:
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Year:
1994

Citing 0
Cited 7

Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications
A Single Perspective on Arrows between Institutions

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Maude as a Formal Meta-tool

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Structured theories and institutions

Theoretical Computer Science
The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving

Fundamenta Informaticae
Proof complexity of non-classical logics

ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract