Snapshot Generation in a Constructive Object-Oriented Modeling Language

DOI10.1007/978-3-540-78769-3_12zbMATH Open1179.68029OpenAlexW2125882352MaRDI QIDQ5504600FDOQ5504600

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

Recommendations

• scientific article; zbMATH DE number 2033537
• scientific article; zbMATH DE number 1540610
• scientific article; zbMATH DE number 1354880

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

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

Uses Software

• LARCH
• JML
• Smodels

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)