„Programming Language.“

Suchergebnisse

8.545 Treffer

• The Learning-Knowledge-Reasoning Paradigm for Natural Language Understanding and Question Answering
  Mitra, Arindam 2018 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
• Explaining Actual Causation via Reasoning About Actions and Change
  LeBlanc, Emily C. 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
• Entity set expansion from the Web via ASP
  Adrian, Weronika T. ; Manna, Marco ; Leone, Nicola ; Amendola, Giovanni ; Adrian, Marek 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exercise Solution Check Specification Language for Interactive Programming Learning Environments
  Swacha, Jakub 2017 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
• Gamification of Learning Scratch in Elementary School
  Prykhodchenko, Serhii D. ; Prykhodchenko, Oksana Yu. ; Shevtsova, Olha S. ; Semenov, Sergii Yu. 2020 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
• Programming Language Processing (Dagstuhl Seminar 23062)
  Pradel, Michael ; Ray, Baishakhi ; Sutton, Charles ; Yahav, Eran
• Constraint CNF: SAT and CSP Language Under One Roof
  De Cat, Broes ; Lierler, Yuliya 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sni'per: a Code Snippet RESTful API
  Queirós, Ricardo ; Simões, Alberto 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Illustrating the Mezzo programming language
  Protzenko, Jonathan 2013 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
• XML to Annotations Mapping Patterns
  Nosál, Milan ; Porubän, Jaroslav 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
• PH-Helper - a Syntax-Directed Editor for Hoshimi Programming Language, HL
  Luzza, Mariano ; Beron, Mario Marcelo ; Henriques, Pedro Rangel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik