What Are Polymorphically-Typed Ambients?


Show simple item record Amtoft, Torben en_US Kfoury, Assaf J. en_US Pericas-Geertsen, Santiago M. en_US 2011-10-20T05:10:26Z 2011-10-20T05:10:26Z 2000-10-19 en_US
dc.identifier.citation Amtoft, Torben Amtoft; Kfoury, Assaf; Pericas-Geertsen, Santiago. "What are polymorphically-typed ambients?", Technical Report BUCS-2000-021, Computer Science Department, Boston University, October 19, 2000. [Available from:] en_US
dc.description.abstract Abstract: The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. We consider an Ambient Calculus where ambients transport and exchange programs rather that just inert data. We propose different senses in which such a calculus can be said to be polymorphically typed, and design accordingly a polymorphic type system for it. Our type system assigns types to embedded programs and what we call behaviors to processes; a denotational semantics of behaviors is then proposed, here called trace semantics, underlying much of the remaining analysis. We state and prove a Subject Reduction property for our polymorphically typed calculus. Based on techniques borrowed from finite automata theory, type-checking of fully type-annotated processes is shown to be decidable; the time complexity of our decision procedure is exponential (this is a worst-case in theory, arguably not encountered in practice). Our polymorphically-typed calculus is a conservative extension of the typed Ambient Calculus originally proposed by Cardelli and Gordon. en_US
dc.language.iso en_US en_US
dc.publisher Boston University Computer Science Department en_US
dc.relation.ispartofseries BUCS Technical Reports;BUCS-TR-2000-021 en_US
dc.title What Are Polymorphically-Typed Ambients? en_US
dc.type Technical Report en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search OpenBU


Deposit Materials