Year of publication
Type of media
Subject
Type of material
Language
Synonyms were used for: Programmierung
Search without synonyms: keywords:(Programmierung)
Used synonyms:
- computer programming
- computerprogrammierung
- programmerstellung
- programmieren
- programmiertechnik
- programming
1–20 of 175 hits
Sort by:
Sort by:
-
Taming distributed system complexity through formal patterns
Online Contents | 2014|Keywords: Programmierung -
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
TIBKAT | 2022|Keywords: Logische Programmierung -
An Efficient Canonical Narrowing Implementation for Protocol Analysis
TIBKAT | 2022|Keywords: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
TIBKAT | 2022|Keywords: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
Checking Sufficient Completeness by Inductive Theorem Proving
TIBKAT | 2022|Keywords: PRODUKTIONEN (THEORIE DER PROGRAMMIERUNG) -
The rewriting logic semantics project: A progress report
Elsevier | 2013|Keywords: Programming languages -
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude
Springer Verlag | 2018|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Formal Modeling and Analysis of the Walter Transactional Data Store
Springer Verlag | 2018|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Parallel programming in maude
National licenceSpringer Verlag | 1992|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Twenty Years of Rewriting Logic
Springer Verlag | 2010|Keywords: Logic Programming, Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
The rewriting logic semantics project
Elsevier | 2007|Keywords: Semantics and analysis of programming languages -
Proving Ground Confluence of Equational Specifications Modulo Axioms
Springer Verlag | 2018|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
The Linear Temporal Logic of Rewriting Maude Model Checker
Springer Verlag | 2010|Keywords: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms
Springer Verlag | 2017|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
A Dependency Pair Framework for A ∨ C-Termination
Springer Verlag | 2010|Keywords: Programming Techniques, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters -
A Modular Equational Generalization Algorithm
Springer Verlag | 2009|Keywords: Software Engineering/Programming and Operating Systems, Programming Techniques, Programming Languages, Compilers, Interpreters -
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking
Springer Verlag | 2017|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
Symbolic Reasoning Methods in Rewriting Logic and Maude
Springer Verlag | 2018|Keywords: Programming Techniques, Programming Languages, Compilers, Interpreters -
$${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
Springer Verlag | 2019|Keywords: Programming Languages, Compilers, Interpreters, Programming Techniques -
Operational termination of conditional term rewriting systems
Elsevier | 2005|Keywords: Programming languages