Author: USENIX Association
Publisher: Usenix Association
ISBN:
Category : Computers
Languages : en
Pages : 326
Book Description
Proceedings of the Conference on Domain-Specific Languages, October 15-17, 1997, Santa Barbara, California
Author: USENIX Association
Publisher: Usenix Association
ISBN:
Category : Computers
Languages : en
Pages : 326
Book Description
Publisher: Usenix Association
ISBN:
Category : Computers
Languages : en
Pages : 326
Book Description
Proceedings of the 2nd Conference on Domain-Specific Languages (DSL '99)
Author:
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 200
Book Description
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 200
Book Description
Semantics, Applications, and Implementation of Program Generation
Author: Walid Taha
Publisher: Springer
ISBN: 3540453504
Category : Computers
Languages : en
Pages : 237
Book Description
This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.
Publisher: Springer
ISBN: 3540453504
Category : Computers
Languages : en
Pages : 237
Book Description
This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.
Languages and Tools for Hybrid Systems Design
Author: Luca P. Carloni
Publisher: Now Publishers Inc
ISBN: 193301928X
Category : Computational intelligence
Languages : en
Pages : 208
Book Description
Languages and Tools for Hybrid Systems Design is intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems
Publisher: Now Publishers Inc
ISBN: 193301928X
Category : Computational intelligence
Languages : en
Pages : 208
Book Description
Languages and Tools for Hybrid Systems Design is intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems
Coordination of Internet Agents
Author: Andrea Omicini
Publisher: Springer Science & Business Media
ISBN: 3662044013
Category : Computers
Languages : en
Pages : 537
Book Description
The Internet confronts IT researchers, system designers, and application developers with completely new challenges and, as a fascinating new computing paradigm, agent technology has recently attracted broad interest and strong hopes for shaping the future information society. This monograph-like anthology is the first systematic guide to models and enabling technologies for the coordination of intelligent agents on the Internet and respective applications.
Publisher: Springer Science & Business Media
ISBN: 3662044013
Category : Computers
Languages : en
Pages : 537
Book Description
The Internet confronts IT researchers, system designers, and application developers with completely new challenges and, as a fascinating new computing paradigm, agent technology has recently attracted broad interest and strong hopes for shaping the future information society. This monograph-like anthology is the first systematic guide to models and enabling technologies for the coordination of intelligent agents on the Internet and respective applications.
Proceedings of the Estonian Academy of Sciences, Physics and Mathematics
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 112
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 112
Book Description
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montréal, Canada, September 18-21, 2000
Author:
Publisher: Pearson Education
ISBN: 9781581132021
Category : Computer architecture
Languages : en
Pages : 308
Book Description
Publisher: Pearson Education
ISBN: 9781581132021
Category : Computer architecture
Languages : en
Pages : 308
Book Description
ACM SIGPLAN Notices
Author:
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 1264
Book Description
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 1264
Book Description
Proceedings of the First International Workshop on Software and Performance
Author:
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 244
Book Description
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 244
Book Description
Generative Programming and Component Engineering
Author: Frank Pfenning
Publisher: Springer
ISBN: 3540398155
Category : Computers
Languages : en
Pages : 407
Book Description
This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22–25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies. GPCE was created as an e?ort to bring - getherresearchersworkingonboththeprogramminglanguagesandthesoftware engineeringsideofprogramgenerationandcomponentengineering. Thecommon theme of program generation and component engineering is the domain-speci?c nature of both approaches. Depending on the characteristics of a domain, either a generative or a compositional technical solution may be appropriate. In just its second year, GPCE has shown a lot of promise for building a strong community. The response to the call for papers was excellent, with 62 submissions to the technical program, 2 of which were later withdrawn. Each paper received between three and ?ve reviews, many of them quite thorough and hopefully valuable to all authors. The electronic meeting allowed for - depthdiscussionsofallsubmissions,oftentoamuchgreaterextentthanpossible in a physical PC meeting. As a result, 21 papers were selected for presentation at the conference and are included in this volume, together with abstracts for the invited talks by Olivier Danvy and Peri Tarr. Of the accepted papers, 3 are co-authored by PC members (from a total of 5 PC submissions). We tried hard to ensure fairness and hold PC submissions to a high standard. The EDAS conference submission system was used to manage the paper submissions. Our EDAS installation was supported by Blair MacIntyre, who was particularlyhelpfulinresolvingtechnicalissueswiththesystem.
Publisher: Springer
ISBN: 3540398155
Category : Computers
Languages : en
Pages : 407
Book Description
This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22–25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies. GPCE was created as an e?ort to bring - getherresearchersworkingonboththeprogramminglanguagesandthesoftware engineeringsideofprogramgenerationandcomponentengineering. Thecommon theme of program generation and component engineering is the domain-speci?c nature of both approaches. Depending on the characteristics of a domain, either a generative or a compositional technical solution may be appropriate. In just its second year, GPCE has shown a lot of promise for building a strong community. The response to the call for papers was excellent, with 62 submissions to the technical program, 2 of which were later withdrawn. Each paper received between three and ?ve reviews, many of them quite thorough and hopefully valuable to all authors. The electronic meeting allowed for - depthdiscussionsofallsubmissions,oftentoamuchgreaterextentthanpossible in a physical PC meeting. As a result, 21 papers were selected for presentation at the conference and are included in this volume, together with abstracts for the invited talks by Olivier Danvy and Peri Tarr. Of the accepted papers, 3 are co-authored by PC members (from a total of 5 PC submissions). We tried hard to ensure fairness and hold PC submissions to a high standard. The EDAS conference submission system was used to manage the paper submissions. Our EDAS installation was supported by Blair MacIntyre, who was particularlyhelpfulinresolvingtechnicalissueswiththesystem.