Synthesis Modulo Recursive Functions (Englisch)
- Neue Suche nach: Kneuss, E.
- Neue Suche nach: Kuncak, V.
- Neue Suche nach: Kuraj, I.
- Neue Suche nach: Suter, P.
- Neue Suche nach: Association for Computing Machinery
- Neue Suche nach: Kneuss, E.
- Neue Suche nach: Kuncak, V.
- Neue Suche nach: Kuraj, I.
- Neue Suche nach: Suter, P.
- Neue Suche nach: Association for Computing Machinery
In:
Object oriented programming, systems, languages and applications
10
;
407-426
;
2013
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Synthesis Modulo Recursive Functions
-
Beteiligte:Kneuss, E. ( Autor:in ) / Kuncak, V. ( Autor:in ) / Kuraj, I. ( Autor:in ) / Suter, P. ( Autor:in ) / Association for Computing Machinery
-
Kongress:International conference, Object oriented programming, systems, languages and applications ; 2013 ; Indianapolis, IN
-
Erschienen in:ACM SIGPLAN NOTICES ; 48, 10 ; 407-426
-
Verlag:
- Neue Suche nach: ACM SIGPLAN
-
Erscheinungsort:New York, N.Y.
-
Erscheinungsdatum:01.01.2013
-
Format / Umfang:20 pages
-
Anmerkungen:Based on those presented at the conference. Held in conjunction with the 4th annual ACM international conference on systems, programming, languages and applications: software for humanity (SPLASH) 2013.
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.