Przejdź do menu głównegoPrzejdź do wyszukiwarkiPrzejdź do zawartości
Logo DigiLab - Sterownia Agregatora Dorobku Naukowego
  • Strona główna
  • Automating derivations of abstract machines from reduction semantics: : a generic formalization of refocusing in coq

Opis

  • Tytuł: Automating derivations of abstract machines from reduction semantics: : a generic formalization of refocusing in coq
  • Tytuł publikacji grupowej: Lecture Notes in Computer Science ; 6647
  • Tytuł pracy zbiorowej: Implementation and Application of Functional Languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers ; Lecture Notes in Computer Science
  • Twórca: Sieczkowski, Filip ; Biernacka, Małgorzata ; Biernacki, Dariusz
  • Strony: S. 72-88
  • Opis: Zawiera streszczenie. ; Zawiera bibliografię. ; Zawiera ilustracje.
  • Wydawca: Heidelberg : Springer-Verlag
  • Miejsce wydania: Berlin
  • Data wydania: 2011
  • Typ: Tekst
  • Język publikacji: eng
  • Wersja Cyfrowa: http://dx.doi.org/10.1007/978-3-642-24276-2_5
  • Szczegółowy typ obiektu: rozdz
  • Typ obiektu: Rozdział

Agregator Dorobku Naukowego Uniwersytetu Wrocławskiego, tworzony jest przez Bibliotekę Uniwersytecką we Wrocławiu

Program Operacyjny Polska Cyfrowa
Rzeczpospolita Polska
Europejski Fundusz Rozwoju Regionalnego Unii Europejskiej
Biblioteka Uniwersytecka we Wrocławiu
Uniwersytet Wrocławski

Projekt pn. "Workflow do opracowania publikacji cyfrowych na uczelni" współfinansowany przez Unię Europejską z Europejskiego Funduszu Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności