3056 search results - page 246 / 612 » Compiling Embedded Languages |
100
Voted
TPHOL
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
TACAS
1995
Springer
15 years 2 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
168
click to vote
ICDE
2008
IEEE
16 years 12 days ago
2008
IEEE
Many data integration solutions in the market today include tools for schema mapping, to help users visually relate elements of different schemas. Schema elements are connected wit...
74
Voted
ACII
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Working with emotion-related states in technological contexts requires a standard representation format. Based on that premise, the W3C Emotion Incubator group was create...
CN
2000
14 years 11 months ago
2000
The classical plain-text representation of source code is convenient for programmers but requires parsing to uncover the deep structure of the program. While sophisticated softwar...