This book constitutes the refereed proceedings of the 18th European Symposium on programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of...
详细信息
ISBN:
(数字)9783642005909
ISBN:
(纸本)9783642005893
This book constitutes the refereed proceedings of the 18th European Symposium on programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming.
This book constitutes the proceedings of the 19th International Conference on Logic for programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular ...
详细信息
ISBN:
(数字)9783642452215
ISBN:
(纸本)9783642452208
This book constitutes the proceedings of the 19th International Conference on Logic for programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world.
This book provides an overview of the X Window System focusing on characteristics that have significant impact on the development of both application programs and widgets. We pay special attention to applications that...
详细信息
ISBN:
(数字)9780306469688
ISBN:
(纸本)9780306460654;9781475782561
This book provides an overview of the X Window System focusing on characteristics that have significant impact on the development of both application programs and widgets. We pay special attention to applications that go beyond graphical user interfaces (GUIs); therefore we discuss issues affecting video games, visualization and imaging programs, and designing widgets with a complex appearance. While the book does not assume previous knowledge of X, it is intended for experienced programmers, especially those who want to write programs that go beyond simple GUIs. X is the dominant window system under Unix, and X servers are available for Microsoft Windows, thus enabling graphics over a network in the PC world. While Java offers an apparently universal graphics library (the abstract window toolkit), the reality is quite different: For high-quality graphics and image display, we must program on the target platform itself (X or one of Microsoft’s APIs) rather than rely on Java peer objects. X is a vast subject, so it is impossible to provide a complete coverage in a few hundred pages. Thus we selected topics that are fundamental to the system, so that the reader who masters them should be able to read the documentation of the numerous libraries and toolkits. Therefore we provide documentation on the most important Xlib and X toolkit functions only.
The Glasgow Functional programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to discuss our latest work...
详细信息
ISBN:
(数字)9781447132158
ISBN:
(纸本)9783540198208
The Glasgow Functional programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to discuss our latest work, this time spending three days in Ayr. We were joined by a number of colleagues from other universities and from industry, with whom we have been enjoying fruitful collaboration. The workshop serves the dual purpose of ensuring that the whole group remains informed of each other's work, and of providing workshop experience for research students. Most participants presented a short talk about their work, supplemented by papers which appeared in a draft proceedings distributed at the workshop. Since then the papers have been reviewed and the majority are now published here following revision. The workshop also contained a lively discussion session on functional language applications, to which the industrial participants made very helpful contributions. One interesting feature of this volume is the number of papers addressing practical issues of realistic use of functional languages, from benchmarking and profiling, to user interfaces and file handling. It is perhaps indicative that at last lazy functional languages are being used for significantly larger applications than has been typical in the past. This type of paper is likely to feature prominently in relevant conference proceedings for the next few years. Other papers here continue to address more theoretical topics, such as program logic, semantics of non determinism, program analysis, and loop detection.
暂无评论