„Formal language definitions“

Suchergebnisse

13 Treffer

• Analysing Java's safety guarantees under concurrency
  Lochbihler, Andreas
• Software Languages – Syntax, Semantics, and Metaprogramming
  Lämmel, Ralf 2018 Springer International Publishing
• The Design of Requirements Modelling Languages – How to Make Formalisms for Problem Solving in Requirements Engineering
  Jureta, Ivan 2015 Springer International Publishing
• From Requirements to Java in a Snap – Model-Driven Requirements Engineering in Practice
  Śmiałek, Michał ; Nowakowski, Wiktor 2015 Springer International Publishing
• Negation as Failure. Completeness of the Query Evaluation Process for horn clause programs with recursive definitions
  Aquilano, C. ; Barbuti, R. ; Bocchetti, P. ; Martelli, M.
• A Proof Procedure for Separation Logic with Inductive Definitions and Data
  Echenim, Mnacho ; Peltier, Nicolas
• Computer Proofs in Gödel’s Class Theory with Equational Definitions for Composite and Cross
  Belinfante, Johan G. F.
• 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
  Goranko, Valentin ; Dam, Mads 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
  Baillot, Patrick ; Barthe, Gilles ; Dal Lago, Ugo
• 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
  Kirchner, Hélène 2018 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
  Ghica, Dan ; Jung, Achim 2018 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Random Context Picture Grammars – Definitions, Theorems, Examples
  Ewert, Sigrid 2012 LAP LAMBERT Academic Publishing
• On Definitions of Constants and Types in HOL
  Arthan, Rob