Sciweavers

1497 search results - page 16 / 300

» Extended static checking

27

TOPLAS
2008

89views more TOPLAS 2008»

Types for atomicity: Static checking and inference for Java

13 years 7 months ago

Types for atomicity: Static checking and inference for Java

Download slang.soe.ucsc.edu

Cormac Flanagan, Stephen N. Freund, Marina Lifshin...

claim paper

Read More »

20

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

13 years 6 months ago

Model Checking Is Static Analysis of Modal Logic

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

22

JSC
2011

61views more JSC 2011»

Static consistency checking of web applications with WebDSL

13 years 2 months ago

Static consistency checking of web applications with WebDSL

Download swerl.tudelft.nl

Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kat...

claim paper

Read More »

47

COORDINATION
2011
Springer

199views Distributed And Parallel Com...» more COORDINATION 2011»

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

12 years 11 months ago

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

Download www.graco.c.u-tokyo.ac.jp

Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flem...

claim paper

Read More »

26

DEON
2010
Springer

213views Automated Reasoning» more DEON 2010»

Privacy Policies with Modal Logic: The Dynamic Turn

14 years 13 days ago

Privacy Policies with Modal Logic: The Dynamic Turn

Download aucher.gforge.uni.lu

Abstract. Privacy policies are often deﬁned in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies deﬁ...

Guillaume Aucher, Guido Boella, Leendert van der T...

claim paper

Read More »

« Prev « First page 16 / 300 Last » Next »