1312 search results - page 63 / 263 » Embedded contract languages |
NLDB
2004
Springer
15 years 5 months ago
2004
Springer
—Most Web and legacy paper-based documents are available in human comprehensible text form, not readily accessible to or understood by computer programs. Here, we investigate an ...
ECMDAFA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Today's graphical modelling languages, despite using symbols and connections, represent large model parts as structured text. We benefit from sophistic text editors,...
101
click to vote
ICFP
2006
ACM
15 years 12 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
GPCE
2007
Springer
15 years 6 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
145
click to vote
JOT
2007
14 years 11 months ago
2007
machines raise the abstraction level of the execution environment at the cost of restricting the set of supported languages. Moreover, the ability of a language implementation to i...