scientific article; zbMATH DE number 4033040
semanticalgebraic specificationspartial algebrasstructural inductionhep-quasi-varietiesparameterized abstract data typesbehavioural canonsequational partialityhep-varietiesinitial computability
General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Semantics in the theory of computing (68Q55) Partial algebras (08A55)
- scientific article; zbMATH DE number 432732
- scientific article; zbMATH DE number 3963900
- scientific article; zbMATH DE number 3880784
- An encoding of partial algebras as total algebras
- On the existence of extensional partial combinatory algebras
- scientific article; zbMATH DE number 2086653
- scientific article; zbMATH DE number 4011909
- scientific article; zbMATH DE number 3869407
- On the algebraic definition of programming languages
- scientific article; zbMATH DE number 2182599
- Conditional rewriting logic: Deduction, models and concurrency
- Equational type logic
- A generalization of the concept of sketch
- scientific article; zbMATH DE number 4011909 (Why is no real title available?)
- CSP, partial automata, and coalgebras.
- On institutions for modular coalgebraic specifications.
- Equivalences among various logical frameworks of partial algebras
- Foundations for structuring behavioural specifications
- Specifications in an arbitrary institution
- Proving the correctness of behavioural implementations
- Observational logic, constructor-based logic, and their duality.
- Partial arithmetical data types of rational numbers and their equational specification
- Relaxed models for rewriting logic
- scientific article; zbMATH DE number 3911679 (Why is no real title available?)
- scientific article; zbMATH DE number 3880784 (Why is no real title available?)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi
- scientific article; zbMATH DE number 5545434 (Why is no real title available?)
- Van Kampen Colimits and Path Uniqueness
- On the algebraic structure of declarative programming languages
- ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS
- On an essentially algebraic theory for locally presentable categories
- Coinduction for preordered algebra
- Behavioural theories and the proof of behavioural properties
- Quasi-varieties: A special access
- Integrating Maude into Hets
- scientific article; zbMATH DE number 432732 (Why is no real title available?)
- Universal algebras
- An encoding of partial algebras as total algebras
- Specification styles in distributed systems design and verification
- Preservation in many-valued truth institutions
- Initial Algebra Semantics Is Enough!
- Proof systems for structured specifications with observability operators
- scientific article; zbMATH DE number 3869407 (Why is no real title available?)
- Conditional rewriting logic as a unified model of concurrency
- Relating CASL with other specification languages: the institution level.
- Proving semantical equivalence of data specifications
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3773301)
