BALL

search results

25 ( ) from offset 0 out of 35

604 SystemRequirements description ## Essential 1. Any one of the supported compilers: * [rscheme][1] version 0.7.3.4-b7 or above. (Recommended: [install from askemos.org][2] with minor modifications). * [Chicken Schem
629 sqlite is a software
649 sqlite license public domain
652 sqlite creator (registered) Hipp, Wyrick & Company
663 sqlite homepage http://sqlite.org/
830 sqlite software utile SQL
926 sqlite http://purl.org/dc/terms/language CProgrammingLanguage
1257 SACSP description (draft text) ## Intro The protocol is a *simplified byzantine paxos* Compare with [requirements][1] to highlight differences. Should this include references to other alternatives? The consensu
1555 XSLTbL description # XSLT based Language (working title) > A clean language definition looks differently... – Christian > Grothoff Granted. – /jfw The language merges some equivalent languages to denote abstract syn
1822 About Demo:Wallet container member ### Why Trust It? #### Technical The wallet code is written in [BAIL][1] and runs on [BALL][2]. We discuss the verification strategy for those in the next section. Assuming those working *"good enough
1867 ### Why Trust It? #### Technical The wallet code is written in [BAIL][1] and runs on [BALL][2]. We discuss the verification strategy for those in the next section. Assuming those working *"good enough title Trust and Verification
1900 update (BALL Core III) description The update element must contain valid SQLite statements. The database is part of the state of agent (the current place).
1931 SQLite Interface ↑ ... is defined by http://www.askemos.org/2013/bail/
2182 sql-quote ↑ ... is defined by SQLite Interface
2185 sql-write ↑ ... is defined by SQLite Interface
2188 sql-ref ↑ ... is defined by SQLite Interface
2191 sql-ref/default ↑ ... is defined by SQLite Interface
2194 sql-query ↑ ... is defined by SQLite Interface
2248 current-sqlite ↑ ... is defined by urn:BALL:managed
2249 current-sqlite is a BAIL procedure
2322 SQLite Interface see also update (BALL Core III)
2328 SQLite Interface is a Modul
2355 SQLite Interface derived from sqlite
2357 http://www.askemos.org/2006/XSQL/ ↑ ... is defined by SQLite Interface
3763 documentation description ## Usage * TBD Howto and first steps. 1. Semantics rest on unreliable, unidirectional message passing with *share nothing* semantics. This choice was inspired by and follows the mo