Topological relativity is a concept of interest in geographic information theory. One way of assessing the importance of topology in spatial reasoning is to analyze commonplace terms from natural language relative to conceptual neighborhood graphs, the alignment structures of choice for topological relations. Sixteen English-language spatial prepositions for regionregion relations were analyzed...

We introduce PURE, a pure declarative approach to implementing declarative transformations with declarative tools. This DomainSpecific Language (DSL), inspired by the Definite Clause Grammar (DCG) and Parsing Expression Grammar (PEG) formalisms, is implemented using the Revised Report on the Algorithmic Language Scheme (R5RS). Thanks to its use of the MINIKANREN logic programming system it supp...

Abstract During the past decade, a small but rapidly growing number of Law&Tech scholars have been applying algorithmic methods in their legal research. This Article does it too, for sake saving disclosure regulation failure: normative strategy that has long considered dead by scholars, conspicuously abused rule-makers. Existing proposals to revive duties, however, either focus on industry ...

We discuss a translation methodology for transforming a high level algorithmic speciication written in Alpha to an imperative data parallel language. We informally introduce the Alpha language with the aid of an example and explain how it is adapted for doing static analysis and transformation. An Alpha program can be naively compiled 11] using applicative caching. Our compilation method makes ...

This paper presents a high level, machine independent, algorithmic, singleassignment programming language SA-C and its optimizing compiler targeting recongurable systems, and intended for Image Processing applications. Language features are introduced and discussed. The intermediate forms DDCF and DFG, used in the optimization and code-generation phases are described. Conventional and recon gur...

Earlier research in the modeling and simulation of hybrid systems led to the development of a general hybrid systems modeling language (hsml). EEort is underway to implement this concept in software. The standard matlab model framework and integration algorithms have been extended to support state-event handling in continuous-time components and to handle embedded discrete-time components. In t...

Although in the realm of artificial language it is possible to construct languages that do not comprise expressions that are at once both ambiguous and semantically legal, some artificial languages, and all natural languages, present ambiguous constructs that are nonetheless semantically legal expressions accepted by the language. We introduce the §-calculus (meta-S), a declarative adaptive par...