Abstract constraint data types

DOI10.1007/978-3-319-15545-6_12zbMATH Open1454.68067OpenAlexW1700023188MaRDI QIDQ5256347FDOQ5256347

Authors: José Fiadeiro, Fernando Orejas 

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

Recommendations

• Canonical constraints for parameterized data types
• scientific article; zbMATH DE number 4180819
• scientific article; zbMATH DE number 2143090
• Data type specification, parameterization and the power of specification techniques
• scientific article; zbMATH DE number 3972172

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• A rewriting logic framework for soft constraints
• Institutions: abstract model theory for specification and programming
• Foundations of algebraic specification and formal software development.
• Title not available (Why is that?)
• Semiring-based constraint satisfaction and optimization
• Categories for Software Engineering
• Title not available (Why is that?)
• Title not available (Why is that?)
• Graded consequence: an institution theoretic study
• Lazy graph transformation
• Which soft constraints do you prefer?

Cited In (1)

• From formal logic through program transformations to system dynamics: 40 years of meeting points with Martin Wirsing

Uses Software

• PAGODA

This page was built for publication: Abstract constraint data types

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