Michael Gordon, Robin Milner, and Christopher P. Wadsworth. Edinburgh LCF, LNCS 78. 1979. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Design of the SDRR Pipeline - Hook, Bell (1995) (Correct)
....preliminary system design in the June 1993 planning briefing was not a strictly linear pipeline. It included a module known as tactic and control which was to select and control the transformation process, modeled after LCF style tactics found in theorem provers and program transformation systems [26, 23]. At the time we believed that partial evaluation might be profitable at multiple stages of the pipeline, and we were concerned with maintaining out of band information. The notion of tactic and control was not in the technical plan delivered in August 1993. That plan did, however, indicate some ....
Michael J. Gordon, Robin Milner, and Christopher P. Wadsworth. Edinburgh LCF, volume 78 of LNCS. Springer-Verlag, Berlin, 1979.
TCP, UDP, and Sockets: - Rigorous And Experimentally-Validated (Correct)
No context found.
Michael Gordon, Robin Milner, and Christopher P. Wadsworth. Edinburgh LCF, LNCS 78. 1979.
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