SCOPUS 정보 검색 플랫폼

Journal of Logic and Algebraic Programming

Volumn 51, Issue 1, 2002, Pages 1-41

A hidden Herbrand theorem: Combining the object and logic paradigms

(3) Goguen, Joseph a Malcolm, Grant b Kemp, Tom c

a UNIVERSITY OF CALIFORNIA (United States)

b UNIVERSITY OF LIVERPOOL (United Kingdom)

c UNIVERSITY OF OXFORD (United Kingdom)

Author keywords

Active constraint object programming; Algebraic semantics; Coinduction; Herbrand theorem; Hidden algebra; Logic programming with objects; Multi paradigm programming

Indexed keywords

ALGEBRA; COMPUTATION THEORY; CONSTRAINT THEORY; MATHEMATICAL MODELS; MULTIPROGRAMMING; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; SEMANTICS; THEOREM PROVING;

ACTIVE CONSTRAINT OBJECT PROGRAMMING; MULTI-PARADIGM PROGRAMMING;

LOGIC PROGRAMMING;

EID: 0037023205 PISSN: 15678326 EISSN: None Source Type: Journal
DOI: 10.1016/S1567-8326(01)00011-X Document Type: Article

Times cited : (9)

References (59)

1
- 0003400084
- Prentice-Hall, Englewood Cliffs, NJ
- (1997) K. Apt. From Logic Programming to Prolog

2
- 0003843046
- Prentice-Hall, Englewood Cliffs, NJ
- (1990) Category Theory for Computing Science
- Barr, M.¹ Wells, C.²

3
- 84959697692
- On the structure of abstract algebras
- (1935) Proc. Cambridge Philos. Soc. , vol.31 , pp. 433-454
- Birkhoff, G.¹

4
- 0006447155
- Hiding and behaviour: An institutional approach
- A.W. Roscoe (Ed.), Prentice-Hall, Englewood Cliffs, NJ
- (1994) A Classical Mind: Essays in Honour of C.A.R. Hoare , pp. 75-92
- Burstall, R.¹ Diaconescu, R.²

