Joseph Goguen  Home/Search
Context Related
| ucsd.edu/users/goguen/pub...tcs97.ps.gz ucsd.edu/~goguen/pubs/../...tcs97.ps.gz ucsd.edu/users/goguen/pubs/....tcs97.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucsd.edu/users/goguen/pubs/ (more) From: ucsd.edu/~goguen/pubs/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Data Types and Algebraic Semantics The history of programming languages, and to a large extent of software engineering as a whole, can be seen as a succession of ever more powerful abstraction mechanisms. The first stored program computers were programmed in binary, which soon gave way to assembly languages that allowed symbolic codes for operations and addresses. fortran began the spread of "high level" programming languages, though at the time it was strongly opposed by many assembly... (Update)
Context of citations to this paper: More
.... computer science is increasingly seen as marginal to its applications, and this is particularly true of theoretical computer science [6, 94]. This quotation of Goguen, taken from his paper Tossing Algebraic Flowers down the Great Divide, might it not also be extended to...
...aspects of both computing science and cognitive support. Some consider this sort of theoretical unification significant (e.g. see Goguen [245] and Simon [594] 4.3 Analyzing Cognitive Support DC is a relatively new school within cognitive science. As a result, the ways of...
Cited by: More
Cognitive Support in Software Engineering Tools: A.. - Andrew Walenstein (2002) (Correct)
Towards a Topos Theoretic Foundation for the Irish School of.. - Airchinnigh (2001) (Correct)
Active bibliography (related documents): More All
2.1: Introducing OBJ - Goguen, Winkler, Meseguer.. (1993) (Correct)
1.9: A Hidden Agenda - Goguen, Malcolm (1997) (Correct)
1.6: A Categorical Manifesto - Goguen (1991) (Correct)
Similar documents based on text: More All
0.1: From "Impact" to Social Process: Computers in Society and Culture - Edwards (1994) (Correct)
0.0: S U B S C R I P T I O N F O R M - Four-Digit Zip Required (2000) (Correct)
0.0: FlexFAX Modem Bakeoff - Leffler (Correct)
Related documents from co-citation: More All
3: the British Computer Society Human-Computer Interaction Specialist Group (Univer.. (context) - Jones, Winder et al. - 1988
2: Architectural foundations for real-time performance in intelligent agents (context) - Hayes-Roth - 1990
2: Program Understanding Behaviour during Enhancement of Large-scale Software (context) - Von Mayrhauser, Vans et al. - 1997
BibTeX entry: (Update)
Joseph Goguen. Tossing algebraic flowers down the great divide. In C. S. Calude, editor, People & Ideas in Theoretical Computer Science, pages 93--129. Springer-Verlag Singapore Pte. Ltd., Singapore, 1999. [ISBN 981-4021-13-X]. http://citeseer.ist.psu.edu/goguen99tossing.html More
@incollection{ goguen99tossing,
author = "Joseph Goguen",
title = "Tossing Algebraic Flowers down to the Great Divide",
booktitle = "People \& Ideas in Theoretical Computer Science, Springer, 1999",
year = "1999",
url = "citeseer.ist.psu.edu/goguen99tossing.html" }
Citations (may not include all citations):562 Categories for the Working Mathematician (context) - Lane - 1971
526 Information and Control (context) - Zadeh - 1965
441 Software Engineering Economics (context) - Boehm - 1981
234 Institutions: Abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
178 Metaphors we Live by (context) - Lakoff, Johnson - 1980
173 An initial algebra approach to the specification (context) - Goguen, Thatcher et al. - 1978
170 Security policies and security models (context) - Goguen, Meseguer - 1982
155 Secure computer systems: Mathematical foundations and model (context) - Bell, LaPadula - 1974
126 A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1993
112 Initial algebra semantics and continuous algebras (context) - Goguen, Thatcher et al. - 1977
109 Putting theories together to make specifications (context) - Burstall, Goguen - 1977
93 Towards an algebraic semantics for the object paradigm - Goguen, Diaconescu - 1994
88 Software's chronic crisis (context) - Gibbs - 1994
82 Algebraic Semantics of Imperative Programs (context) - Goguen, Malcolm - 1996
80 Introducing institutions (context) - Goguen, Burstall - 1984
77 Unwinding and inference control (context) - Goguen, Meseguer - 1984
74 and Jean-Pierre Jouannaud (context) - Goguen, Winkler et al. - 1988
69 Membership algebra as a logical framework for equational spe.. - Meseguer - 1997
69 induction and computability (context) - Meseguer, Goguen - 1985
69 persistent interconnection and implementation of abstract mo.. (context) - Goguen, Meseguer - 1982
69 and Methodologies for Object-Oriented Algebraic Specificatio.. (context) - Diaconescu, Futatsugi et al. - 1998
57 Computer-Related Risks (context) - Neumann - 1995
52 Autopoiesis and Cognition: The Realization of the Living (context) - Maturana, Varela - 1980
51 Principles of parameterized programming (context) - Goguen - 1989
45 Jean-Pierre Jouannaud (context) - Futatsugi, Goguen - 1985
45 Operational semantics of order-sorted algebra (context) - Goguen, Jouannaud et al. - 1985
44 Reflection and strategies in rewriting logic - Clavel, Meseguer - 1996
44 Abstract data types and the development of data structures (context) - Guttag - 1977
43 Completeness of many-sorted equational logic (context) - Goguen, Meseguer - 1985
42 Theorem Proving and Algebra (context) - Goguen
41 Mathematical Structures in Computer Science (context) - Goguen, manifesto - 1991
41 Models and equality for logical programming (context) - Goguen, Meseguer - 1987
40 Information distribution aspects of design methodology (context) - Parnas - 1972
39 Abstract data types and software validation (context) - Guttag, Horowitz et al. - 1978
39 Sheaf semantics for concurrent interacting objects - Goguen - 1992
38 lileanna: a parameterized programming language (context) - Tracz - 1993
37 Proof of correctness of object representation (context) - Goguen, Malcolm - 1994
31 Logical support for modularisation - Diaconescu, Goguen et al. - 1993
30 Categorical foundations for general systems theory (context) - Goguen - 1973
29 Formal methods and social context in software development (context) - Goguen - 1995
29 A categorical approach to general systems theory (context) - Goguen, Ginali - 1978
28 a system for the structured elaboration of correct programs .. (context) - Goguen, Burstall - 1980
27 The logic of inexact concepts (context) - Goguen - 1968
27 Unpacking collaboration: the interactional organisation of t.. (context) - Heath, Jirotka et al. - 1993
26 with applications to user interface design (context) - Goguen, to - 1998
26 An implementation-oriented semantics for module composition - Goguen, Tracz - 1997
26 Hyperprogramming: A formal approach to software environments - Goguen - 1990
26 Category-based Semantics for Equational and Constraint Logic.. - Diaconescu - 1994
25 An object-oriented tool for tracing requirements (context) - Pinheiro, Goguen - 1996
25 Hiding and behaviour: an institutional approach - Burstall, Diaconescu - 1994
24 anna: A Language for Annotating Ada Programs (context) - Luckham, von Henke et al. - 1987
23 The transformation of experience in narrative syntax (context) - Labov - 1972
22 Distributed cooperative formal methods tools - Goguen, Lin et al. - 1997
22 Science in Action (context) - Latour - 1987
22 Course in General Linguistics (context) - de Saussure - 1976
21 Requirements engineering as the reconciliation of social and.. (context) - Goguen - 1994
21 An algebraic approach to refinement (context) - Goguen - 1990
20 Semantics and Theory of Computation Series (context) - Goguen, algebra et al. - 1978
19 Requirements Engineering: Social and Technical Issues (context) - Jirotka, Goguen - 1994
19 Mathematical representation of hierarchically organized syst.. (context) - Goguen - 1971
17 Transactions on Software Engineering (context) - Goguen - 1984
17 act one: An algebraic specification language with two levels.. (context) - Ehrig, Fey et al. - 1983
17 SpecWare language manual (context) - Srinivas, Jullig - 1996
17 Journal of Mathematical Analysis and Applications (context) - Goguen - 1967
16 Mathematics: Form and Function (context) - Lane - 1986
16 Structure of planning discourse (context) - Linde, Goguen - 1978
15 ethical theory of information (context) - Goguen, social - 1997
15 How to prove algebraic inductive hypotheses without inductio.. (context) - Goguen - 1980
15 Order-sorted unification (context) - Meseguer, Goguen et al. - 1989
15 An elementary theory of the category of sets (context) - Lawvere - 1964
14 Formal Specification of Parameterized Programs in lilleanna (context) - Tracz - 1997
13 International Journal of General Systems (context) - Goguen - 1975
13 and minimal realisation (context) - Malcolm, bisimilarity - 1989
13 Coalgebra semantics for hidden algebra: parameterized object.. (context) - Cirstea - 1997
12 Parameterized programming and software architecture - Goguen - 1996
12 Conditional rewriting logic: Deduction (context) - Meseguer - 1991
12 Extra theory morphisms for institutions: logical semantics f.. - Diaconescu - 1996
11 Reasoning and natural explanation (context) - Goguen, Weiner et al. - 1983
11 Minimal realization of machines in closed categories (context) - Goguen - 1972
11 funnel: A chdl with formal semantics (context) - Stavridou, Goguen et al. - 1991
11 Mathematical proofs of computer system correctness (context) - Barwise - 1989
10 Formality and informality in requirements engineering - Goguen - 1996
10 Edited by Gail Jefferson (context) - Sacks, Conversation - 1992
10 Mind and Nature: A Necessary Unity (context) - Bateson - 1980
10 Foundations of behavioural specification in rewriting logic - Diaconescu - 1996
10 An analysis of the course of a joke's telling in conversatio.. (context) - Sacks - 1974
10 Software for the Rewrite Rule Machine (context) - Goguen, Meseguer - 1988
10 Collected Papers (context) - Peirce - 1965
10 ProofWebs and distributed cooperative proving (context) - Goguen, Mori et al. - 1997
9 An overview of Cafe specification environment (context) - Futatsugi, Nakagawa - 1997
9 Conceptual projection and middle spaces - Fauconnier, Turner - 1994
9 Programming with parameterized abstract objects in OBJ (context) - Goguen, Meseguer et al. - 1983
9 Social issues in requirements engineering - Goguen - 1993
9 A category-based equational logic semantics to constraint pr.. - Diaconescu - 1996
9 Communications of the Association for Computing Machinery (context) - Parnas, for et al. - 1972
8 Mathematical System Theory (context) - Goguen, universal - 1973
8 Initially restricting algebraic theories (context) - Reichel - 1980
8 A junction between computer science and category theory (context) - Goguen, Thatcher et al. - 1973
8 A junction between computer science and category theory (context) - Goguen, Thatcher et al. - 1976
8 A hidden Herbrand theorem - Goguen, Malcolm et al.
8 Parameterized programming in OBJ (context) - Futatsugi, Goguen et al. - 1987
7 Initial algebra semantics (context) - Goguen, Thatcher - 1974
7 Cell and ensemble architecture of the Rewrite Rule Machine (context) - Leinwand, Goguen et al. - 1988
6 The Literary Mind (context) - Turner - 1997
6 Semantic specifications for the Rewrite Rule Machine (context) - Goguen - 1991
6 Centre for Requirements and Foundations (context) - Jirotka, requirements et al. - 1991
6 Linguistic methodology for the analysis of aviation accident.. (context) - Goguen, Linde - 1983
6 The Postmodern Condition: a Report on Knowledge (context) - cois - 1984
6 Optimal structures for multimedia instruction (context) - Goguen, Linde et al. - 1985
5 Rational algebraic theories and fixed-point solutions (context) - Wright, Thatcher et al. - 1976
5 Technical Systems and Cooperative Work: Beyond the Great Div.. (context) - Bowker, Star et al. - 1997
5 The dry and the wet - Goguen - 1992
5 Communications of the Association for Computing Machinery (context) - Dijkstra, nondeterminacy et al. - 1975
5 Biology of language: The epistemology of reality (context) - Maturana - 1978
4 Crew communication as a factor in aviation accidents (context) - Goguen, Linde et al. - 1984
4 Integrating Static and Dynamic Aspects in the Specification .. (context) - Veglioni - 1998
4 An executable course on the algebraic semantics of imperativ.. - Malcolm, Goguen - 1996
4 Tasks and social interaction: the relevance of naturalistic .. (context) - Luff, Jirotka et al. - 1993
4 Cost-benefit analysis of a proposed computer system (context) - Goguen, Linde - 1978
3 Transactions of the American Mathematical Society (context) - Eilenberg, Lane et al. - 1945
3 Formal methods: Problems and promises (context) - Joseph - 1997
3 ene Kirchner, and Aristide M (context) - Kirchner
3 a hundred thousand specification languages (context) - Goguen, none - 1986
3 A categorical view of substitution (context) - Goguen, unification - 1989
3 Technical Report Technical Monograph PRG (context) - Malcolm, Goguen et al. - 1994
3 New Science Library (context) - Maturana, Varela et al. - 1987
3 A categorial theory of objects as observed processes (context) - Ehrich, Goguen et al. - 1991
3 IBM Watson Research Center (context) - Goguen, Thatcher et al. - 1975
2 Complexity of hierarchically organized systems and the struc.. (context) - Goguen - 1977
2 Bulletin of the American Mathematical Society (context) - Goguen, V-sets - 1969
2 Some ideas in algebraic semantics (context) - Goguen - 1979
2 Concept representation in natural and artificial languages: .. (context) - Goguen - 1974
2 Toposes of abstract machines with observational semantics (context) - Malcolm, Worrell - 1997
2 Japan Institute of Science and Technology (context) - Diaconescu, Futatsugi et al. - 1996
2 or the Love of Technology (context) - Latour - 1996
1 Gaia: a Way of Knowing (context) - Thompson - 1987
1 Fuzzy sets and the social nature of truth (context) - Goguen - 1979
1 Japan Institute of Science and Technology (context) - Iida, Matsumoto et al. - 1997
1 Transfer thesis (context) - Cirstea, study et al. - 1996
1 Formal tools for distributed cooperative engineering - Goguen, Mori et al. - 1998
1 Categories of Fuzzy Sets (context) - Goguen - 1968
1 IEEE Transactions on Information Theory (context) - Goguen, Carlson et al. - 1975
1 Fuzzy sets at UCLA (context) - Goguen, Shaket - 1979
1 Should computer scientists read Derrida (context) - Phoa - 1993
1 Hermeneutics and path (context) - Goguen - 1992
1 Systems and distinctions; duality and complementarity (context) - Goguen, Varela - 1979
1 Truth and meaning beyond formalism (context) - Goguen - 1992
1 The denial of error (context) - Goguen - 1992
1 The classification of requirements engineering methods (context) - Bickerton, Siddiqi - 1993
1 Also in Progress in Cybernetics and Systems Research (context) - Varela, Goguen et al. - 1978
1 Unification of theories: A challenge for computing science (context) - Hoare - 1996
1 Selfless Persons (context) - Collins - 1983
Documents on the same site (http://www-cs.ucsd.edu/users/goguen/pubs/): More
Introducing OBJ - Goguen, Winkler, Meseguer.. (1993) (Correct)
Software Engineering with OBJ: algebraic specification in.. - Goguen, (eds.) (1992) (Correct)
Parameterized Programming and Software Architecture - Goguen (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC