Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
To effectively support today's global economy, database systems need to manage data in multiple languages simultaneously. While current database systems do support the storag...
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...