Integrated language definition testing

2011 ◽  
Author(s):  
Lennart C.L. Kats ◽  
Rob Vermaas ◽  
Eelco Visser
Keyword(s):  
Language Definition

Ellie language definition report

1990 ◽  
Vol 25 (11) ◽  
pp. 45-64 ◽  
Author(s):  
B. Andersen
Keyword(s):  
Language Definition

scholarly journals An Algorithmic Definition of the Axial Map

2005 ◽  
Vol 32 (3) ◽  
pp. 425-444 ◽  
Author(s):  
Alasdair Turner ◽  
Alan Penn ◽  
Bill Hillier
Keyword(s):  
Formal Language ◽  
Spatial Configuration ◽  
Empirical Studies ◽  
Space Syntax ◽  
Original Definition ◽  
Language Definition ◽  
Efficient Representation ◽  
Definition Of ◽  
Analytical Power ◽  
Concise Description

The fewest-line axial map, often simply referred to as the ‘axial map’, is one of the primary tools of space syntax. Its natural language definition has allowed researchers to draw consistent maps that present a concise description of architectural space; it has been established that graph measures obtained from the map are useful for the analysis of pedestrian movement patterns and activities related to such movement: for example, the location of services or of crime. However, the definition has proved difficult to translate into formal language by mathematicians and algorithmic implementers alike. This has meant that space syntax has been criticised for a lack of rigour in the definition of one of its fundamental representations. Here we clarify the original definition of the fewest-line axial map and show that it can be implemented algorithmically. We show that the original definition leads to maps similar to those currently drawn by hand, and we demonstrate that the differences between the two may be accounted for in terms of the detail of the algorithm used. We propose that the analytical power of the axial map in empirical studies derives from the efficient representation of key properties of the spatial configuration that it captures.

Integrated language definition testing

2011 ◽  
Vol 46 (10) ◽  
pp. 139-154 ◽  
Author(s):  
Lennart C.L. Kats ◽  
Rob Vermaas ◽  
Eelco Visser
Keyword(s):  
Language Definition

scholarly journals Fortran M language definition

1993 ◽  
Author(s):  
I.T. Foster ◽  
K.M. Chandy
Keyword(s):  
Language Definition

Announcement—the temporal query language TSQL2 final language definition

1994 ◽  
Vol 23 (3) ◽  
pp. 34 ◽  
Author(s):  
Richard Thomas Snodgrass ◽  
Ilsoo Ahn ◽  
Gad Ariav ◽  
Don Batory ◽  
James Clifford ◽  
...  
Keyword(s):  
Query Language ◽  
Temporal Query ◽  
Temporal Query Language ◽  
Language Definition

Attribute Grammars and Their Applications

2011 ◽  
pp. 268-273
Author(s):  
Krishnaprasad Thirunarayan
Keyword(s):  
Programming Languages ◽  
Formal Specification ◽  
Attribute Grammars ◽  
Compiler Generation ◽  
Semantics Of Programming Languages ◽  
Definite Clause Grammars ◽  
Language Definition ◽  
Definite Clause ◽  
Specification And Implementation

Attribute grammars are a framework for defining semantics of programming languages in a syntax-directed fashion. In this chapter, we define attribute grammars, and then illustrate their use for language definition, compiler generation, definite clause grammars, design and specification of algorithms, and so forth. Our goal is to emphasize its role as a tool for design, formal specification and implementation of practical systems, so our presentation is example rich.

Sign in / Sign up

Export Citation Format

Share Document