Kategoria BISAC: Computers >> Languages - General

Complex information structures are found in many disciplines including physics, genetics, biology and all branches of the information sciences. The current increasing, widespread use of information technology in all academic activities' emphasizes the need to understand how people construct and use such structures. The practices and activities found within the community of programmers provides a rich study area. The contents of this book are devoted to fundamental research that directly informs: the teaching community about some of the recent issues and problems that should help readers to...

Defence applications are subject to some of the world's most demanding requirements for reliability, controllability, security, flexibility, and synchronization. The evolution of defence processes towards network enabled systems and rapid deployment scenarios, is creating an urgent demand for highly adaptive and autonomous information support systems. In particular there are requirements for reduced manpower in support roles, autonomous IT infrastructures, and automated logistics and planning, all of which provide significant scope for an agent-oriented solution set. The workshop addresses...

The area of autonomous agents and multi-agent systems (MAS) has grown into a promising technology offering sensible alternatives for the design of distributed, intelligent systems. Several efforts have been made by researchers and practitioners, both in academia and industry, and by several standardisation consortia in order to provide new languages, tools, methods, and frameworks so as to establish the necessary standards for a wide use of MAS technology. The papers of this volume focus on the development of programming languages and tools that can effectively support MAS programming and...

This journal is devoted to aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.

The focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, evaluation of such approaches and their impact on improving quality attributes of software systems.

This book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS.

The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 87 submissions. The papers address fundamental issues in the specification, analysis, and implementation of programming languages and systems; they are organized in topical sections on types for implementations, proof and types, verification and reasoning, security and distribution, analysis and verification, and...

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006. This volume presents 20 revised full papers and 6 application papers together with 2 invited talks, 2 tutorials and special interest papers, as well as 17 poster presentations and the abstracts of 7 doctoral consortium articles. Coverage includes all issues of current research in logic programming.

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed.

This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages, IFL 2005, held in Dublin, Ireland in September 2005. Ranging from theoretical and methodological topics to implementation issues and applications in various contexts, the papers address all current issues on functional and function-based languages.