Principles of OBJ2

@inproceedings{Futatsugi1985PrinciplesOO,
  title={Principles of OBJ2},
  author={Kokichi Futatsugi and Joseph A. Goguen and Jean-Pierre Jouannaud and Jos{\'e} Meseguer},
  booktitle={POPL '85},
  year={1985}
}
  • Kokichi Futatsugi, Joseph A. Goguen, +1 author José Meseguer
  • Published in POPL '85 1985
  • Computer Science
  • 0~12 is a functional programming language with an underlying formal semantics that is based upon equational logic, and an oprtationnl semantics that is based upon rewrite rules. Four clsssrs of design principles for 01352 ate discussed briefly in this inttoduct,ion, and then in mote detail brlnw: (1) motlulntizntion and patnmcteriantion; (2) subsorts; (3) implcmcntnt.ion IcBchniquc>s; and (4) inlrtaction and flexibility. WC also lrace C)II.l history, current shtus, and future plans, and give n… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 244 CITATIONS

    A Sheaf Semantics for FOOPS Expressions

    VIEW 13 EXCERPTS
    CITES BACKGROUND & METHODS

    Strategies and analysis techniques for functional program optimization

    VIEW 9 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Computational Logic: Logic Programming and Beyond

    VIEW 10 EXCERPTS
    CITES BACKGROUND, METHODS & RESULTS
    HIGHLY INFLUENCED

    Termination of on-demand rewriting and termination of OBJ programs

    VIEW 7 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Object-oriented logical specification of time-critical systems

    VIEW 5 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    1985
    2019

    CITATION STATISTICS

    • 21 Highly Influenced Citations

    References

    Publications referenced by this paper.