Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Program translators
16
Computer software
6
Formal methods
6
Java programming language
6
Specifications
6
Model checking
4
Propositional formulas
4
Propositional variables
4
SAT solvers
4
SAT-based bounded verification
4
Software engineering
4
Static analysis
4
Tools
4
Abductive reasoning
2
Abstracting
2
Alloy
2
Alloying
2
Artificial intelligence
2
Atomic actions
2
Automated code generation
2
Bounded program verifications
2
Bounded verifications
2
C (programming language)
2
C++ (programming language)
2
C++ template library
2
Case studies
2
Cerium alloys
2
Code analysis
2
Codes (symbols)
2
Computational complexity
2
-
1
-
2Materias: “...Program translators...”
SER -
3Materias: “...Program translators...”
-
4Materias: “...Program translators...”
SER -
5Materias: “...Program translators...”
-
6Publicado 2014Materias: “...Program translators...”
-
7Materias: “...Program translators...”
JOUR -
8Materias: “...Program translators...”
SER -
9
-
10Publicado 2009Materias: “...Program translators...”
-
11Materias: “...Program translators...”
JOUR -
12por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Program translators...”
Publicado 2013
-
13Materias: “...Program translators...”
JOUR -
14Publicado 2017Materias: “...Program translators...”
-
15
-
16
-
17Materias: “...Program translators...”
JOUR