3404 search results - page 25 / 681 » C Programming Tutorial |
98
Voted
JFP
2000
14 years 9 months ago
2000
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...
194
Voted
Book
C++ is taught "the Qt Way"
GPCE
2004
Springer
15 years 3 months ago
2004
Springer
ESOP
1999
Springer
15 years 1 months ago
1999
Springer
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
SAC
2000
ACM
15 years 1 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...