Forskning ved Københavns Universitet - Københavns Universitet

Forside

Evolving an OS Kernel Using Temporal Logic and Aspect-Oriented Programming

Publikation: Bidrag til bog/antologi/rapportBidrag til rapportForskning

  • Rickard Åberg
  • Julia Laetitia Lawall
  • Mario Sudholt
  • Gilles Muller
aspect-oriented programming, temporal logic, process scheduling, Linux kernel
OriginalsprogEngelsk
TitelThe Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software
Udgivelses stedBoston, MA
Publikationsdato2003
Sider6
StatusUdgivet - 2003

ID: 121435