Abstract constraint data types

DOI10.1007/978-3-319-15545-6_12MaRDI QIDQ5256347zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 3628362 (Why is no real title available?)
• A rewriting logic framework for soft constraints
• Categories for Software Engineering
• Foundations of algebraic specification and formal software development.
• Graded consequence: an institution theoretic study
• Institutions: abstract model theory for specification and programming
• Lazy graph transformation
• Semiring-based constraint satisfaction and optimization
• 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

Describes a project that uses

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)