User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Reusable Components for Lightweight Mechanisation of Programming Languages

  • Open access
  • PDF
  • 768.32 K
Bibliographic reference Haeri, Seyed Hossein ; Schupp, Sibylle ; et. al. Reusable Components for Lightweight Mechanisation of Programming Languages.Software Composition (Budapest, Hungary). In: Proceeding of the 12th Conference on Software Composition, W. Binder, E. Bodden and W. Löwe2013
Permanent URL http://hdl.handle.net/2078/240930