Výsledky vyhľadávania - "Verification. Keywords compositional programming"

General Terms

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.utexas.edu/ftp/pub/techreports/tr06-33.pdf.

Predmety: Design, Languages, Verification. Keywords compositional programming, program synthesis, SAT solvers, features

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2546

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2546
http://www.cs.utexas.edu/ftp/pub/techreports/tr06-33.pdf

Safe composition of product lines

Autori: Sahil Thaker Don Batory David Kitchin a ďalší

Prispievatelia: Sahil Thaker Don Batory David Kitchin a ďalší

Zdroj: http://www.cs.utexas.edu/users/wcook/papers/gpce07/ThakerGPCE07.pdf.

Predmety: Design, Languages, Verification. Keywords compositional programming, product lines, SAT solvers, features

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2252; http://www.cs.utexas.edu/users/wcook/papers/gpce07/ThakerGPCE07.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2252
http://www.cs.utexas.edu/users/wcook/papers/gpce07/ThakerGPCE07.pdf