„Object Oriented Programming“

Suchergebnisse

485 Treffer

• Integration of informal and formal development of object-oriented safety-critical software
  Bubel, Richard ; Hähnle, Reiner
• Formalizing, Mechanizing, and Verifying Class-Based Refinement Types
  Sun, Ke ; Wang, Di ; Chen, Sheng ; Wang, Meng ; Hao, Dan 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constrictor: Immutability as a Design Concept
  Kinsbruner, Elad ; Itzhaky, Shachar ; Peleg, Hila 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• HOBBIT: Hashed OBject Based InTegrity
  Bernad, Matthias ; Brunthaler, Stefan 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Behavioural Up/down Casting For Statically Typed Languages
  Bacchiani, Lorenzo ; Bravetti, Mario ; Giunti, Marco ; Mota, João ; Ravara, António 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Effective Implementation of Object-Oriented Programming Languages (Dagstuhl Seminar 00451)
  Aßmann, Uwe ; Hendren, Laurie ; Ryder, Barbara ; Tip, Frank 2001 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Promoting Deep Learning Through a Concept Map-Building Collaborative Activity in an Introductory Programming Course
  Barros, João Paulo 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact)
  Sun, Ke ; Wang, Di ; Chen, Sheng ; Wang, Meng ; Hao, Dan
• Constrictor: Immutability as a Design Concept (Artifact)
  Kinsbruner, Elad ; Itzhaky, Shachar ; Peleg, Hila
• The Semantic Challenge of Object-Oriented Programming (Dagstuhl Seminar 98261)
  Cardelli, Luca ; Jung, Achim ; O'Hearn, Peter ; Palsberg, Jens 1999 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact)
  Fan, Andong ; Parreaux, Lionel
• Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)
  Meier, Shawn ; Mover, Sergio ; Chang, Bor-Yuh Evan
• DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (Artifact)
  Springer, Matthias ; Masuhara, Hidehiko
• super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion
  Fan, Andong ; Parreaux, Lionel 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• λ-Based Object-Oriented Programming (Pearl)
  Servetto, Marco ; Zucca, Elena 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access
  Springer, Matthias ; Masuhara, Hidehiko 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Transient Typechecks Are (Almost) Free
  Roberts, Richard ; Marr, Stefan ; Homer, Michael ; Noble, James 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Practical Gradual Typing
  Takikawa, Asumu ; Feltey, Daniel ; Dean, Earl ; Flatt, Matthew ; Findler, Robert Bruce ; Tobin-Hochstadt, Sam ; Felleisen, Matthias 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Object-Oriented Programming without Inheritance (Invited Talk)
  Stroustrup, Bjarne 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Metaobject Protocols for Julia
  Santos, Marcelo ; Leitão, António Menezes 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik