Abstract Constraint Data Types

DOI10.1007/978-3-319-15545-6_12zbMath1454.68067OpenAlexW1700023188MaRDI QIDQ5256347

Fernando Orejas, José Luiz Fiadeiro

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/76978

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Uses Software

• PAGODA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Graded consequence: an institution theoretic study
• A Rewriting Logic Framework for Soft Constraints
• Lazy Graph Transformation
• Categories for Software Engineering
• Institutions: abstract model theory for specification and programming
• Semiring-based constraint satisfaction and optimization
• Which Soft Constraints do you Prefer?

This page was built for publication: Abstract Constraint Data Types