» książki » Computers - Programming - Compilers
topmenu
 |
Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
ISBN: 9783540164791 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
ISBN: 9783540539193 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains papers on logic programming, an invited paper by Donald Michie and eleven selected papers on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications.
Contains papers on logic programming, an invited paper by Donald Michie and eleven selected papers on reasoning, logic programming language, concurren...
|
cena:
201,24 |
 |
Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990
ISBN: 9783540539315 / Angielski / Miękka / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more...
Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It empha...
|
cena:
201,24 |
 |
Object-Based Concurrent Computing: ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
ISBN: 9783540556138 / Angielski / Miękka / 269 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ECOOP '91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributedand open-ended computing. The emphasis was on conceptual, theoretical and formal aspects, as well as practical aspectsand sound experience, since such a viewpoint was deemedindispensible to investigate and establish a basis forfuture development. This volume contains 12 papers selected from 25 presented atthe workshop, together with a paper by J. A. Goguen, who wasan invited speaker at the workshop. The papers areclassified into four categories: Formal methods (1): three papers...
The ECOOP '91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributedand open-ended computing. The emp...
|
cena:
201,24 |
 |
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp '92, Leuven, Belgium, August 26-28, 1992 Proceedings
ISBN: 9783540558446 / Angielski / Miękka / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers accepted for presentation at the 4th International Symposium on Programming Language Implementation and Logic Programming (PLILP 1992) held in Leuven, Belgium, August 26-28, 1992. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages, whether algorithmic or declarative. The symposium gathered researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. The topics discussed in the volume include:...
This volume contains the papers accepted for presentation at the 4th International Symposium on Programming Language Implementation and Logic Programm...
|
cena:
201,24 |
 |
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation
ISBN: 9783540566946 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A common hazard for implementations of applicative programming languages is the excessive creation of garbage cells during program execution. The available run-time garbage collecting processes are expensive in time and often require a periodic disruption of the program execution. The present book addresses the problem of memory re-use for logic programs through program analysis rather than by run-time garbage collection. The static analysis is constructed as an application of abstract interpretation for logic programs. The starting point is a previously developed application of integrated...
A common hazard for implementations of applicative programming languages is the excessive creation of garbage cells during program execution. The avai...
|
cena:
201,24 |
 |
Functional Programming, Concurrency, Simulation and Automated Reasoning
ISBN: 9783540568834 / Angielski / Miękka / 403 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications in these disciplines. The collection presents some strong motivational points for the use of theory based systems in the areas of functional programming, concurrency, stimulation, and automated reasoning, highlighting some of their advantages and disadvantages relative to...
This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familia...
|
cena:
201,24 |
 |
Languages and Compilers for Parallel Computing: 5th International Workshop, New Haven, Connecticut, Usa, August 3-5, 1992. Proceedings
ISBN: 9783540575023 / Angielski / Miękka / 586 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains the edited versions of research papers presented at the 5th Workshop on Languages and Compilers for Parallel Computing, held at Yale University, USA, in August 1992. A cross-section of contemporary developments in the field are provided.
Contains the edited versions of research papers presented at the 5th Workshop on Languages and Compilers for Parallel Computing, held at Yale Universi...
|
cena:
201,24 |
 |
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the Netherlands, September 20 - 22, 1995
ISBN: 9783540603597 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.
The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight... This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95...
|
cena:
201,24 |
 |
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
ISBN: 9783540605799 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.
The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory. This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the ...
|
cena:
201,24 |
 |
Logic Programming
ISBN: 9783540746089 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal. The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications. This book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal. The 22 r... |
cena:
201,24 |
 |
Programming Language Implementation and Logic Programming: 5th International Symposium, Plilp '93, Tallinn, Estonia, August 25-27, 1993. Proceedings
ISBN: 9783540571865 / Angielski / Miękka / 427 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Part of a series of conferences designed to further research in declarative programming techniques, logic programming and programming language implementation, this volume contains three invited lectures and 24 selected papers on recent developments and future directions.
Part of a series of conferences designed to further research in declarative programming techniques, logic programming and programming language impleme...
|
cena:
201,24 |
 |
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu
ISBN: 9783540579359 / Angielski / Miękka / 269 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity and coding theory.
This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic and its re...
|
cena:
201,24 |
 |
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected
ISBN: 9783540582335 / Angielski / Miękka / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case...
This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and T...
|
cena:
201,24 |
 |
Specification and Transformation of Programs: A Formal Approach to Software Development
ISBN: 9783540523567 / Angielski / Twarda / 493 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Provides an introduction to formal specification and transformational programming.
Provides an introduction to formal specification and transformational programming.
|
cena:
201,24 |
 |
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
ISBN: 9783540634065 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the In...
|
cena:
201,24 |
 |
Languages and Compilers for Parallel Computing: 10th International Workshop, Lcpc'97, Minneapolis, Minnesota, Usa, August 7-9, 1997. Proceedings
ISBN: 9783540644729 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Languages and Compilers for Parallel Computing, LCPC'97, held in Minneapolis, Minnesota, USA in August 1997
The book presents 28 revised full papers together with four posters; all papers were carefully selected for presentation at the workshop and went through a thorough reviewing and revision phase afterwards. The papers are organized in topical sections on data locality, program analysis, automatic parallelization, HPF extensions and compilers, synchronization and communication,... This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Languages and Compilers for Parallel Com...
|
cena:
201,24 |
 |
Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers
ISBN: 9783540615804 / Angielski / Miękka / 520 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation.
This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in... Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications c...
|
cena:
201,24 |
 |
Algebraic and Logic Programming: 5th International Conference, Alp '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
ISBN: 9783540617358 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.
The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems." The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting,... This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germ...
|
cena:
201,24 |
 |
Types in Compilation: Second International Workshop, Tic'98, Kyoto, Japan, March 25-27, 1998 Proceedings
ISBN: 9783540649250 / Angielski / Miękka / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Japan in March 1998.
The book presents 13 revised full papers carefully selected during an iterated reviewing process together with three invited papers. The papers are organized in topical sections on typed intermediate languages, program analyses, program transformations and code generation, memory management, partial evaluation and run-time code generation, and distributed computing. This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in...
|
cena:
201,24 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
