100 search results - page 3 / 20 » Compositional Type Systems for Stack-Based Low-Level Languag... |
ACSD
2008
IEEE
14 years 3 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
ESOP
2006
Springer
14 years 6 days ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
ESOP
2011
Springer
13 years 1 days ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
ICNP
2005
IEEE
14 years 2 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
ICEBE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...