Snapshot Generation in a Constructive Object-Oriented Modeling Language

DOI10.1007/978-3-540-78769-3_12MaRDI QIDQ5504600zbMATH OpenOpenAlexFDO

Authors Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi

Publication date 22 January 2009

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2434/38388

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites work

• A constructivism based on classical truth
• From constructivism to computer science
• scientific article; zbMATH DE number 1566503 (Why is no real title available?)
• scientific article; zbMATH DE number 517385 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• Logic programming and nonmonotonic reasoning. Proceedings of the 4th international conference, LPNMR '97, held in Dagstuhl, Germany, July 28--31, 1997
• The DLV system for knowledge representation and reasoning
• Tools and Algorithms for the Construction and Analysis of Systems
• Well-founded and stationary models of logic programs

Cited in

(1)

• \(\mathcal {BCDL}\): Basic constructive description logic

Describes a project that uses

Uses Software

• JML
• Smodels
• LARCH

This page was built for publication: Snapshot Generation in a Constructive Object-Oriented Modeling Language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504600)