This book constitutes the refereed proceedings of the 4th International Conference on Parallel Processing, Euro-Par'98, held in Southampton, UK, in September 1998.;The Euro-Par'98 conference is organized in in...
详细信息
ISBN:
(数字)9783540499206
ISBN:
(纸本)9783540649526
This book constitutes the refereed proceedings of the 4th International Conference on Parallel Processing, Euro-Par'98, held in Southampton, UK, in September 1998.;The Euro-Par'98 conference is organized in initially 23 workshops addressing all current topics in parallel processing ranging from hardware via software and algorithms to applications. The book presents a total of 134 revised papers selected from a total of 238 submissions from 33 countries. The selection of the papers is based on more than 850 individual reviews. The book presents the state of the art in parallel processing research and development.
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic programming, WLP...
详细信息
ISBN:
(数字)9783540321248
ISBN:
(纸本)9783540255604
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic programming are the annual meeting of the Society for Logic programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti?cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.
This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995.;Besides three invited talks, the book contains revised vers...
详细信息
ISBN:
(数字)9783540491750
ISBN:
(纸本)9783540590422
This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995.;Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry.
Über den Sinn der Normung von Programmiersprachen gehen die Meinungen weit auseinander und reichen von nutzlos bis unerlässlich. Sicher ist heute, daß zur Sicherstellung der Portabilität von Progra...
详细信息
ISBN:
(数字)9783642701993
ISBN:
(纸本)9783540150671
Über den Sinn der Normung von Programmiersprachen gehen die Meinungen weit auseinander und reichen von nutzlos bis unerlässlich. Sicher ist heute, daß zur Sicherstellung der Portabilität von Programmen zwischen Produkten verschiedener Hersteller ein Standard notwendig ist, und zwar sowohl für Anwender wie Hersteller. Einleuchtend ist aber auch, daß die Normung einer Programmiersprache wenig gemeinsam hat mit derjenigen von Schrauben oder Rädern, ist doch die Sprache ein Werkzeug von unverhältnismäßige größerer Komplexität. Die Länge des Normungs dokumentes darf daher nicht überraschen. Ebenso gehen die Ansichten über den richtigen Zeitpunkt einer Standardisierung auseinander. Während in gewissen Fällen ein Standard angestrebt wird, bevor die Sprache implementiert ist und damit ihre Zweckmäßigkeit erprobt werden kann, erfolgt sie bei Pascal fast 15 Jahre nach der Sprach-Definition. Dies ist reichlich spät, um die in dieser Zeit hervorgegangenen "Dialekte" und Varianten noch zu beeinflussen. Ein Normungs-Dokument ist eine trockene Lektüre. Die Autoren des Buches sind daher auf die gute Idee gekommen, dieses mit einem einführenden Text zusammenzulegen. Damit wird dem Leser die Möglichkeit geboten, gleichzeitig die Konzepte durch einen leichter verständlichen Text verstehen zu lernen und die Präzision des Normentextes zu nutzen. Auch gewährleistet die Einführung einen besseren Überblick. Es ist zu hoffen, daß sich beide Teile gegenseitig ergänzen und damit zu Beachtung und Erfolg verhelfen.
This book constitutes the proceedings of the 28th European Conference on Object-Oriented programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014. The 27 papers presented in this volume were carefully rev...
详细信息
ISBN:
(数字)9783662442029
ISBN:
(纸本)9783662442012
This book constitutes the proceedings of the 28th European Conference on Object-Oriented programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014. The 27 papers presented in this volume were carefully reviewed and selected from 101 submissions. They are organized in topical sections named: analysis; design; concurrency; types; implementation; refactoring; JavaScript, PHP and frameworks; and parallelism.
Although this book is intended for those with a Java background, anyone with basic programming skills could benefit from it. This book is a data-filled, yet easy-to-digest tour of the Groovy language and ecosystem.
ISBN:
(数字)9781484221174
Although this book is intended for those with a Java background, anyone with basic programming skills could benefit from it. This book is a data-filled, yet easy-to-digest tour of the Groovy language and ecosystem.
This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Sympos...
详细信息
ISBN:
(数字)9783642115035
ISBN:
(纸本)9783642115028
This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of programming Languages. The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 58 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of clarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on non-monotonic reasoning - answer set programming, types, parallelism and distribution, code quality assurance, domain specific languages, programming aids, constraints, and tabling - agents.
暂无评论