Constraining-unification and the programming language unicorn

@inproceedings{Bandes1984ConstrainingunificationAT,
  title={Constraining-unification and the programming language unicorn},
  author={Robert G. Bandes},
  booktitle={POPL '84},
  year={1984}
}
  • Robert G. Bandes
  • Published in POPL '84 1984
  • Computer Science
  • Up to this point direct implementations of axiomatic or equational specifications have been limited because the implementation mechanisms used are incapable of capturing the full semantics of the specifications. The programming language Unicorn was designed and implemented with the intention of exploring the full potential of programming with equations. Unicorn introduces a new language mechanism, called constraining-unification. When coupled with semantic unification, constraining-unification… CONTINUE READING

    Citations

    Publications citing this paper.

    Local Propagation as a Constraint Satisfaction Technique

    VIEW 1 EXCERPT
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-2 OF 2 REFERENCES

    Tardo. An introduction to OBJ: A language for writing and testing formal algebraic program specifications

    • J. A. Goguen, JJ
    • Prec. IEEE Conference on Specification of Reliable Software,
    • 1979
    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL