Back to Results
First PageMeta Content
C POSIX library / POSIX / Stat / Linux kernel / Typedef / Procfs / ALGOL 68 / USB mass-storage device class / SCSI / Computing / C programming language / C++


SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers∗ Yoann Padioleau Julia L. Lawall
Add to Reading List

Document Date: 2011-12-17 11:25:57


Open Document

File Size: 153,88 KB

Share Result on Facebook

City

Shanghai / Santa Fe / Boston / Leuven / Copenhagen / Charleston / San Diego / Chicago / Grenoble / Genova / /

Company

Network Theory Ltd / S. McPeak S. P. / /

Country

Italy / Belgium / France / China / Denmark / /

/

Facility

University of Copenhagen / /

IndustryTerm

Structural search / patch developer / transformation tool / largescale software development / software development / function usage protocols / patch tool / diff tool / manual search / print product / software evolutions / software architecture / /

OperatingSystem

Linux / Gnu / /

Organization

Argonne National Lab / Danish Research Council for Technology and Production Sciences / Linux Device Drivers∗ Yoann Padioleau Julia L. Lawall Gilles Muller Ecole / University of Copenhagen / /

Person

Addison Wesley / /

Position

relevant driver / driver / editor / SCSI driver / text editor / scsiglue driver / controller / Killing driver / programmer / /

ProgrammingLanguage

Prolog / Java / C / Stratego/XT / Perl / ML / /

ProvinceOrState

Illinois / New Mexico / South Carolina / California / Massachusetts / /

PublishedMedium

la Recherche / Lecture Notes in Computer Science / /

Technology

Linux / perl / operating system / html / operating systems / Java / function usage protocols / SCSI / /

URL

http /

SocialTag