A hidden Herbrand theorem: Combining the object and logic paradigms
type: Item
instance of: scholarly article
title: A hidden Herbrand theorem: Combining the object and logic paradigms
zbMATH Open document ID: 1012.03041
DOI: 10.1016/S1567-8326(01)00011-X
author: Joseph Goguen
author: Grant Malcolm
author: Tom Kemp
published in: The Journal of Logic and Algebraic Programming
publication date: 2003-02-13T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 1868263
zbMATH Keywords: hidden algebra
zbMATH Keywords: coinduction
zbMATH Keywords: multi-paradigm programming
zbMATH Keywords: logic programming with objects
zbMATH Keywords: Herbrand theorem
zbMATH Keywords: algebraic semantics
zbMATH Keywords: active constraint object programming
describes a project that uses: Eiffel
describes a project that uses: OBJ3
describes a project that uses: CafeOBJ
MaRDI profile type: Publication
cites work: Q3997112
cites work: Q4499312
cites work: Q5515373
cites work: Q3839054
cites work: Q4385532
cites work: CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
cites work: Q4520814
cites work: Q3992621
cites work: Q3975038
cites work: The fuzzy Tychonoff theorem
cites work: Institutions: abstract model theory for specification and programming
cites work: An Oxford survey of order sorted algebra
cites work: Q4942101
cites work: Q4346205
cites work: Hidden coinduction: behavioural correctness proofs for objects
cites work: A hidden agenda
cites work: Q4217944
cites work: Q3956373
cites work: Equality, types, modules, and (why not?) generics for logic programming
cites work: Q3030249
cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
cites work: Q4493908
cites work: Q5639839
cites work: Q3339245
cites work: Q5682023
cites work: Q3687683
cites work: A calculus of mobile processes. II
cites work: Co-induction in relational semantics
cites work: Q3938468
cites work: Q4725725
cites work: An approach to object semantics based on terminal co-algebras
cites work: Behavioral and coinductive rewriting
cites work: Q4002149
full work available at URL: s1567-8326(01)00011-x
OpenAlex ID: W1989138330
description: scientific article; zbMATH DE number 1868263