Synthesis of logic programs from object-oriented formal specifications
type: Item
instance of: scholarly article
zbMATH Open document ID: 1245.68063
author: Ángel Herranz
author: Julio Mariño
publication date: 2012-08-29T00:00:00Z
full work available at URL: frontdoor 6817.html
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 6073905
zbMATH Keywords: formal methods
zbMATH Keywords: logic program synthesis
zbMATH Keywords: object-oriented
zbMATH Keywords: executable specifications
zbMATH Keywords: correct-by-construction
MaRDI profile type: Publication
OpenAlex ID: W2106479565
DOI: 10.4230/LIPICS.ICLP.2011.95
title: Synthesis of logic programs from object-oriented formal specifications
description: scientific article; zbMATH DE number 6073905