Search alternatives:
coder executable » federal executable (Expand search), to executable (Expand search), of executable (Expand search)
to programming » _ programming (Expand search), goal programming (Expand search), cone programming (Expand search)
executable to » executable tax (Expand search), executable code (Expand search), executable mhp (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
manim python » monty python (Expand search), api python (Expand search), and python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
coder executable » federal executable (Expand search), to executable (Expand search), of executable (Expand search)
to programming » _ programming (Expand search), goal programming (Expand search), cone programming (Expand search)
executable to » executable tax (Expand search), executable code (Expand search), executable mhp (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
manim python » monty python (Expand search), api python (Expand search), and python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
1
2
“...The use of Automatic Code Generators for Formal Methods not only minimizes efforts on the...”
Access document
Access document
Doctoral thesis
4
“... is to develop a tool that translates student-written code contracts and invariants into executable assertions...”
Access document
Access document
Master thesis
5
6
“... to understand executable code. While working toward an Evolvix syntax for general-purpose programming that makes...”
Access document (1)
Access document (2)
Access document (1)
Access document (2)
Article
7
8
“...The K framework is a rewrite logic-based framework for defining programming language semantics...”
Access document
Access document
9
10
11
12
13
14
15
16
17
“... framework, in the form of executable C and C# code. The prototyping process is fully supported by a specific...”
Access document
Access document
Article
18
“... framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific...”
Access document
Access document
Article
19
“... to explain some concepts related to the generation of executable code hidden in integrated development...”
Access document
Access document
Article
20
Subjects:
“...event-driven programming, conceptual aircraft designs, jet aircrafts, propeller aircrafts, users...”
Access document
Access document
Bachelor thesis