„Programming Language.“

Suchergebnisse

8.545 Treffer

• A Purely Functional Combinator Language for Software Quality Assessment
  Martins, Pedro ; Fernandes, João Paulo ; Saraiva, João 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
• Embedded Process Functional Language
  Bĕhálek, Marek ; Šaloun, Petr 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Formally Verifiable WCET Analysis for a Functional Programming Language
  Hammond, Kevin ; Ferdinand, Christian ; Heckmann, Reinhold ; Dyckhoff, Roy ; Hofman, Martin ; Jost, Steffen ; Loidl, Hans-Wolfgang ; Michaelson, Greg ; Pointon, Robert ; Scaife, Norman ; Sérot, Jocelyn ; Wallace, Andy 2006 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
• Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281)
  Guzdial, Mark ; Krishnamurthi, Shriram ; Sorva, Juha ; Vahrenhold, Jan
• Quantum Programming Languages (Dagstuhl Seminar 18381)
  Mosca, Michele ; Roetteler, Martin ; Selinger, Peter
• Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)
  Chandrasekaran, Sivaramakrishnan Krishnamoorthy ; Leijen, Daan ; Pretnar, Matija ; Schrijvers, Tom
• Evidence About Programmers for Programming Language Design (Dagstuhl Seminar 18061)
  Stefik, Andreas ; Sharif, Bonita ; Myers, Brad. A. ; Hanenberg, Stefan
• Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
  Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
• Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)
  Demetrescu, Camil ; Erdweg, Sebastian ; Hammer, Matthew A. ; Krishnamurthi, Shriram
• Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)
  Gaboardi, Marco ; Jagannathan, Suresh ; Jhala, Ranjit ; Weirich, Stephanie
• From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112)
  Bauer, Andrej ; Hofmann, Martin ; Pretnar, Matija ; Yallop, Jeremy
• Programming with "Big Code" (Dagstuhl Seminar 15472)
  Cohen, William W. ; Sutton, Charles ; Vechev, Martin T.
• Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042)
  Abramsky, Samson ; Kurz, Alexander ; Lescanne, Pierre ; Winschel, Viktor
• Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021)
  Philippsen, Michael ; Felber, Pascal ; Scott, Michael L. ; Moss, J. Eliot B.