Talk:deep embedding

From Wiktionary, the free dictionary
Latest comment: 12 years ago by 194.47.15.2
Jump to navigation Jump to search

The previous definition was that of denotational semantics, not of deep embedding. I've changed the text to match the definition used in "Certifying Machine Code Safety: Shallow versus Deep Embedding" by Martin Wildmoser and Tobias Nipkow. - jun 194.47.15.2 14:49, 20 September 2011 (UTC)Reply

Retrieved from "https://en.wiktionary.org/w/index.php?title=Talk:deep_embedding&oldid=13902410"