A Calculus for the Construction of Modular Prolog Programs

@inproceedings{Sannella1987ACF,
  title={A Calculus for the Construction of Modular Prolog Programs},
  author={Donald Sannella and Lincoln A. Wallen},
  booktitle={SLP},
  year={1987}
}
ion BtreeDatal:BTREEDATAl = 
BETA

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

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

Introducing Institutions , in : Proceedings ofthe Logics of Programming Workshop , Carnegie - Mellon , Lecture Notes in Comput

  • J. A. Goguen, R. M. Burstall
  • 1984

Similar Papers

Loading similar papers…