Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 L2||O2
L2||O2
INDICE
PROLOGO
CAPÍTULO I. Bases y antecedentes
I.1. Introducción
I.2. Programación lógica concurrente
I.2.1.Programación lógica
I.2.1.1. Lógica y control
I.2.1.2. No determinismo
I.2.2. Paralelización de programas lógicos
I.2.2.1. Paralelismo OR
I.2.2.2. Paralelismo AND
I.2.2.3. Paralelismo AND-OR
I.2.3. Lenguajes lógicos concurrentes
I.2.3.1. No determinismo don't care
I.2.3.2. El lenguaje Parlog
I.2.3.3. Técnicas de programación
I.3. Programación orientada a objetos
I.3.1. Aspectos de calidad del software
I.3.2. Afinidad con la programación distribuida
I.3.3. Conceptos y alternativas de diseño
I.3.3.1. Objetos
I.3.3.2. Clases
I.3.3.3. Herencia
I.3.3.4. Formas de herencia: estricta, selectiva, múltiple
I.3.3.5. Delegación frente a herencia
I.4. Antecedentes de la integración
I.4.1. Metainterpretación de clases y objetos
I.4.2. Clases como conjuntos de cláusulas
I.4.3. Objetos como procesos perpetuos
I.4.4. Otros paradigmas
CAPÍTULO II. L2||O2: El lenguaje
II.1. Un lenguaje lógico concurrente orientado a objetos
II.2. La estructura de una clase
II.3. Canales de comunicación
II.4. Objetos
II.5. Variables
II.6. Cláusulas de Horn con guarda extendidas
II.6.1. Recepción de mensajes
II.6.2. Modificación del estado
II.6.3. Emisión de mensajes
II.7. Composición de objetos
II.8. Relación de herencia
II.8.1. Herencia múúltiple
II.8.2. Self y Super
II.8.3. Conflictos y herencia repetida
II.8.4. Predicados privados
II.8.5. Herencia frente a composición
II.9. Descripción general de una clase en L2||O2
II.10. Comparación con otras propuestas
II.10.1. Vulcan
II.10.2. Un subconjunto de Mandala
II.10.3. A'UM
II.10.4. Polka
CAPÍTULO III. L2||O2: La semántica
III.1. Sobre el estudio de la semántica del lenguaje
III.2. Consideraciones previas
III.3. Universo semántico
III.3.1. Notación general
III.3.2. Objetos activos
III.3.3. Estado
III.4. Unificación extendida
III.4.1. Unificación bidireccional
III.4.2. Unificación unidireccional
III.5. Semántica operacional
III.5.1. Sistemas de transiciones
III.5.2. Configuraciones
III.5.3. Reglas de transición
III.5.3.1. Creación de instancias
III.5.3.2. Procesamiento de predicados privados
III.5.3.3. Unificación de salida
III.5.3.4. Mensajes sobre un canal de salida
III.5.3.5. Mensajes sobre self
III.5.4.6. Paralelismo
III.5.4. La semántica operacional
III.5.5. Parlog como subconjunto de L2||O2
III.6. Semántica declarativa
III.6.1. Anotación de variables
III.6.2. Composición paralela
III.6.3. Secuencias de sustituciones
III.6.4. La semántica del punto fijo
III.7. Semántica denotacional
III.7.1. Dominio de procesos
III.7.2. Composición paralela
III.7.3. La semántica denotacional
III.7.4. Corrección de la semántica denotacional
III.7.4.1. Caracterización de la semántica operacional
III.7.4.2. Caracterización de la semántica denotacional
III.7.4.3. Corrección
CAPÍTULO IV. L2||O2: La implementación
IV.1. Revisión de la sem‡ntica operacional del lenguaje
IV.1.1. Modificación de las variables de estado
IV.1.2. Ordenación en la jerarquí’a de herencia
IV.1.3. Unificación sobre canales de comunicación
IV.1.4. Revisión de las reglas de transición
IV.1.4.1. Creación de instancias
IV.1.4.2. Procesamiento de predicados privados
IV.1.4.3. Mensajes sobre canal de salida o variable lógica
IV.1.4.4. Mensajes sobre self, super y clases heredadas
IV.1.4.5. Eliminación de objetos
IV.2. Detalles de la implementación
IV.2.1. Estructuras utilizadas
IV.2.1.1. Representación de los datos
IV.2.1.2. Representación de los canales de comunicación
IV.2.2. Predicados asociados a una clase
IV.2.2.1. Predicados de activación
IV.2.2.2. Predicados de reactivación
IV.2.2.3. Predicados de comportamiento público
IV.2.2.4. Predicados de comportamiento privado
IV.2.3. Primitivas de lenguaje
IV.2.3.1. Actualización de variables de estado
IV.2.3.2. Emisión de mensajes
CAPÍTULO V. Conclusiones
APÉNDICE A. Descripción BNF de L2||O2 APÉNDICE B. Definiciones Matemáticas APÉNDICE C. Ejemplo Referencias