312 search results - page 2 / 63 » Restricting and Embedding Imperatives |
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
POPL
1998
ACM
13 years 9 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
FIRSTMONDAY
2010
13 years 2 months ago
2010
In recent years, new socially-oriented Web technologies have been portrayed as placing the learner at the centre of networks of knowledge and expertise, potentially leading to new...
DOCENG
2009
ACM
13 years 3 months ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...