新規登録 | ログイン | FAQ      [?] 

タグ: c-language [16 articles]

Recent papers classified by the tag c-language.
  • Individualized exercises for self-assessment of programming knowledge: An evaluation of QuizPACK
    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 read along with 2 people and 3 groups sergut brusilovsky CMU-HCII social_navigation Adaptive-Web
  • CCured: type-safe retrofitting of legacy code
    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 read along with 3 people ecronin croys krisn11
  • An Empirical Analysis of C Preprocessor Use
    No. TR-97-04-06. (1997)
    by M Ernst, GJ Badros, D Notkin
    posted to c-language c-preprocessor by derek_farn on 2005-02-23 16:14:50 as read
  • A theory of type qualifiers
    Vol. 34, No. 5. (May 1999), pp. 192-203.
    by Jeffrey S Foster, Manuel F&\#228;hndrich, Alexander Aiken
    posted to c-language compiler software-engineering typechecking by derek_farn on 2005-02-24 19:55:43 as read along with 2 people danielvd croys
  • A Retargetable C Compiler: Design and Implementation
    (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 read
  • Quantifying Behavioral Differences Between C and C++ Programs
    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 read
  • A First Course in Computational Physics and Object-Oriented Programming with C++
    (17 March 2005)
    by David Yevick
    posted to c-language computational programming by asawin on 2006-05-31 17:17:44 as ****
  • Abstract SSV 2008 Structured Types and Separation Logic
    by Harvey Tuch
    posted to c-language formal-verification memory-model separation-logic by _Anne_ on 2008-08-06 14:14:41 as ***
  • A theory of platform-dependent low-level software
    (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 read
  • The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
    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 **
  • The ASTREÉ Analyzer
    Programming Languages and Systems (2005), pp. 21-30.
    by Patrick Cousot, Radhia Cousot, Jerôme Feret, 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 read along with 2 people srccheck zuleger
  • Using formal methods to validate C programs
    Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on (1994), pp. 252-258.
    by C Antoine, P Baudin, JM Collart, J Raguideau, A Trotin
    posted to caveat c-language formal-verification program-analysis by _Anne_ on 2008-06-06 07:45:04 as read
  • Checking and inferring local non-aliasing
    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 ***
  • Applying formal proof techniques to avionics software: a pragmatic approach
    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 read
  • Types, bytes, and separation logic
    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 **
  • Cyclone: A safe dialect of c
    (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 read along with 6 people tautologico MattOConnor bdauvergne robennals krisn11 srccheck
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/c-language

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.