5
- 18944369836
- Incompleteness of behavioral logics
- H. Reichel (Ed.), Proceedings, Coalgebraic Methods in Computer Science (CMCS'00), Elsevier Science, Amsterdam
- (2000) Electronic Notes in Theoretical Computer Science , vol.33 , pp. 61-79
- Buss, S.¹ Roşu, G.²

6
- 0006412844
- Hidden order sorted algebra: Subtypes for objects
- Department of Computer Science, University of Liverpool
- (1999) Draft
- Cîrstea, C.¹ Malcolm, G.² Worrell, J.³

7
- 0004214181
- Harper and Row, New York, revised ed.
- (1965) Universal Algebra
- Cohn, P.M.¹

8
- 84957888913
- Coalgebra semantics for hidden algebra: Parameterized objects and inheritance
- F. Parisi-Presicce (Ed.), 12th Workshop on Algebraic Development Techniques, Springer, Berlin
- (1998) Lecture Notes in Comput. Sci. , vol.1376 , pp. 174-189
- Cîrstea, C.¹

9
- 0000029077
- Rewriting systems
- J. van Leeuwen (Ed.), North-Holland, Amsterdam
- (1990) Handbook of Theoretical Computer Science, Formal Methods and Semantics , vol.B , pp. 243-320
- Dershowitz, N.¹ Jouannaud, J.-P.²

10
- 0006505546
- Technical Report PRG-TR-3-93, Programming Research Group, University of Oxford, Written
- (1990) The logic of Horn clauses is equational
- Diaconescu, R.¹

11
- 0003919233
- PhD thesis, Programming Research Group, Oxford University
- (1994) Category-based Semantics for Equational and Constraint Logic Programming
- Diaconescu, R.¹

12
- 84958651830
- A category-based equational logic semantics to constraint programming
- M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specification, Springer, Berlin
- (1996) Lecture Notes in Comput. Sci. , vol.389 , pp. 200-222
- Diaconescu, R.¹

13
- 0003735134
- CafeOBJ Report: The language, proof techniques, and methodologies for object-oriented algebraic specification
- World Scientific, Singapore
- (1998) AMAST Series in Computing
- Diaconescu, R.¹ Futatsugi, K.²

14
- 18944402672
- Logical semantics for CafeOBJ
- Precise Semantics for Software Modelling Techniques, Technical University of München, Report TUM-19803, Kyoto, Japan
- (1998) Proceedings of an ICSE'98 workshop , pp. 31-54
- Diaconescu, R.¹ Futatsugi, K.²

15
- 0001858965
- Behavioural coherence in object-oriented algebraic specification
- Also technical report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology, June 1998
- (2000) J. Universal Comput. Sci. , vol.6 , Issue.1 , pp. 74-96
- Diaconescu, R.¹ Futatsugi, K.²

16
- 0006490490
- Technical Report 687, LRI, Université de Paris-Sud
- (1991) Context induction: An exercise
- Gaudel, M.-C.¹ Privara, I.²

17
- 0000039028
- Principles of parameterized programming
- T. Biggerstaff, A. Perlis (Eds.), Addison Wesley, Reading
- (1989) Software Reusability, Concepts and Models , vol.1 , pp. 159-225
- Goguen, J.¹

18
- 0006418083
- Hyperprogramming: A formal approach to software environments
- Joint System Development Corporation, Tokyo, Japan, January
- (1990) Proceedings, Symposium on Formal Approaches to Software Environment Technology
- Goguen, J.¹

19
- 0002789583
- Types as theories
- G.M. Reed, A.W. Roscoe, R.F. Wachter (Eds.), Topology and Category Theory in Computer Science, June, Oxford
- (1989) Proceedings of a Conference held at Oxford , pp. 357-390
- Goguen, J.¹

20
- 0006453478
- An approach to situated adaptive software
- NEDO, Kanazawa, Japan
- (1993) Proceedings, International Workshop on New Models of Software Architecture , pp. 7-20
- Goguen, J.¹

21
- 0004328572
- MIT (to appear)
- Theorem Proving and Algebra
- Goguen, J.¹

22
- 0026444654
- Institutions: Abstract model theory for specification and programming
- (1992) J. Assoc. Comput. Mach. , vol.39 , Issue.1 , pp. 95-146
- Goguen, J.¹ Burstall, R.²

23
- 84973942003
- An Oxford survey of order sorted algebra
- (1994) Math. Struct. Comput. Sci. , vol.4 , pp. 363-392
- Goguen, J.¹ Diaconescu, R.²

24
- 84969364034
- Towards an algebraic semantics for the object paradigm
- H. Ehrig, F. Orejas (Eds.), Proceedings, Tenth Workshop on Abstract Data Types, Springer, Berlin
- (1994) Lecture Notes in Comput. Sci. , vol.785 , pp. 1-29
- Goguen, J.¹ Diaconescu, R.²

25
- 84960940206
- Circular coinductive rewriting
- IEEE, Grenoble, France
- (2000) Proceedings, Automated Software Engineering '00 , pp. 123-131
- Goguen, J.¹ Lin, K.² Roşu, G.³

26
- 0006453896
- Proof of correctness of object representation
- A.W. Roscoe (Ed.), Prentice-Hall, Englewood Cliffs, NJ
- (1994) A Classical Mind: Essays in Honour of C.A.R. Hoare , pp. 119-142
- Goguen, J.¹ Malcolm, G.²

27
- 0006495598
- Situated adaptive software: Beyond the object paradigm
- Information-Technology Promotion Agency, Tokyo, Japan
- (1995) Proceedings, International Symposium on New Models of Software Architecture , pp. 126-142
- Goguen, J.¹ Malcolm, G.²

28
- 0004104666
- MIT Press, Cambridge, MA
- (1996) Algebraic Semantics of Imperative Programs
- Goguen, J.¹ Malcolm, G.²

29
- 84978604948
- Hidden coinduction: Behavioral correctness proofs for objects
- (1999) Math. Struct. Comput. Sci. , vol.9 , Issue.3 , pp. 287-319
- Goguen, J.¹ Malcolm, G.²

30
- 0004054370
- Kluwer Academic Publishers, Dordrecht
- (2000) Software Engineering with OBJ: Algebraic Specification in Action
- Goguen, J.¹ Malcolm, G.²

31
- 0002583222
- A hidden agenda
- Also UCSD Department of Computer Science and Engineering, Technical Report CS97-538, May 1997
- (2000) Theoret. Comput. Sci. , vol.245 , Issue.1 , pp. 55-101
- Goguen, J.¹ Malcolm, G.²

32
- 0006490491
- A hidden Herbrand theorem: Combining the object, logic and functional paradigms
- C. Palamidessi, H. Glaser, K. Meinke (Eds.), Principles of Declarative Programming, Springer, Berlin
- (1998) Lecture Notes in Comput. Sci. , vol.1490 , pp. 445-462
- Goguen, J.¹ Malcolm, G.² Kemp, T.³

33
- 84955587325
- Universal realization, persistent interconnection and implementation of ab- stract modules
- M. Nielsen, E.M. Schmidt (Eds.), Proceedings, Ninth International Conference on Automata, Languages and Programming, Springer, Berlin
- (1982) Lecture Notes in Comput. Sci. , vol.140 , pp. 265-281
- Goguen, J.¹ Meseguer, J.²

34
- 0003151644
- Eqlog: Equality, types, and generic modules for logic programming
- D. De-Groot, G. Lindstrom (Eds.), Prentice-Hall, Englewood Cliffs, NJ (An earlier version appears in J. Logic Programming, 1 (1984) 179-210)
- (1986) Logic Programming: Functions, Relations and Equations , pp. 295-363
- Goguen, J.¹ Meseguer, J.²

35
- 85034963820
- Models and equality for logical programming
- H. Ehrig, G. Levi, R. Kowalski, U. Montanari (Eds.), Proceedings, 1987 TAPSOFT, Springer, Berlin
- (1987) Lecture Notes in Comput. Sci. , vol.250 , pp. 1-22
- Goguen, J.¹ Meseguer, J.²

36
- 0002712736
- Unifying functional, object-oriented and relational programming, with logical semantics
- B. Shriver, P. Wegner (Eds.), MIT, Campbridge, MA
- (1987) Research Directions in Object-Oriented Programming , pp. 417-477
- Goguen, J.¹ Meseguer, J.²

37
- 0027116146
- Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Drafts exist from as early as 1985
- (1992) Theoret. Comput. Sci. , vol.105 , Issue.2 , pp. 217-273
- Goguen, J.¹ Meseguer, J.²

38
- 84949496605
- Hiding more of hidden algebra
- J. Wing, J. Woodcock, J. Davies (Eds.), FM'99 - Formal Methods, Proceedings of World Congress on Formal Methods, Toulouse, France, Springer, Berlin
- (1999) Lecture Notes in Comput. Sci. , vol.1709 , pp. 1704-1719
- Goguen, J.¹ Roşu, G.²

39
- 0002424767
- An initial algebra approach to the specification
- R. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, NJ
- (1978) Current Trends in Programming Methodology , vol.4 , pp. 80-149
- Goguen, J.¹ Thatcher, J.² Wagner, E.³

40
- 0005302189
- Introducing OBJ
- J. Goguen, G. Malcolm (Eds.), Kluwer Academic Publishers, Dordrecht (Also Technical Report SRI-CSL-88-9, August 1988, SRI International)
- (2000) Software Engineering with OBJ: Algebraic Specification in Action , pp. 3-167
- Goguen, J.¹ Winkler, T.² Meseguer, J.³ Futatsugi, K.⁴ Jouannaud, J.-P.⁵

41
- 22244453287
- Recherches sur la théorie de la démonstration
- (1930) Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III , vol.33 , Issue.128
- Herbrand, J.¹

42
- 43449107343
- Inheritance and cofree constructions
- P. Cointe (Ed.), European Conference on Object-Oriented Programming, Springer, Berlin
- (1996) Lecture Notes in Comput. Sci. , vol.1098 , pp. 210-231
- Jacobs, B.¹

43
- 0003969139
- Springer, Berlin
- (1971) Categories for the Working Mathematician
- Lane, S.M.¹

44
- 0003453263
- Springer, Berlin
- (1987) Foundations of Logic Programming, second ed.
- Lloyd, J.W.¹

45
- 0003797197
- Springer, Berlin
- (1973) Algebraic Systems
- Malcev, A.I.¹

46
- 0006412301
- Behavioural equivalence, bisimilarity, and minimal realisation
- M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specifications: 11th Workshop on Specification of Abstract Data Types, Oslo, Norway, September, Springer, Berlin
- (1995) Lecture Notes in Comput. Sci. , vol.1130 , pp. 359-378
- Malcolm, G.¹

47
- 38549134295
- Interconnection of object specifications
- S. Goldsack, S. Kent (Eds.), Springer, Berlin
- (1996) Formal Methods and Object Technology, Workshops in Computing , pp. 359-378
- Malcolm, G.¹

48
- 0003554030
- Proving correctness of refinement and implementation
- Programming Research Group, University of Oxford
- (1994) Technical Report Technical Monograph , vol.PRG-114
- Malcolm, G.¹ Goguen, J.²

49
- 0000336115
- Universal algebra
- Oxford
- (1993) Handbook of Logic in Computer Science , vol.1
- Meinke, K.¹ Tucker, J.V.²

50
- 0002928286
- Initiality, induction and computability
- M. Nivat, J. Reynolds (Eds.), Cambridge
- (1985) Algebraic Methods in Semantics , pp. 459-541
- Meseguer, J.¹ Goguen, J.²

51
- 0003578795
- Prentice-Hall, Englewood Cliffs, NJ, 2nd Ed.
- (1988) Object-Oriented Software Construction
- Meyer, B.¹

52
- 0004181456
- Technical Report ECS-LFCS-89-85 and -86, Computer Science Department, University of Edinburgh
- (1989) A calculus of mobile processes, Parts I and II
- Milner, R.¹ Parrow, J.² Walker, D.³

53
- 0026222092
- Co-induction in relational semantics
- (1991) Theoret. Comput. Sci. , vol.87 , Issue.1 , pp. 209-220
- Milner, R.¹ Tofte, M.²

54
- 0347567659
- Behavioural equivalence - A unifying concept for initial and final specifications
- Akademiai Kiado, Budapest, Hungary
- (1981) Proceedings, Third Hungarian Computer Science Conference
- Reichel, H.¹

55
- 0004620343
- Behavioural validity of conditional equations in abstract data types
- Contributions to General Algebra, June 21-24, Teubner, Stuttgart
- (1984) Proceedings of the Vienna Conference , vol.3
- Reichel, H.¹

56
- 84976111956
- An approach to object semantics based on terminal co-algebras
- (1995) Math. Struct. Comput. Sci. , vol.5 , pp. 129-152
- Reichel, H.¹

57
- 0006504128
- Behavioral coinductive rewriting
- K. Futatsugi, J. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude at Formal Methods '99, 20 and 22 September 1999, Theta, Bucharest
- (1999) Proceedings of a workshop in Toulouse , pp. 179-196
- Roşu, G.¹

58
- 84867810012
- Hidden congruent deduction
- R. Caferra, G. Salzer (Eds.), Automated Deduction in Classical and Non-Classical Logics, Springer, Berlin (papers from a conference held in Vienna, November 1998)
- (2000) Lecture Notes in Artificial Intelligence , vol.1761 , pp. 252-267
- Roşu, G.¹ Goguen, J.²

59
- 0003201744
- Universal algebra for computer scientists
- Springer, Berlin
- (1992) EATCS Monographs on Theoretical Computer Science , vol.25
- Wechler, W.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.