An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language

Details An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language

2011-08-11

arxiv.org/abs/1108.2359v1

EPTCS 61, 2011, pp. 81-95

Computer Science

Logic in Computer Science

In Proceedings WWV 2011, arXiv:1108.2085

Scientific paper

10.4204/EPTCS.61.6

Types-and-effects are type systems, which allow one to express general semantic properties and to statically reason about program's execution. They have been widely exploited to specify static analyses, for example to track computational side effects, exceptions and communications in concurrent programs. In this paper we adopt abstract interpretation techniques to reconstruct (following the Cousot's methodology) a types-and-effects system developed to handle security problems of a multi-tier web language. Our reconstruction allows us to show that this types-and-effects system is not sound with respect to the semantics of the language. In addition, we correct the soundness issues in the analysis and systematically construct a correct analyser.

Affiliated with

Also associated with

No associations

Rating

An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-275805