„programming language“

Suchergebnisse

8.545 Treffer

• Multiparty Session Types as Coherence Proofs
  Carbone, Marco ; Montesi, Fabrizio ; Schürmann, Carsten ; Yoshida, Nobuko 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• DynSem: A DSL for Dynamic Semantics Specification
  Vergu, Vlad ; Neron, Pierre ; Visser, Eelco 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Silently Shifting Semicolon
  Marino, Daniel ; Millstein, Todd ; Musuvathi, Madanlal ; Narayanasamy, Satish ; Singh, Abhayendra 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tracking the Flow of Ideas through the Programming Languages Literature
  Greenberg, Michael ; Fisher, Kathleen ; Walker, David 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Need for Language Support for Fault-Tolerant Distributed Systems
  Dragoi, Cezara ; Henzinger, Thomas A. ; Zufferey, Damien 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Design of Terra: Harnessing the Best Features of High-Level and Low-Level Languages
  DeVito, Zachary ; Hanrahan, Pat 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Growing a Software Language for Hardware Design
  Auerbach, Joshua ; Bacon, David F. ; Cheng, Perry ; Fink, Stephen J. ; Rabbah, Rodric ; Shukla, Sunil 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Precision Tuning the Rust Memory-Safe Programming Language
  Magnani, Gabriele ; Denisov, Lev ; Cattaneo, Daniele ; Agosta, Giovanni ; Cherubin, Stefano 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Characterization and Identification of Programming Languages
  Alves, Júlio ; Costa Neto, Alvaro ; Pereira, Maria João Varanda ; Henriques, Pedro Rangel 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Large Language Models: Compilers for the 4^{th} Generation of Programming Languages? (Short Paper)
  S. Marcondes, Francisco ; Almeida, José João ; Novais, Paulo 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• NLP/AI Based Techniques for Programming Exercises Generation
  Freitas, Tiago Carvalho ; Costa Neto, Alvaro ; Pereira, Maria João Varanda ; Henriques, Pedro Rangel 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Typed Multi-Language Strategy Combinators
  Koppel, James 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Over-approximating Descendants by Synchronized Tree Languages
  Boichut, Yohan ; Chabin, Jacques ; Réty, Pierre 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logic Programming in Tabular Allegories
  Gallego Arias, Emilio Jesús ; B. Lipton, James 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Type Inference for the Q language using Constraint Logic Programming
  Zombori, Zsolt ; Csorba, János ; Szeredi, Péter 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Type Checking for the Q Functional Language in Prolog
  Zombori, Zsolt ; Csorba, János ; Szeredi, Péter 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Representing the Language of the Causal Calculator in Answer Set Programming
  Casolary, Michael ; Lee, Joohyung 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints
  Martinez, Thierry 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Analysis to Support Concurrent Programming in Declarative Languages
  Demeyer, Romain 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Relational Specifications to Logic Programs
  Near, Joseph P. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik