Sciweavers

1497 search results - page 16 / 300

» Extended static checking

100

Voted

TOPLAS
2008

89views more TOPLAS 2008»

Types for atomicity: Static checking and inference for Java

15 years 1 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 »

86

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 9 days ago

Model Checking Is Static Analysis of Modal Logic

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

78

Voted

JSC
2011

61views more JSC 2011»

Static consistency checking of web applications with WebDSL

14 years 8 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 »

140

COORDINATION
2011
Springer

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

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

14 years 5 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 »

128

Voted

DEON
2010
Springer

213views Automated Reasoning» more DEON 2010»

Privacy Policies with Modal Logic: The Dynamic Turn

15 years 6 months 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 »