Proceedings of the 2nd Conference on Domain-Specific Languages (DSL '99)

Proceedings of the 2nd Conference on Domain-Specific Languages (DSL '99) PDF Author:
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 200

Get Book Here

Book Description

Proceedings of the 2nd Conference on Domain-Specific Languages (DSL '99)

Proceedings of the 2nd Conference on Domain-Specific Languages (DSL '99) PDF Author:
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 200

Get Book Here

Book Description


Index of Conference Proceedings

Index of Conference Proceedings PDF Author: British Library. Document Supply Centre
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 836

Get Book Here

Book Description


Domain-Specific Program Generation

Domain-Specific Program Generation PDF Author: Christian Lengauer
Publisher: Springer Science & Business Media
ISBN: 3540221190
Category : Computers
Languages : en
Pages : 336

Get Book Here

Book Description
Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product. This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presented are organized into topical sections on - surveys of domain-specific programming technologies - domain-specific programming languages - tool support for program generation - domain-specific techniques for program optimization

Foundations of Information Technology in the Era of Network and Mobile Computing

Foundations of Information Technology in the Era of Network and Mobile Computing PDF Author: Ricardo Baeza-Yates
Publisher: Springer
ISBN: 0387356088
Category : Computers
Languages : en
Pages : 624

Get Book Here

Book Description
Foundations of Information Technology in the Era of Network and Mobile Computing is presented in two distinct but interrelated tracks: -Algorithms, Complexity and Models of Computation; -Logic, Semantics, Specification and Verification. This volume contains 45 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montréal, Québec, Canada in August 2002.

Cooperative Design, Visualization, and Engineering

Cooperative Design, Visualization, and Engineering PDF Author: Yuhua Luo
Publisher: Springer Science & Business Media
ISBN: 3540231498
Category : Computers
Languages : en
Pages : 256

Get Book Here

Book Description
This book constitutes the refereed proceedings of the First International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2004, held in Palma de Mallorca, Spain, in September 2004. The 28 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers address all current issues in cooperative design, visualization, and engineering, ranging from theoretical and methodological topics to various systems and frameworks to applications in a variety of fields.

Domain-Specific Languages

Domain-Specific Languages PDF Author: Walid Mohamed Taha
Publisher: Springer
ISBN: 3642030343
Category : Computers
Languages : en
Pages : 420

Get Book Here

Book Description
Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Why is it still hard to mechanize many tasks that seem to be fundamentally routine, even as we see ever-increasing - pacity for raw mechanical computing? The disciplined study of domain-speci?c languages (DSLs) is an emerging area in computer science, and is one which has the potential to revolutionize the ?eld, and bring us closer to answering this question. DSLs are formalisms that have four general characteristics. – They relate to a well-de?ned domain of discourse, be it controlling tra?c lights or space ships. – They have well-de?ned notation, such as the ones that exist for prescribing music, dance routines, or strategy in a football game. – The informal or intuitive meaning of the notation is clear. This can easily be overlooked, especially since intuitive meaning can be expressed by many di?erent notations that may be received very di?erently by users. – The formal meaning is clear and mechanizable, as is, hopefully, the case for the instructions we give to our bank or to a merchant online.

Proceedings

Proceedings PDF Author:
Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 588

Get Book Here

Book Description


Integrated Formal Methods

Integrated Formal Methods PDF Author: Judi M.T. Romijn
Publisher: Springer
ISBN: 354032240X
Category : Computers
Languages : en
Pages : 416

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.

Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming (ICFP '02)

Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming (ICFP '02) PDF Author:
Publisher: Pearson Education
ISBN: 9781581134872
Category : Computer science
Languages : en
Pages : 298

Get Book Here

Book Description


Proceedings of the 34th Annual Hawaii International Conference on System Sciences

Proceedings of the 34th Annual Hawaii International Conference on System Sciences PDF Author: Ralph H. Sprague, Jr.
Publisher:
ISBN: 9780769509815
Category : Computers
Languages : en
Pages : 408

Get Book Here

Book Description
Annotation Contains abstracts of 440 papers presented at the January 2001 conference in nine major tracks. The session topics are collaboration systems and technology, complex systems, decision technologies for management, digital documents, emerging technologies, information technology in health care, Internet and the digital economy, organizational systems and technology, and software technology. Subject headings within the sessions include asynchronous learning networks, intelligent systems in traffic and transportation, e- government, telemedicine, web engineering, community informatics, trends in outsourcing of information systems, mobile computing and wireless networks, and domain-specific languages for software engineering. No subject index. The CD-ROM contains the complete papers in Abode Acrobat format. The disc is of a hybrid structure that allows access from PCs, Macintosh, and UNIX. Annotation copyrighted by Book News, Inc., Portland, OR.