3824 search results - page 470 / 765 » Geometry Constructions Language |
791
click to vote
Book
"Bxbasic is presented as a programming tutorial, to develop and construct a Console Mode Scripting Engine and
Byte Code Compiler. The Bxbasic dialect, included here, is a sub...
260
click to vote
ICDE
2005
IEEE
16 years 6 months ago
2005
IEEE
Databases are at the core of successful businesses. Due to the voluminous stores of personal data being held by companies today, preserving privacy has become a crucial requiremen...
216
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
With XQuery becoming the standard language for querying XML, and the relational SQL platform being recognized as an important platform to store and process XML, the SQL/XML standa...
121
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Port automata are an operational model for component connectors in a coordination language such as Reo. They describe which sets of ports can synchronize in each state of the conn...
172
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...