Author: Tadao Ichikawa
Publisher: World Scientific
ISBN: 9789810210120
Category : Computers
Languages : en
Pages : 310
Get Book Here
Book Description
This book contains articles on advanced topics in language architectures and programming environments. The chapters are written by distinctive leaders in their respective research fields. The original articles and reprints are enhanced by the editors' descriptions which are intended to guide the reader. The book will be of immense use to computer science students, computer system architects and designers, and designers of programming environments, requiring a deep and broad knowledge of these fields.
Author: Thomas W. Reps
Publisher: Springer Science & Business Media
ISBN: 1461396239
Category : Computers
Languages : en
Pages : 332
Get Book Here
Book Description
This book is a detailed account of the Synthesizer Generator, a system for creat ing specialized editors that are customized for editing particular languages. The book is intended for those with an interest in software tools and in methods for building interactive systems. It is a must for people who are using the Syn thesizer Generator to build editors because it provides extensive discussions of how to write editor specifications. The book should also be valuable for people who are building specialized editors "by hand," without using an editor generating tool. The need to manage the development of large software systems is one of the most pressing problems faced by computer programmers. An important aspect of this problem is the design of new tools to aid interactive program develop ment. The Synthesizer Generator permits one to create specialized editors that are tailored for editing a particular language. In program editors built with the Synthesizer Generator, knowledge about the language is used to continuously assess whether a program contains errors and to determine where such errors occur. The information is then displayed on the terminal screen to provide feed back to the programmer as the program is developed and modified.
Author: Mehdi Mekni
Publisher: Universal-Publishers
ISBN: 1599423715
Category :
Languages : en
Pages : 235
Get Book Here
Book Description
Multi-Agent Geo-Simulation (MAGS) is a modelling paradigm which has attracted a growing interest from researchers and practitioners for the study of various phenomena in a variety of domains such as traffic simulation, urban dynamics, environment monitoring, as well as changes of land use and cover, to name a few. These phenomena usually involve a large number of simulated actors (implemented as software agents) evolving in, and interacting with, an explicit spatial environment representation commonly called Virtual Geographic Environment (VGE). Since a geographic environment may be complex and large-scale, the creation of a VGE is difficult and needs large quantities of geometrical data originating from the environment characteristics (terrain elevation, location of objects and agents, etc.) as well as semantic information that qualifies space (building, road, park, etc.). CurrentMAGS approaches usually consider the environment as a monolithic structure, which considerably reduces the capacity to handle largescale, real world geographic environments as well as agent's spatial reasoning capabilities. Moreover, the problem of path planning in MAGS involving complex and large-scale VGEs has to be solved in real time, often under constraints of limited memory and CPU resources. Available path planners provide agents with obstacle-free paths between two located positions in the VGE, but take into account neither the environment's characteristics (topologic and semantic) nor the agents' types and capabilities. In addition, agents evolving in a VGE lack for mechanisms and tools that allow them to acquire knowledge about their virtual environment in order to make informed decisions. In this thesis, we propose a novel approach to automatically generate a semantically-enriched and geometrically-precise representation of the geographic environment that we call Informed Virtual Geographic Environment (IVGE). Our IVGE model efficiently organizes the geographic features, precisely captures the real world complexity, and reliably represents large-scale geographic environments. We also provide a new hierarchical path planning algorithm which leverages the enriched description of the IVGE in order to support agents' reasoning capabilities while optimising computation costs and taking into account both the virtual environment's characteristics and the agents' types and capabilities. Finally, we propos an environment knowledge management approach to support the agents' spatial decision making process while interacting with the IVGE.
Author:
Publisher:
ISBN:
Category : Military research
Languages : en
Pages : 764
Get Book Here
Book Description
Author:
Publisher: Cambridge University Press
ISBN: 1107036607
Category :
Languages : en
Pages : 257
Get Book Here
Book Description
Author: Pierre Deransart
Publisher: Springer Science & Business Media
ISBN: 9783540500568
Category : Computers
Languages : en
Pages : 248
Get Book Here
Book Description
This book treats the problem of formulating models in mathematical programming, and thereafter solving the resulting model. Particular emphasis is placed on the interaction between the two. The topic is viewed from different angles, namely linear programming (Walter Murray), integer programming (Ellis Johnson), network flows (John Mulvey), and stochastic programming (Roger J-B Wets). The book will be very useful for any mathematics programmer or operations researcher who works in the field of real-world modelling. The book is an important part of any university course in modelling, particularly in operations research, economics and business. The book also contains an article on the origins of mathematical programming (Alexander Rinnooy Kan). This is important reading for anyone interested in the history of the field.
Author: Peter A. Fritzson
Publisher: Springer Science & Business Media
ISBN: 9783540578772
Category : Computers
Languages : en
Pages : 472
Get Book Here
Book Description
The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques. This volume contains the papers selected for presentation at CC '94, the fifth International Conference on Compiler Construction, held in Edinburgh, U.K., in April 1994.
Author: Thomas W. Reps
Publisher: Springer Science & Business Media
ISBN: 1461396336
Category : Computers
Languages : en
Pages : 184
Get Book Here
Book Description
The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specification that includes rules defining a language's context-free abstract syn tax, context-sensitive relationships, display format, and concrete input syntax. From this specification, the Synthesizer Generator creates a display editor for manipulating objects according to these rules [Reps84]. This volume, The Synthesizer Generator Reference Manual, is intended as the defining document of the system. A companion volume, The Synthesizer Gen erator: A System for Constructing Language-Based Editors [Reps88], provides a more tutorial description of the system; it contains numerous examples that illustrate the specification and use of generated editors, as well as chapters that explain important algorithms of the implementation. The Synthesizer Generator is a generalization of our earlier system, the Cor nell Program Synthesizer [Teitelbaum81], which was a programming environ ment for a specific small dialect of PL/I. It featured a display-oriented, syntax directed editor, an incremental compiler, an execution supervisor supporting source-level debugging, and a file system containing syntactically typed pro gram fragments. Whereas PL/I was built into the Cornell Program Synthesizer, the Synthesizer Generator accepts a formal language definition as input. Although originally conceived as a tool for creating Synthesizer-like environments for arbitrary pro gramming languages, the Synthesizer Generator is more broadly useful. Any textual language with a hierarchical phrase structure grammar is a candidate. vi Preface Interactive theorem proving for formal mathematics and logic, for example, has emerged as a particularly suitable application.
Author: Brad A. Myers
Publisher: CRC Press
ISBN: 1439865434
Category : Computers
Languages : en
Pages : 481
Get Book Here
Book Description
This book brings together a number of researchers and developers from industry and academia who report on their work. It is of interest to language designers and the creators of toolkits, UIMSs, and other user interface tools.
Author: Henk Alblas
Publisher: Springer Science & Business Media
ISBN: 9783540545729
Category : Computers
Languages : en
Pages : 536
Get Book Here
Book Description
Attribute grammars have shown themselves to be a useful formalism for specifying the syntax and the static semantics of programming languages. They are also useful for implementing syntax-directed editors, compilers, translator writing systems and compiler generators, and any application that has a strong syntactic base. However, no textbooks are available that cover the entire field. To redress this imbalance, anInternational Summer School on Attribute Grammars, Applications and Systems was held in Prague, Czechoslovakia in June 1991. The course aimed at teaching the state of the art in attribute grammars, and their relation to other language specification methods. This volume presents the proceedings of the school. The papers are well suited for self-study, and a selection of them can be used for introductory courses in attribute grammars.
