_Anne_'s c-language [18 articles] Export

Recent papers added to _Anne_'s library classified by the tag c-language. You can also see everyone's c-language.

	A static analyzer for large safety-critical software [My Copy] In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation (2003), pp. 196-207. by Bruno Blanchet, Patrick Cousot, Radhia Cousot, et al.Jérome Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival posted to program-analysis c-language abstract-interpretation by _Anne_ on 2009-10-06 13:14:45 as along with 3 people mattmight srccheck zuleger
	Mechanized Semantics for the Clight Subset of the C Language [My Copy] Journal of Automated Reasoning, Vol. 43, No. 3. (1 October 2009), pp. 263-288. by Sandrine Blazy, Xavier Leroy posted to semantic memory-model formalization compcert c-language by _Anne_ on 2009-10-06 12:38:09 as
	Formal verification of C systems code: Structured types, separation logic and theorem proving [My Copy] Journal of Automated Reasoning: Special Issue on Operating System Verification (2009) by Harvey Tuch posted to c-language formalization isabelle-hol memory-model pointer-analysis program-analysis separation-logic by _Anne_ on 2009-04-08 08:45:10 as
	Semi-sparse flow-sensitive pointer analysis [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 226-238. by Ben Hardekopf, Calvin Lin posted to alias c-language pointer-analysis program-analysis ssa by _Anne_ on 2009-02-18 09:27:53 as
	How is aliasing used in systems software? [My Copy] In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 69-80. by Brian Hackett, Alex Aiken posted to alias c-language pointer-analysis program-analysis by _Anne_ on 2009-01-14 09:30:58 as along with 1 person bunge
	A Precise Yet Efficient Memory Model For C [My Copy] (October 2008) by Ernie Cohen, Michał Moskal, Wolfram Schulte, Stephan Tobies posted to c-language memory-model by _Anne_ on 2009-01-14 09:16:59 as
	Abstract SSV 2008 Structured Types and Separation Logic [My Copy] by Harvey Tuch posted to c-language formal-verification memory-model separation-logic wp by _Anne_ on 2008-08-06 14:14:41 as
	Types, bytes, and separation logic [My Copy] SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 97-108. by Harvey Tuch, Gerwin Klein, Michael Norrish posted to c-language hoare memory-model separation-logic by _Anne_ on 2008-08-06 12:14:39 as
	Checking and inferring local non-aliasing [My Copy] SIGPLAN Not., Vol. 38, No. 5. (May 2003), pp. 129-140. by Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi posted to alias c-language restrict semantic by _Anne_ on 2008-06-09 14:18:21 as
	The ANSI C standard (C99) [My Copy] No. WG14 N1124. (1999) by ISO posted to c-language foundation by _Anne_ on 2008-06-09 09:33:44 as along with 1 person dfisher
	Union and Cast in Deductive Verification [My Copy] In Proceedings of the {C/C++} Verification Workshop, Vol. Technical Report ICIS-R07015 (jul 2007) by Yannick Moy posted to caduceus cast c-language union wp by _Anne_ on 2008-06-06 10:42:31 as
	A theory of platform-dependent low-level software [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 209-220. by Marius Nita, Dan Grossman, Craig Chambers posted to c-language program-analysis semantic by _Anne_ on 2008-06-06 09:12:52 as
	The Why/Krakatoa/Caduceus Platform for Deductive Program Verification [My Copy] Computer Aided Verification In Computer Aided Verification (2007), pp. 173-177. by Jean-Christophe Filliâtre, Claude Marché posted to caduceus c-language formal-verification program-analysis wp by _Anne_ on 2008-06-06 09:05:30 as along with 2 people bfraser pedagand
	Applying formal proof techniques to avionics software: a pragmatic approach [My Copy] FM’99 — Formal Methods (1999), pp. 719-719. by Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen posted to caveat c-language formal-verification program-analysis by _Anne_ on 2008-06-06 07:47:28 as
	Using formal methods to validate C programs [My Copy] Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on In Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on (1994), pp. 252-258. by C. Antoine, P. Baudin, J. M. Collart, J. Raguideau, A. Trotin posted to caveat c-language formal-verification program-analysis by _Anne_ on 2008-06-06 07:45:04 as
	Cyclone: A safe dialect of c [My Copy] (2002) by T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, Y. Wang posted to c-language by _Anne_ on 2008-06-05 16:06:58 as along with 7 people and 1 group mattmight tautologico MattOConnor bdauvergne robennals krisn11 srccheck U Combinator
	The ASTREÉ Analyzer [My Copy] Programming Languages and Systems (2005), pp. 21-30. by Patrick Cousot, Radhia Cousot, Jerôme Feret, et al.Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival posted to abstract-interpretation c-language program-analysis by _Anne_ on 2008-06-05 15:49:24 as along with 2 people srccheck zuleger
	CIL: Intermediate Language and Tools for Analysis and Transformationof C Programs [My Copy] In CC '02: Proceedings of the 11th International Conference on Compiler Construction (2002), pp. 213-228. by George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer posted to cil c-language compiler by _Anne_ on 2008-06-05 15:35:02 as

Note: You may cite this page as: http://www.citeulike.org/user/_Anne_/tag/c-language

slicing	37
program-analysis	21
c-language	18
wp	14
alias	14
memory-model	11
formal-verification	10
separation-logic	10
coq	9
semantic	7
foundation	7
caveat	5
abstract-interpretation	5
goto	4
hoare	4
pointer-analysis	4
formalization	3
proof-carrying-code	3
caduceus	3
compiler	3
proof-compiler	3
interprocedural	2
data-flow	2
rewriting	2
hypotheses	2
frama-c	2
cime	1
polyspace	1
proof	1
loop-invariant	1
phd	1
compcert	1
smt_solvers	1
program_verification	1
acsl	1
bornat	1
cast	1
coccinelle	1
state-of-the-art	1
proof-tool	1
cfg	1
elan	1
graph	1
teaching	1
strategy	1
pdg	1
restrict	1
ssa	1
cil	1
union	1
isabelle-hol	1

_Anne_'s c-language [18 articles] Export

_Anne_'s tags