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