Accès à distance ? S'identifier sur le proxy UCLouvain
Reusable Components for Lightweight Mechanisation of Programming Languages
Primary tabs
- Open access
- 768.32 K
Document type | Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection |
---|---|
Access type | Accès libre |
Publication date | 2013 |
Language | Anglais |
Conference | "Software Composition", Budapest, Hungary |
Peer reviewed | yes |
Host document | "Proceeding of the 12th Conference on Software Composition" (ISBN : 978-3-642-39614-4) |
Collection | LNCS - 8088 |
Publisher | W. Binder, E. Bodden and W. Löwe |
Publication status | Publié |
Affiliation | Hamburg University of Technology |
Keywords | Programming Languages ; Semantics Mechanisation ; Component-Based Software Engineering |
Links |
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 |