6201 search results - page 163 / 1241 » Implementation of Axiomatic Language |
111
Voted
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...
137
click to vote
DGO
2003
15 years 6 months ago
2003
Federal agencies implement laws passed by the Congress by creating rules and regulations that can be applied in practice. During this process, staffs at the various agencies may r...
145
click to vote
WSCG
2003
15 years 6 months ago
2003
The use of Virtual Environments as a user interface can be important for certain types of applications, especially in the fields of education and entertainment. These synthetic wo...
119
click to vote
CONNECTION
2008
15 years 4 months ago
2008
We introduce an approach for physically-grounded natural language interpretation by robots which reacts appropriately to unanticipated physical changes in the environment and dyna...
151
click to vote
DSL
2009
15 years 2 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...