OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Subject: Semantics of Programming Languages Repository: 37

Sort by Score Title Year -

1-10 from 217 results (0.027 seconds)

Title: “ASLX”: Semantic Analyzer for programming languages based on XML
Author: Buffa, Gabriela Yanel / Pellegrini, Franco Gaston
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Semantics / Extensible Markup Language / Document Type Definition / programming languages

Acceder
Title: LaST: Language Study Tool
Author: Molinari, Enrique / Lindner, Edgard
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / tecnología / Semantics / educación / Computer science education / informática / computer education technology / programming language semantics / teaching programming languages

Acceder
Title: Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
Author: Luna, Carlos A. / Betarte, Gustavo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / escificación formal / Semantics / Semantics of Programming Languages / sistemas críticos / modelos de seguridad para dispositivos móviles (MIDP) / asistentes de prueba (Coq)

Acceder
Title: Typing polymorphic recursion
Author: Figueiredo, Lucília Camarão de / Camarão, Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / informática / Polymorphism / Programming languages / Type inference

Acceder
Title: Implementing a typed assembly language and its machine model
Author: Medel, Ricardo / Lucotte, Matthieu
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / Programming languages / type systems / typed assembly languages / compilers / resources awareness

Acceder
Title: An extension to EMTPL
Author: Cobo, María Laura / Falappa, Marcelo Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Programming Languages / Metric Temporal Logic / Deductive Databases / Negation / base de datos / Languages / Metrics / SOFTWARE ENGINEERING

Acceder
Title: Evolución de un curso inicial de programación a un enfoque multiparadigma: análisis y resultados / Evolution of a Programming Initial Course to a Multi Paradigm approach. Analysis and Results
Author: De Giusti, Laura Cristina / Sanz, Victoria María / De Giusti, Armando Eduardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Programación / Algoritmos / Taller de programación / Paradigmas / Lenguaje / Programming / Algorithms / Programming workshop / Paradigms / Languages

Acceder
Title: Algunas consideraciones para la transformación de Semántica de Negocios SBVR en el Lenguaje de Ontologías Web OWL2
Author: Amaolo, Marcelo Paulo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Semantics / empresa / Languages / conocimiento / tecnologías semánticas / lenguajes de ontologías / especificación OMG SBVR

Acceder
Title: Integración de técnicas orientadas al cliente y técnicas formales en el desarrollo de software con UML y RUP
Author: Favre, Liliana María / Leonardi, María Carmen / Mauco, Virginia / Pereira, Claudia Teresa / Martínez, Liliana / Felice, Laura
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / UML (Unified Modeling Language) / lenguaje diseñado / Languages / Semantics / definición semántica

Acceder
Title: Una evaluación de los simuladores de autómatas existentes a los fines de su implementación práctica en la materia Sintaxis y Semántica de los lenguajes en la carrera de Ingeniería en Sistemas de Información de la Universidad Tecnológica Nacional Facultad Regional Córdoba
Author: Olariaga, Sandra Mónica / Páez, Nancy del Valle
Language: Español
Repository: 37
Subject: Ciencias Informáticas / sintaxis / Simulation / Automata (e.g., finite, push-down, resource-bounded) / Languages / Semantics

Acceder

« Previous 1 2 3 4 5 6 7 8 9 Next »