D. F. Brown. Sort inference in action semantics. PhD thesis, Department of Computing Science, University of Glasgow, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Sort Inference in the ACTRESS Compiler Generator - Brown, Watt (1994) (1 citation) Self-citation (Brown Watt) (Correct)
....excludes polymorphic unfolding actions 5 . It does not however exclude the unfolding actions that occur in practical situations, such as the semantics of loops in programming languages. Space does not permit us to present all the sort inference rules here. They are presented in full in [3, 5]. 5 For which sort inference is undecidable [13] 5.2 Soundness of the Inference Rules In this section, we present the soundness property for the inference rules, and outline the proof of soundness. The soundness property for actions has two parts. Consider an action A that is assigned sort ....
D. F. Brown and D. A. Watt. Sort inference in action semantics. Research report, Department of Computing Science, University of Glasgow, Scotland, 1995. In preparation.
Basic Research in Computer Science - Type Checking Semantic (Correct)
No context found.
D. F. Brown. Sort inference in action semantics. PhD thesis, Department of Computing Science, University of Glasgow, 1996.
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