{"id":{"repo_id":"upm","oai_identifier":"oai:oa.upm.es:1035"},"canonical_url":"https://search.dev.ndltd.org/etd/upm/oai:oa.upm.es:1035","repository":{"repo_id":"upm","name":"Universidad Politécnica de Madrid","base_url":"https://oa.upm.es/cgi/oai2"},"display":{"title":"Una interpretación lógico-algebraica de la semántica de la programación","abstract":"Se utiliza la Teoría de Categorías y, en concreto, determinadas categorías preorden, para abordar el problema de la semántica de la programación desde un punto de vista diferente, basándose en la interrelación de las semánticas asercional y denotacional. Se obtiene, como resultado principal, la equivalencia entre corrección y adjunción. Esto permite expresar la corrección de un programa (con precondición y postcondición determinadas) mediante la adjunción de dos funtores, que son el propio programa y su correspondiente operador de precondición más débil. Como resultado colateral, se realiza una nueva caracterización de las guardas al considerarlas como predicados, lo cual permite un nuevo tratamiento de los programas guardados","abstract_html":"Se utiliza la Teoría de Categorías y, en concreto, determinadas categorías preorden, para abordar el problema de la semántica de la programación desde un punto de vista diferente, basándose en la interrelación de las semánticas asercional y denotacional. Se obtiene, como resultado principal, la equivalencia entre corrección y adjunción. Esto permite expresar la corrección de un programa (con precondición y postcondición determinadas) mediante la adjunción de dos funtores, que son el propio programa y su correspondiente operador de precondición más débil. Como resultado colateral, se realiza una nueva caracterización de las guardas al considerarlas como predicados, lo cual permite un nuevo tratamiento de los programas guardados","abstract_has_math":false,"creators":["Pérez Pérez, Aurora"],"institution":"Informatica","degree_name":"phd","degree_level":"doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":1991,"date_issued":"1991-01","date_published":"1991-01","updated_at":"2026-07-24T05:40:09Z","subjects":["Matemáticas","Informática"],"languages":["es"],"rights":["by-nc-nd"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://doi.org/10.20868/UPM.thesis.1035","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Pérez Pérez, Aurora"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["1991-01"]},{"key":"dc:date.issued","label":"Date","values":["1991-01"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["Lenguajes"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["Informatica"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://oa.upm.es/1035/"]},{"key":"dc:type","label":"Dc Type","values":["Tesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["phd"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Matemáticas","Informática"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["es"]},{"key":"dc:rights","label":"Dc Rights","values":["by-nc-nd"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["10.20868/UPM.thesis.1035"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://oa.upm.es/1035/1/10199101.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Se utiliza la Teoría de Categorías y, en concreto, determinadas categorías preorden, para abordar el problema de la semántica de la programación desde un punto de vista diferente, basándose en la interrelación de las semánticas asercional y denotacional. Se obtiene, como resultado principal, la equivalencia entre corrección y adjunción. Esto permite expresar la corrección de un programa (con precondición y postcondición determinadas) mediante la adjunción de dos funtores, que son el propio programa y su correspondiente operador de precondición más débil. Como resultado colateral, se realiza una nueva caracterización de las guardas al considerarlas como predicados, lo cual permite un nuevo tratamiento de los programas guardados"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Una interpretación lógico-algebraica de la semántica de la programación"]}]}],"canonical_facts":{"dc:creator":["Pérez Pérez, Aurora"],"dc:date":["1991-01"],"dc:date.issued":["1991-01"],"dc:description.abstract":["Se utiliza la Teoría de Categorías y, en concreto, determinadas categorías preorden, para abordar el problema de la semántica de la programación desde un punto de vista diferente, basándose en la interrelación de las semánticas asercional y denotacional. Se obtiene, como resultado principal, la equivalencia entre corrección y adjunción. Esto permite expresar la corrección de un programa (con precondición y postcondición determinadas) mediante la adjunción de dos funtores, que son el propio programa y su correspondiente operador de precondición más débil. Como resultado colateral, se realiza una nueva caracterización de las guardas al considerarlas como predicados, lo cual permite un nuevo tratamiento de los programas guardados"],"dc:format":["application/pdf"],"dc:identifier.doi":["10.20868/UPM.thesis.1035"],"dc:identifier.uri":["https://oa.upm.es/1035/1/10199101.pdf"],"dc:language":["es"],"dc:publisher.department":["Lenguajes"],"dc:publisher.institution":["Informatica"],"dc:relation.isreferencedby":["https://oa.upm.es/1035/"],"dc:rights":["by-nc-nd"],"dc:subject":["Matemáticas","Informática"],"dc:title":["Una interpretación lógico-algebraica de la semántica de la programación"],"dc:type":["Tesis"],"dc:type.qualificationlevel":["doctoral"],"dc:type.qualificationname":["phd"]},"updated_at":"2026-07-24T05:40:09Z"}