4139 search results - page 335 / 828 » Designing and Implementing Combinator Languages |
170
Voted
FDL
2005
IEEE
16 years 19 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
171
click to vote
FDL
2005
IEEE
16 years 19 days ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
226
click to vote
HCI
2007
15 years 8 months ago
2007
Abstract. The Multimedia Modeling Language (MML) is a platformindependent modeling language for model-driven development of interactive multimedia applications. Using models provid...
323
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
This paper defines an object-oriented language with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, execut...
170
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...