Semantic Patches for Documenting and Automating Collateral Evolutions in Linux Device Drivers

Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

  • Yoann Padioleau
  • René Rydhof Hansen
  • Julia Laetitia Lawall
  • Gilles Muller
program transformation, Linux, device drivers, temporal logic
Original languageEnglish
Title of host publicationPLOS 2006: Linguistic Support for Modern Operating Systems
Publication date2006
Pages55-60
Publication statusPublished - 2006

Links

ID: 1109454