urban design problems have become so complex that no single designer is able to consider all aspects of a design area simultaneously. lately the application of computerized and scientific methods have helped designers analyze complex problems. one of these new methods is space syntax. the purpose of this study is to first investigate the strengths and weaknesses of this method and then suggest ...

In this issue, Karl Crary and Robert Harper respond to the critique of higher-order abstract syntax appearing in Logic Column 14, “Nominal Logic and Abstract Syntax” (SIGACT News 36(4), December 2005). I am always looking for contributions. If you have any suggestion concerning the content of the Logic Column, or if you would like to contribute by writing a column yourself, feel free to get in ...

Meta programs manipulate structured representations, i.e., abstract syntax trees, of programs. The conceptual distance between the concrete syntax meta-programmers use to reason about programs and the notation for abstract syntax manipulation provided by general purpose (meta-) programming languages is too great for many applications. In this paper it is shown how the syntax definition formalis...