Back to Results
First PageMeta Content
Logic in computer science / Forcing / Deduction / Combinatory logic / Lambda calculus / Denotational semantics / Valuation / Symbol / Entailment / Logic / Abstract algebra / Mathematical logic


An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C Robbert Krebbers ∗ ICIS, Radboud University Nijmegen, The Netherlands
Add to Reading List

Document Date: 2013-11-12 14:05:28

Open Document

File Size: 369,08 KB

Share Result on Facebook

City

perm / INRIAParis Rocquencourt / San Diego / /

Company

m and S / /

Country

France / United States / Netherlands / /

Currency

pence / /

/

Event

Man-Made Disaster / /

IndustryTerm

e-call / e-exists / permission systems / much more complex permission systems / e-alloc / e-load / e-if / e-free / e-binop / verification tools / standalone tool / e-frame / e-weaken / e-assign / permission accounting / e-base / /

MarketIndex

De Bruijn / /

Person

Isabelle / /

Position

author / Coq proof assistant / const qualifier / proof assistant / head / interpreter / programmer / /

Product

e-base / /

ProgrammingLanguage

Haskell / E / C / /

Technology

av / Java / dom / /

URL

http /

SocialTag