Stories tagged as c – C programming
  1. 2
    How PHP Executes c php stackoverflow.com
    cleong avatar via cleong 5 months ago | cached | no comments
  2. 2
    Specification, Verification, and Synthesis Using Extended State Machines with Callbacks (2016) ☶ pdf slides c formalmethods hardware linux tuba.ece.ufl.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  3. 7
    A Verified Messaging System (2017) ☶ pdf c formalmethods security cs.princeton.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  4. 2
    Reliably composable language extensions (2017) ☶ pdf c compilers plt www-users.cs.umn.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  5. 11
    Genann is a minimal neural network library in ANSI C. ai c github.com
    sebboh avatar via sebboh 5 months ago | cached | no comments
  6. 11
    Recommended compiler and linker flags for GCC c c++ developers.redhat.com
    svag avatar via svag 5 months ago | cached | 2 comments
  7. 1
    Formal verification of an interior point algorithm instanciation ☶ c formalmethods hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 1 comment
  8. 1
    LMS-Verify: Abstraction without Regret for Verified Systems Programming (2017) ☶ pdf c formalmethods plt scala security lampwww.epfl.ch
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  9. 3
    DragonFFI: FFI/JIT for the C language using Clang/LLVM c blog.llvm.org
    sanxiyn avatar via sanxiyn 5 months ago | cached | no comments
  10. 6
    Olmar: Manipulating C and C++ abstract syntax trees in Ocaml (2007) ☶ pdf c c++ compilers ml citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  11. 2
    ACSL by Example: Towards a Verified C Standard Library (2016) ☶ pdf c formalmethods cs.umd.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  12. 6
    musl - Re: Re: #define __MUSL__ in features.h c compilers openwall.com
    izabera avatar via izabera 5 months ago | cached | 2 comments
  13. 3
    Model-based Testing of Operating System-Level Security Mechanisms (2016) ☶ c formalmethods security testing tel.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  14. 37
    Why is SQLite Coded In C? c databases sqlite.org
    neonpython avatar via neonpython 5 months ago | cached | 29 comments
  15. 3
    A Formally Verified NAT (2017) ☶ pdf c formalmethods networking vignat.github.io
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 5 comments
  16. 0
    Loopy: Programmable and Formally Verified Loop Transformations (2016) ☶ c compilers formalmethods repository.upenn.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  17. 14
    Rational: Or why am I bothering to rewrite nanomsg? c networking programming nanomsg.github.io
    seschwar avatar via seschwar 5 months ago | cached | no comments
  18. 21
    Role auditing in BCHS web applications c databases learnbchs.org
    kristapsdz avatar authored by kristapsdz 5 months ago | cached | 4 comments
  19. 2
    Formal Verification of a C0 Library for Strings (2006) ☶ pdf c formalmethods www-wjp.cs.uni-saarland.de
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  20. 31
    Announcing Bitwise c education hardware programming github.com
    apg avatar via apg 5 months ago | cached | 2 comments
  21. 1
    Memory Safety for Embedded Devices with nesCheck (2017) ☶ pdf c security nebelwelt.net
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  22. 13
    pg_listen: trigger a shell command on a Postgres event ☶ show c databases github.com
    begriffs avatar authored by begriffs 6 months ago | cached | 10 comments
  23. 28
    Minimalism, or "How I Structure Code Quickly in C Without Getting Log-Jammed" c programming antongerdelan.net
    j11g avatar via j11g 6 months ago | cached | 13 comments
  24. 5
    The Stale Pointer c debugging backtrace.io
    tokenrove avatar via tokenrove 6 months ago | cached | no comments
  25. 10
    The Cost and Complexity of Cgo c go cockroachlabs.com
    markt avatar via markt 6 months ago | cached | no comments
<< Page 6 | Page 8 >>