Snapshot Generation in a Constructive Object-Oriented Modeling Language

DOI10.1007/978-3-540-78769-3_12zbMath1179.68029OpenAlexW2125882352MaRDI QIDQ5504600

Mario Ornaghi, Camillo Fiorentini, Mauro Ferrari, Alberto Momigliano

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)

Related Items

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

Uses Software

• LARCH
• JML
• Smodels

Cites Work

• Unnamed Item
• Unnamed Item
• A constructivism based on classical truth
• From constructivism to computer science
• Well-founded and stationary models of logic programs
• Logic programming and nonmonotonic reasoning. Proceedings of the 4th international conference, LPNMR '97, held in Dagstuhl, Germany, July 28--31, 1997
• Knowledge Representation, Reasoning and Declarative Problem Solving
• The DLV system for knowledge representation and reasoning
• Logic Programming and Nonmonotonic Reasoning
• Tools and Algorithms for the Construction and Analysis of Systems