Loading...
Please wait, while we are loading the content...
Similar Documents
A Case Study in Specifying the Denotational Semantics of C
| Content Provider | Semantic Scholar |
|---|---|
| Author | Papaspyrou, Nikolaos S. |
| Copyright Year | 1999 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.softlab.ece.ntua.gr/~nickie/Papers/papaspyrou-1999-cssdsc.pdf |
| Alternate Webpage(s) | http://www.softlab.ntua.gr/~nickie/Papers/papaspyrou-1999-cssdsc.pdf |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | ANSI C APL C syntax C++ Computation Debugging Denotational semantics Forward error correction Java Monad (functional programming) Monad transformer Parallel computing Program transformation Programming Languages Programming language Semantics (computer science) Software industry Specification Transformers WDR92 gene notation |
| Content Type | Text |
| Resource Type | Article |