„Programming Languages“

Suchergebnisse

7.502 Treffer

• The denotational description of programming languages – an introd.
  Gordon, Michael J. C. 1979 Springer
• 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)
  Etessami, Kousha ; Feige, Uriel ; Puppis, Gabriele 2023 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• How programmers read regular code: a controlled experiment using eye tracking
  Jbara, Ahmad ; Feitelson, Dror G.
• Corrective commit probability: a measure of the effort invested in bug fixing
  Amit, Idan ; Feitelson, Dror G.
• An ontology-driven personalized food recommendation in IoT-based healthcare system
  Subramaniyaswamy, V. ; Manogaran, Gunasekaran ; Logesh, R. ; Vijayakumar, V. ; Chilamkurti, Naveen ; Malathi, D. ; Senthilselvan, N.
• Does maintainability relate to the energy consumption of software? A case study
  Mancebo, Javier ; Calero, Coral ; García, Félix
• Domino pattern formation by cellular automata agents
  Hoffmann, Rolf ; Désérable, Dominique
• Dynamic Programming via Static Incrementalization
  Liu, Yanhong A. ; Stoller, Scott D.
• Comparing Parallel Functional Languages: Programming and Performance
  Loidl, H.-W ; Rubio, F. ; Scaife, N. ; Hammond, K. ; Horiguchi, S. ; Klusik, U. ; Loogen, R. ; Michaelson, G.J ; Peña, R. ; Priebe, S. ; Rebón, Á.J ; Trinder, P.W
• Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L)
  Bordini, Rafael H. ; Moreira, Álvaro F.
• Using Constraint Logic Programming to Analyze theChronology in ``A Rose for Emily''
  Burg, Jennifer ; Boyle, Anne ; Lang, Sheau-Dong
• Definitional Interpreters for Higher-Order Programming Languages
  Reynolds, John C.
• NestMSA: a new multiple sequence alignment algorithm
  Kayed, Mohammed ; Elngar, Ahmed A.
• The problem of choosing between logic programming and general-purpose automated reasoning
  Wos, Larry
• Reasoning about Solids Using Constraint Logic Programming
  Pesant, Gilles ; Boyer, Michel
• Two-symbol DOS systems generating regular languages
  Bucher, W.
• Flow languages equal recursively enumerable languages
  Araki, Toshiro ; Tokura, Nobuki
• A characterization of context-free string languages by directed node-label controlled graph grammars
  Janssens, D. ; Rozenberg, G.
• Graph theoretic closure properties of the family of boundary NLC graph languages
  Rozenberg, Grzegorz ; Welzl, Emo
• Relational level data structures for programming languages
  Earley, Jay