SIGN IN
SIGN UP
Safe composition of product lines
Full Text:
PDF
Buy this Article
Authors:
Sahil Thaker
Microsoft Corporation, Redmond, WA
Don Batory
University of Texas at Austin, Austin, TX
David Kitchin
University of Texas at Austin, Austin, TX
William Cook
University of Texas at Austin, Austin, TX
2007 Article
Bibliometrics
· Downloads (6 Weeks): 5
· Downloads (12 Months): 49
· Downloads (cumulative): 484
· Citation Count: 64
Published in:
· Proceeding
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Pages 95-104
ACM
New York, NY
, USA
©2007
table of contents
ISBN: 978-1-59593-855-8
doi>
10.1145/1289971.1289989
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
GPCE'13
Share:
|
Tags:
assertion checkers
compositional programming
data abstraction
design
features
languages
languages
modules and interfaces
product lines
sat solvers
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder