2625 search results - page 108 / 525 » The development of the Emerald programming language |
174
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
114
click to vote
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
XML is increasingly being used as a typed data format, and therefore it becomes more important to gain access to the type system; very often this is an XML Schema. The XML Schema ...