Tag c-language [20 articles] Export

Recent papers classified by the tag 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
	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
	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
	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 (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 1 person 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
	Individualized exercises for self-assessment of programming knowledge: An evaluation of QuizPACK [My Copy] J. Educ. Resour. Comput., Vol. 5, No. 3. (September 2005) by Peter Brusilovsky, Sergey Sosnovsky posted to adaptive-hypermedia c-language educationalhypermedia e-learning exercises learning web by mariabielik on 2007-07-31 17:49:11 as along with 2 people and 4 groups sergut brusilovsky Ensemble (Pathway for Computing Education) CMU-HCII social_navigation Adaptive-Web
	A First Course in Computational Physics and Object-Oriented Programming with C++ [My Copy] (17 March 2005) by David Yevick posted to c-language computational programming by asawin on 2006-05-31 17:17:44 as
	A Retargetable C Compiler: Design and Implementation [My Copy] (31 January 1995) by Christopher Fraser, David Hansen, David Hanson posted to compiler software-engineering c-language code-optimization by derek_farn on 2005-02-27 00:50:38 as
	CCured: type-safe retrofitting of legacy code [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 128-139. by George C. Necula, Scott Mcpeak, Westley Weimer posted to c-language software-engineering by derek_farn on 2005-02-25 14:18:50 as along with 3 people ecronin croys krisn11
	A theory of type qualifiers [My Copy] SIGPLAN Not. In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 192-203. by Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken posted to c-language compiler software-engineering typechecking by derek_farn on 2005-02-24 19:55:43 as along with 2 people danielvd croys
	An Empirical Analysis of C Preprocessor Use [My Copy] No. TR-97-04-06. (1997) by M. Ernst, G. J. Badros, D. Notkin posted to c-language c-preprocessor by derek_farn on 2005-02-23 16:14:50 as
	Quantifying Behavioral Differences Between C and C++ Programs [My Copy] Journal of Programming Languages, Vol. 2, No. 4. (1994), pp. 313-351. by Brad Calder, Dirk Grunwald, Benjamin Zorn posted to c c-language compiler by derek_farn on 2005-02-14 21:16:23 as

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

program-analysis	8
formal-verification	4
alias	3
compiler	3
memory-model	3
semantic	3
software-engineering	3
abstract-interpretation	2
caveat	2
pointer-analysis	2
separation-logic	2
wp	2
adaptive-hypermedia	1
c	1
c-preprocessor	1
caduceus	1
code-optimization	1
compcert	1
computational	1
e-learning	1
educationalhypermedia	1
exercises	1
formalization	1
hoare	1
learning	1
programming	1
restrict	1
ssa	1
typechecking	1
web	1

Tag c-language [20 articles] Export

Related Tags