„program semantics“

Suchergebnisse

553 Treffer

• Provably sound semantics stack for multi-core system programming with kernel threads
  Alekhin, Artem ; Paul, Wolfgang J. 2017 Saarländische Universitäts- und Landesbibliothek
• Semantics and loop invariant synthesis for probabilistic programs
  Gretz, Friedrich ; Katoen, Joost-Pieter ; Sankaranarayanan, Sriram 2016 Universitätsbibliothek der RWTH Aachen
• Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems
  Buth, Karl-Heinz 1994 Universitätsbibliothek Kiel
• Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
  Breitner, Joachim 2016 KIT Scientific Publishing
• On the structure and semantics of identifier names containing closed syntactic category words
  Newman, Christian D. ; Peruma, Anthony ; AlOmar, Eman Abdullah ; Crabbe, Mahie ; Banabilah, Syreen ; Alsuhaibani, Reem S. ; Decker, Michael J. ; Akhbardeh, Farhad ; Zampieri, Marcos ; Mkaouer, Mohamed Wiem ; Maletic, Jonathan I.
• Fundamental Approaches to Software Engineering – 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  Huisman, Marieke ; Rubin, Julia 2005 Springer Berlin Heidelberg
• Formal Semantics and Verification of Procedural SQL Programs Implementing Materialized Data Integration
  Stupnikov, S. A.
• Order-Sorted Equational Computation
  Smolka, Gert ; Nutt, Werner ; Goguen, Joseph ; Meseguer, José 2023 Saarländische Universitäts- und Landesbibliothek
• Justifying the strong memory semantics of concurrent high-level programming languages for system programming
  Oberhauser, Jonas ; Paul, Wolfgang Jakob 2018 Saarländische Universitäts- und Landesbibliothek
• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
  Margaria, Tiziana 2018 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Verification – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
  Margaria, Tiziana 2018 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
  Margaria, Tiziana 2018 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Modeling – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
  Margaria, Tiziana 2018 Springer International Publishing
• Theory and Applications of Formal Argumentation – 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
  Black, Elizabeth ; Modgil, Sanjay ; Oren, Nir 2018 Springer International Publishing
• Euro-Par 2017: Parallel Processing Workshops – Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
  Heras, Dora B. ; Bougé, Luc 2018 Springer International Publishing
• Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig
  2018 Springer International Publishing
• Logic-Based Program Synthesis and Transformation – 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
  Hermenegildo, Manuel V. ; López García, Pedro 2017 Springer International Publishing
• Exploring a Quantum Programming Language with Concurrency
  Jain, Manisha ; Fernandes, Vitor ; Madeira, Alexandre ; Barbosa, Luís Soares 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
  Ábrahám, Erika ; Johnsen, Einar Broch ; Bonsangue, Marcello M. 2016 Springer International Publishing