Zoltan Somogyi, Fergus Henderson, Thomas Conway, and Richard O'Keefe. Logic programming for the real world. In Donald A. Smith, editor, Proceedings of the ILPS'95 Postconference Workshop on Visions for the Future of Logic Programming, pages 83--94, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Analysing Modes and Subtypes in Z Specifications - Winikoff (1998) (Correct)
....of MUZAK and describe briefly what information we need in order to translate specifications to executable code and how the translation is performed. We then focus on how the information is determined. The complete details for two analyses are presented. MUZAK animates Z [1, 12] using Mercury [9 11]. The Z specification to be animated is translated to first order set theory (in Horn clause form) and then analysed. The results of the analysis are used to generate Mercury code. Z Horn Clause Sets Mercury The advantages of dividing a compiler into a source dependent front end, a ....
Zoltan Somogyi, Fergus Henderson, Thomas Conway, and Richard O'Keefe. Logic programming for the real world. In Donald A. Smith, editor, Proceedings of the ILPS'95 Postconference Workshop on Visions for the Future of Logic Programming, pages 83--94, Portland, Oregon, 1995.
Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
No context found.
Zoltan Somogyi, Fergus Henderson, Thomas Conway, and Richard O'Keefe. Logic programming for the real world. In Donald A. Smith, editor, Proceedings of the ILPS'95 Postconference Workshop on Visions for the Future of Logic Programming, pages 83--94, 1995.
Rapid Prototyping using Formal Specifications - Winikoff, Dart, Kazmierczak (1998) (4 citations) (Correct)
No context found.
Somogyi, Zoltan, Henderson, Fergus, Conway, Thomas, and O'Keefe, Richard (1995b). Logic programming for the real world. In Smith, Donald A., editor, Proceedings of the ILPS'95 Postconference Workshop on Visions for the Future of Logic Programming, pages 83--94, Portland, Oregon.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC