„Programming Languages“

Suchergebnisse

7.502 Treffer

• Beyond Classical Parallel Programming Frameworks: Chapel vs Julia
  Novosel, Rok ; Slivnik, Boštjan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Learning JavaScript in a Local Playground
  Queirós, Ricardo 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Understanding Java Usability by Mining GitHub Repositories
  Lemay, Mark J. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proof-Relevant Resolution for Elaboration of Programming Languages
  Farka, Frantisek 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Improving Run-time Checking in Dynamic Languages
  Stulova, Nataliia 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Achieving High Quality Knowledge Acquisition using Controlled Natural Language
  Gao, Tiantian 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Testing versus proving in climate impact research
  Ionescu, Cezar ; Jansson, Patrik 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Experience of Game-Based Learning in Web Applications Development Courses
  Antón-Rodríguez, Míriam ; Pérez-Juárez, María Ángeles ; Díaz-Pernas, Francisco Javier ; González-Ortega, David ; Martínez-Zarzuela, Mario ; Aguiar-Pérez, Javier Manuel 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Foundations of WebAssembly (Dagstuhl Seminar 23101)
  Bhargavan, Karthikeyan ; Protzenko, Jonathan ; Rossberg, Andreas ; Stefan, Deian
• Sni'per: a Code Snippet RESTful API
  Queirós, Ricardo ; Simões, Alberto 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CodeSkelGen - A Program Skeleton Generator
  Queirós, Ricardo 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Flexible Dynamic System for Automatic Grading of Programming Exercises
  Fonte, Daniela ; Cruz, Daniela da ; Gançarski, Alda Lopes ; Henriques, Pedro Rangel 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Impact of Programming Languages in Code Cloning
  Jorge, Jaime Filipe ; Leitão, António Menezes 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Program Execution to Automatic Reasoning: Integrating Ontologies into Programming Languages (Keynote)
  Paar, Alexander 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Educational Programming Languages and Systems (Dagstuhl Seminar 22302)
  Brown, Neil ; Guzdial, Mark J. ; Krishnamurthi, Shriram ; Mönig, Jens
• Theories of Programming (Dagstuhl Seminar 22231)
  LaToza, Thomas D. ; Ko, Amy ; Shepherd, David C. ; Sjøberg, Dag ; Xie, Benjamin
• Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)
  Bjørner, Nikolaj S. ; Christakis, Maria ; Maffei, Matteo ; Rosu, Grigore
• Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372)
  Dezani, Mariangiola ; Kuhn, Roland ; Lindley, Sam ; Scalas, Alceste
• Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442)
  Ferreira, Carla ; Haller, Philipp ; Salvaneschi, Guido
• Quantum Programming Languages (Dagstuhl Seminar 18381)
  Mosca, Michele ; Roetteler, Martin ; Selinger, Peter