Sciweavers

ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
14 years 1 months ago
Building Compilers by Combining Algebras
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
Garrin Kimmell, Ed Komp, Perry Alexander
APLAS
2006
ACM
14 years 1 months ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison
GPCE
2007
Springer
14 years 1 months ago
Constructing language processors with algebra combinators
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
Philip Weaver, Garrin Kimmell, Nicolas Frisby, Per...