Εμφανίζονται 1 - 7 Αποτελέσματα από 7 για την αναζήτηση '"Featherweight"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 1
    Featherweights light, mobile and floating architecture
    ανά Herwig, Oliver
    Έκδοση 2003
    Βιβλίο
  2. 2
    Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Constructive Foundations for Featherweight Java.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… and Heterogeneous Systems -- A Monadic Semantics for Quantum Computing in Featherweight Java -- Memoized Zipper…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Assignment for Featherweight Java: (To Rinus Plasmeijer, in Honour of His 61st Birthday) -- Verifying…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… in Event-B -- Safe Commits for Transactional Featherweight Java -- Certified Absence of Dangling Pointers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… and Visibility Control to Traits Using Lexical Nesting -- Featherweight Jigsaw: A Minimal Core Calculus…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Style (Invited Talk) -- Session 5 -- PType System: A Featherweight Parallelizability Detector -- A Type…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email