Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

ESOP
1999
Springer

favoriteEmaildiscussreport

132views Programming Languages» more ESOP 1999»

Deterministic Expressions in C

13 years 8 months ago

Deterministic Expressions in C

Download www.cl.cam.ac.uk

Expressions in the programming language C have such an under-speciﬁed semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formalisation, we have shown that the semantics’ additional constraints actually result in a large class of C expressions having only one possible behaviour.

Michael Norrish

Real-time Traffic

Additional Constraints | ESOP 1999 | Programming Language | Programming Languages | Under-speciﬁed Semantics |

claim paper

Related Content

» Expressive Banner Ad Auctions and ModelBased Online Optimization for Clearing

» SHIM a deterministic model for heterogeneous embedded systems

» Compact DFA Representation for Fast Regular Expression Search

» The Generalization of Generalized Automata Expression Automata

» A hybrid finite automaton for practical deep packet inspection

» Modeling NoC Architectures by Means of Deterministic and Stochastic Petri Nets

» Application of deterministic and stochastic PetriNets for performance modeling of NoC arch...

» C32SAT Checking C Expressions

» Spacetime tradeoff in regular expression matching with semideterministic finite automata

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	ESOP
Authors	Michael Norrish

Comments (0)