1312 search results - page 40 / 263 » Embedded contract languages |
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
JSYML
2010
14 years 6 months ago
2010
We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the resi...
ICFP
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents our experience using a domain-specific functional language, WaveScript, to build embedded sensing applications used in scientific research. We focus on a rec...
HASKELL
2009
ACM
15 years 6 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
The tree-based languages XQuery and XSLT for XML are widely supported. Many tools do not yet support the new RDF graph query language SPARQL. We propose to embed SPARQL subqueries...