Concepedia

Proving operational termination of membership equational programs

Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain

LISP and Symbolic Computation · 2008 · 69 citations · 22 references

DOIFull text

Open access

Concepts

Abstract

International audience

References

22

Lecture Notes in Computer Science 1205

Industrial Robot the international journal of robotics research and application · 1999 · 38.7K citations

, , +2

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

, , +9

Report on the programming language Haskell

Paul Hudak, Simon Peyton Jones, Philip Wadler et al. · ACM SIGPLAN Notices · 1992 · 1K citations · Full text

, , +6

Maude: specification and programming in rewriting logic

Manuel Clavel, Francisco Durán, Steven Eker et al. · Theoretical Computer Science · 2002 · 772 citations · Full text

, , +7

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

Joseph A. Goguen, José Meseguer · Theoretical Computer Science · 1992 · 496 citations

, , +12