A total approach to partial algebraic specification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2380 LNCS, Issue , 2002, Pages 572-584

  Meseguer, José ^a   Roşu, Grigore ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; MAPPING; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; DIRECT EXECUTION; HIGH-PERFORMANCE INTERPRETER; MEMBERSHIP EQUATIONAL LOGIC; PARTIAL MEMBERSHIPS; PARTIAL SPECIFICATIONS; SOUND AND COMPLETE; SYNTACTIC SUGARS;

ALGEBRA;

EID: 84869151660     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45465-9_49     Document Type: Conference Paper

References (20)

1. M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas, and D. Sannella, editors. Algebraic System Specification and Development. A Survey and Annotated Bibliography, volume 501 of LNCS. Springer, 1991.
2. A. Bouhoula, J.-P. Jouannaud, and J. Meseguer. Specification and proof in membership equational logic. Theoretical Computer Science, 236:35-132, 2000.
3. M. Broy and M. Wirsing. Partial abstract types. Acta Informatica, 18:47-64, 1982.
4. M. Cerioli and J. Meseguer. May I borrow your logic? (Transporting logical structures along maps). Theoretical Computer Science, 173(2):311-347, 1997.
5. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. SRI International, January 1999, http://maude.csl.sri.com.
6. M. Clavel, F. Durán, S. Eker, and J. Meseguer. Building equational proving tools by reflection in rewriting logic. In CAFE: An Industrial-Strength Algebraic Formal Method. Elsevier, 2000. http://maude.csl.sri.com.
7. CoFI task group on semantics, CASL - The common algebraic specification language, Semantics. www.brics.dk/Projects/CoFI/Documents/CASL, July 1999.
8. R. Diaconescu and K. Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. World Scientific, 1998. AMAST Series in Computing, volume 6.
9. M. Gogolla and M. Cerioli. What is an Abstract Data Type after all? Technical report, DISI - University of Genova, 1994.
10. J. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217-273, 1992.
11. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. In Software Engineering with OBJ: algebraic specification in action, pages 3-167. Kluwer, 2000.
12. C. Hintermeier, C. Kirchner, and H. Kirchner. Dynamically-typed computations for order-sorted equational presentations. Journal ofSymb olic Computation, 25(4):455-526, April 1998.
13. H. Kaphengst and H. Reichel. Initial algebraic semantics for non-context-free languages. In M. Karpinski, editor, Fundamentals ofComputation Theory, volume 56 of LNCS, pages 120-126. Springer, 1977.
14. M. Lowry, T. Pressburger, and G. Roşu. Certifying domain-specific policies. In Proceedings, International Conference on Automated Software Engineering (ASE'01), pages 81-90. IEEE, 2001. San Diego, California.
15. J. Meseguer. Membership algebra as a logical framework for equational specification. In Proceedings, WADT'97, volume 1376 of LNCS, pages 18-61, 1998.
16. J. Meseguer and G. Roşu. A total approach to partial algebraic specification. Extended version at ase.arc.nasa.gov/grosu/tapase.html, 2002.
17. T. Mossakowski. Equivalences among various logical frameworks of partial algebras. In Computer Science Logic, volume 1092 of LNCS, pages 403-433, 1996.
18. T. Mossakowski. Introduction into HOL-CASL. www.tzi.de/cofi/, 2001.
19. T. Mossakowski. Relating CASL with other specification languages: the institution level. Theoretical Computer Science, To appear. www.tzi.de/~{}till.
20. H. Reichel. Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford University Press, 1987.