SCOPUS 정보 검색 플랫폼

Acta Informatica

Volumn 25, Issue 3, 1988, Pages 233-281

Toward formal development of programs from algebraic specifications: Implementations revisited

(2) Sannella, Donald a Tarlecki, Andrzej b

a UNIVERSITY OF EDINBURGH (United Kingdom)

b INSTITUTE OF COMPUTER SCIENCE (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - PROGRAMMING THEORY;

ABSTRACTOR IMPLEMENTATIONS; ALGEBRAIC SPECIFICATIONS; CONSTRUCTOR IMPLEMENTATIONS; FORMAL PROGRAM DEVELOPMENT;

COMPUTER PROGRAMMING;

EID: 0023994482 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF00283329 Document Type: Article

Times cited : (87)

References (75)

1
- 0003507355
- Academic Press, New York, London
- (1975) Arrow, Structures and Functors: the Categorical Imperative
- Arbib, M.A.¹ Manes, E.G.²

2
- 85035019917
- On the parameterized algebraic specification of concurrent systems
- Proc. 10th Colloq. on Trees in Algebra and Programming, Joint Conf. on Theory and Practice of Software Development (TAPSOFT), Springer, Berlin, Heidelberg, New York
- (1985) Lect. Notes Comput. Sci. Vol. 185 , pp. 342-358
- Astesiano, E.¹ Mascari, G.F.² Reggio, G.³ Wirsing, M.⁴

3
- 84935012049
- Quaderni CNET, no. 115, ETS, Pisa
- (1983) A unifying viewpoint for the constructive specification of cooperation, concurrency and distribution
- Astesiano, E.¹ Reggio, G.²

4
- 0005361302
- Axioms for abstract model theory
- (1974) Ann. Math. Log. , vol.7 , pp. 221-265
- Barwise, K.J.¹

5
- 84934949391
- Bauer, F.L., Broy, M., Dosch, W., Gnatz, R., Geiselbrechtinger, F., Hesse, W., Krieg-Brückner, B., Laut, A., Matzner, T., Möller, B., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., Wössner, H.: Report on a wide spectrum language for program specification and development. Report TUM-I8104, Technische Univ. München (1981). See also: The Wide Spectrum Language CIP-L. Lect. Notes Comput. Sci. Vol. 183. Berlin, Heidelberg, New York: Springer 1985

6
- 35248867045
- Programming in a wide spectrum language: a collection of examples
- (1981) Sci. Comput. Prog. , vol.1 , pp. 73-114
- Bauer, F.L.¹ Broy, M.² Dosch, W.³ Gnatz, R.⁴ Krieg-Brückner, B.⁵ Laut, A.⁶ Luckmann, M.⁷ Matzner, T.⁸ Möller, B.⁹ Partsch, H.¹⁰ Papper, P.¹¹ Samelson, K.¹² Steinbrüggen, R.¹³ Wirsing, M.¹⁴ Wössner, H.¹⁵

7
- 84976812615
- I/O computable data structures
- (1981) ACM SIGPLAN Notices , vol.16 , pp. 27-32
- Bergstra, J.A.¹ Meyer, J.J.²

8
- 85034776218
- Abstract implementations and correctness proofs
- Proc. Symp. on Theoretical Aspects of Computer Science, Saarbrücken, Springer, Berlin, Heidelberg, New York
- (1986) Lect. Notes Comput. Sci. Vol. 210 , pp. 236-251
- Bernot, G.¹ Bidoit, M.² Choppy, C.³

9
- 0042880559
- Many-sorted theories and their algebras with some applications to data types
- M., Nivat, J.C., Reynolds, University Press, Cambridge
- (1985) Algebraic Methods in Semantics , pp. 133-168
- Bloom, S.L.¹ Wagner, E.G.²

10
- 0022753915
- Algebraic implementations preserve program correctness
- (1986) Sci. Comput. Prog. , vol.7 , pp. 35-53
- Broy, M.¹ Möller, B.² Pepper, P.³ Wirsing, M.⁴

11
- 0020293079
- Partial abstract types
- (1982) Acta Inf. , vol.18 , pp. 47-64
- Broy, M.¹ Wirsing, M.²

12
- 0003765293
- Akademie-Verlag, Berlin
- (1986) A Model Theoretic Approach to Partial Algebras
- Burmeister, P.¹

13
- 84934948952
- Burstall, R.M., Goguen, J.A.: Putting together theories to make specifications. Proc. 5th Intl. Joint Conf. on Artificial Intelligence, pp. 1045–1058. Cambridge 1977

14
- 85035009423
- The semantics of Clear, a specification language
- Proc. of Advanced Course on Abstract Software Specifications, Copenhagen, Springer, Berlin, Heidelberg, New York
- (1980) Lect. Notes Comput. Sci. Vol. 86 , pp. 292-332
- Burstall, R.M.¹ Goguen, J.A.²

15
- 84934973426
- Burstall, R.M., Goguen, J.A.: Algebras, theories and freeness: an introduction for computer scientists. Proc. 1981 Marktoberdorf NATO Summer School. Reidel (1982)

16
- 84934973686
- Burstall, R.M., MacQueen, D.B., Sannella, D.T.: HOPE: an experimental applicative language. Proc. 1980 LISP Conference, pp. 136–143. Stanford 1980

17
- 84935031263
- Dubois, E., Levy, N., Souquieres, J.: Formalising restructuring operators in a specification process. Proc. ESEC'87, Strasbourg 1987

18
- 0020845493
- Testing equivalences for processes
- (1984) Theor. Comput. Sci. , vol.34 , pp. 83-133
- de Nicola, R.¹ Hennessy, M.C.B.²

19
- 84910458569
- On realization and implementation
- Proc. 10th Intl. Symp. on Mathematical Foundations of Computer Science, Strbske Pleso, Czechoslovakia, Springer, Berlin, Heidelberg, New York
- (1981) Lect. Notes Comput. Sci. Vol. 118 , pp. 271-280
- Ehrich, H.-D.¹

20
- 0019912438
- On the theory of specification, implementation, and parametrization of abstract data types
- (1982) J. Assoc. Comput. Mach. , vol.29 , pp. 206-227
- Ehrich, H.-D.¹

21
- 0041021501
- Report Nr. 83-03, Institut für Software und Theoretische Informatik, Technische Univ., Berlin
- (1983) ACT ONE: an algebraic specification language with two levels of semantics
- Ehrig, H.¹ Fey, W.² Hansen, H.³

22
- 85034665504
- Parameter passing commutes with implementation of parameterized data types
- Proc. 9th Intl. Colloq. on Automata, Languages and Programming, Aarhus, Denmark, Springer, Berlin, Heidelberg, New York
- (1982) Lect. Notes Comput. Sci. Vol. 140 , pp. 197-211
- Ehrig, H.¹ Kreowski, H.-J.²

23
- 0007028738
- Algebraic implementation of abstract data types
- (1982) Theoretical Computer Science , vol.20 , pp. 209-263
- Ehrig, H.¹ Kreowski, H.-J.² Mahr, B.³ Padawitz, P.⁴

24
- 85030329811
- Parameterized data types in algebraic specification languages (short version)
- Proc. 7th Intl. Colloq. on Automata, Languages and Programming, Noordwijkerhout, Netherlands, Springer, Berlin, Heidelberg, New York
- (1980) Lect. Notes Comput. Sci. Vol. 85 , pp. 157-168
- Ehrig, H.¹ Kreowski, H.-J.² Thatcher, J.W.³ Wagner, E.G.⁴ Wright, J.B.⁵

25
- 0003307585
- Fundamentals of Algebraic Specification I: Equations and Initial Semantics
- Springer, Berlin, Heidelberg, New York
- (1985) EATCS Monographs on Theoretical Computer Science
- Ehrig, H.¹ Mahr, B.²

26
- 84934990884
- Ehrig, H., Thatcher, J.W., Lucas, P., Zilles, S.N.: Denotational and initial algebra semantics of the algebraic specification language LOOK. Draft report, IBM research 1982

27
- 0020981604
- Algebraic specifications with generating constraints
- Proc. 10th Intl. Colloq. on Automata, Languages and Programming, Barcelona, Springer, Berlin, Heidelberg, New York
- (1983) Lect. Notes Comput. Sci. Vol. 154 , pp. 188-202
- Ehrig, H.¹ Wagner, E.G.² Thatcher, J.W.³

28
- 84934969823
- Futatsugi, K., Goguen, J.A., Jouannaud, J.-P., Meseguer, J.: Principles of OBJ2. Proc. 12th ACM Symp. on Principles of Programming Languages, pp. 52–66. New Orleans 1985

29
- 84976821809
- Parameterized specifications: parameter passing and implementation with respect to observability
- (1983) ACM Transactions on Programming Languages and Systems , vol.5 , pp. 318-354
- Ganzinger, H.¹

30
- 85035005894
- Observability concepts in abstract data type specification
- Proc. 5th Intl. Symp. on Mathematical Foundations of Computer Science, Gdansk, Springer, Berlin, Heidelberg, New York
- (1976) Lect. Notes Comput. Sci. Vol. 45 , pp. 576-587
- Giarratana, V.¹ Gimona, F.² Montanari, U.³

31
- 84934895755
- Gogolla, M.: Algebraic specifications with partially ordered sorts and declarations. Fb. 169, Abteilung Informatik, Universität Dortmund 1983

32
- 0021656565
- Algebraic and operational semantics of specifications allowing exceptions and errors
- (1984) Theor. Comput. Sci. , vol.34 , pp. 289-313
- Gogolla, M.¹ Drosten, K.² Lipeck, U.³ Ehrich, H.-D.⁴

33
- 84934914770
- Goguen, J.A., Burstall, R.M.: CAT, a system for the structured elaboration of correct programs from structured specifications. Technical report CSL-118, SRI International, 1980

34
- 85034210851
- Introducing institutions
- E., Clarke, D., Kozen, Proc. Logics of Programming Workshop, Springer, Berlin, Heidelberg, New York
- (1984) Carnegie-Mellon University. Lect. Notes Comput. Sci. Vol. 164 , pp. 221-256
- Goguen, J.A.¹ Burstall, R.M.²

35
- 33645424878
- Some fundamental algebraic tools for the semantics of computation. Part 1: Comma categories, colimits, signatures and theories
- (1984) Theor. Comput. Sci. , vol.31 , pp. 175-210
- Goguen, J.A.¹ Burstall, R.M.²

36
- 84976670841
- A study in the foundations of programming methodology: specifications, institutions, charters and parchments
- Proc. Workshop on Category Theory and Computer Programming, Guildford, Springer, Berlin, Heidelberg, New York
- (1986) Lect. Notes Comput. Sci. Vol. 240 , pp. 313-333
- Goguen, J.A.¹ Burstall, R.M.²

37
- 85027627960
- Operational semantics for order-sorted algebra
- Proc. 12th Intl. Colloq. on Automata, Languages and Programming, Nafplion, Greece, Springer, Berlin, Heidelberg, New York
- (1985) Lect. Notes Comput. Sci. Vol. 194 , pp. 221-231
- Goguen, J.A.¹ Jouannaud, J.-P.² Meseguer, J.³

38
- 84955587325
- Universal realization, persistent interconnection and implementation of abstract modules
- Proc. 9th Intl. Colloq. on Automata, Languages and Programming, Aarhus, Springer, Berlin, Heidelberg, New York
- (1982) Lect. Notes Comput. Sci. Vol. 140 , pp. 265-281
- Goguen, J.A.¹ Meseguer, J.²

39
- 84934965633
- Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness, and implementation of abstract data types. IBM research report RC6487 (1976). Also in: Current Trends in Programming Methodology, Vol. 4: Data Structuring. Yeh, R.T. (ed.), pp. 80–149. Englewood Cliffs, NJ: Prentice-Hall 1978

40
- 84976746763
- Initial algebra semantics and continuous algebras
- (1977) Journal of the ACM , vol.24 , pp. 68-95
- Goguen, J.A.¹ Thatcher, J.W.² Wagner, E.G.³ Wright, J.B.⁴

41
- 0005126050
- Springer, Berlin, Heidelberg, New York
- (1979) Denotational descriptions of Programming Languages
- Gordon, M.J.¹

42
- 84934932812
- Guttag, J.V.: The specification and application to programming of abstract data types. Ph.D. thesis, University of Toronto 1975

43
- 84934997885
- Guttag, J.V., Horning, J.J.: Preliminary report on the Larch Shared Language. Report CSL-83-6, Computer Science Laboratory, Xerox PARC, 1983

44
- 84976847852
- Final data types and their specification
- (1983) ACM Transactions on Programming Languages and Systems , vol.5 , pp. 97-121
- Kamin, S.¹

45
- 84935009524
- Larsen, K.: Context-dependent bisimulation between processes. Ph.D. thesis, Dept. of Computer Science, University of Edinburgh, 1986

46
- 84935006627
- Lipeck, U.: Ein algebraischer Kalkül für einer strukturierten Entwurf von Datenabstraktionen. Ph.D. thesis, Abteilung Informatik, Universität Dortmund 1983

47
- 84934886688
- Liskov, B.H., Berzins, V.: An appraisal of program specifications. Computation Structures Group memo 141-1, Laboratory for Computer Science, MIT, 1977

48
- 0004280509
- Springer, Berlin, Heidelberg, New York
- (1971) Categories for the Working Mathematician
- MacLane, S.¹

49
- 0346477262
- Modules for Standard ML
- (1985) Polymorphism , vol.2 , pp. 2
- MacQueen, D.B.¹

50
- 84976781844
- A deductive approach to program synthesis
- (1980) ACM Trans. Prog. Lang. Syst. , vol.2 , pp. 92-121
- Manna, Z.¹ Waldinger, R.²

51
- 0002928286
- Initiality, induction and computability
- M., Nivat, J., Reynolds, Univ. Press, Cambridge
- (1983) Algebraic Methods in Semantics , pp. 459-541
- Meseguer, J.¹ Goguen, J.A.²

52
- 0018105622
- A theory of type polymorphism in programming
- (1978) J. Comput. Syst. Sci. , vol.17 , pp. 348-375
- Milner, R.G.¹

53
- 0345933296
- The Standard ML core language
- (1985) Polymorphism , vol.2 , pp. 2
- Milner, R.G.¹

54
- 0002703887
- Gedanken-experiments on sequential machines
- C.E., Shannon, J., McCarthy, University Press, Princeton
- (1956) Automata Studies , pp. 129-153
- Moore, E.F.¹

55
- 84915720188
- Characterizing composability of abstract implementations
- Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden, Springer, Berlin, Heidelberg, New York
- (1983) Lect. Notes Comput. Sci. Vol. 158 , pp. 335-346
- Orejas, F.¹

56
- 85034997464
- The semantics of shared submodules specifications
- Proc. 10th Colloq. on Trees in Algebra and Programming, Joint Conf. on Theory and Practice of Software Development (TAPSOFT), Springer, Berlin, Heidelberg, New York
- (1985) Lect. Notes Comput. Sci. Vol. 185 , pp. 359-373
- Parisi-Presicce, F.¹ Blum, E.K.²

57
- 84934975632
- Pepper, P.: On the correctness of type transformations. Talk at 2nd Workshop on Theory and Applications of Abstract Data Types, Passau, 1983

58
- 0000230630
- LCF considered as a programming language
- (1977) Theor. Comput. Sci. , vol.5 , pp. 223-255
- Plotkin, G.D.¹

59
- 84934946735
- Reichel, H.: Behavioural equivalence — a unifying concept for initial and final specification methods. Proc. 3rd Hungarian Computer Science Conference, pp. 27–39. Budapest, 1981

60
- 84934966156
- Some thoughts on algebraic specification
- Proc. 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, Springer, Berlin, Heidelberg, New York
- (1985) Informatik-Fachberichte Vol. 116 , pp. 31-38
- Sannella, D.T.¹ Tarlecki, A.²

61
- 84934932285
- Sannella, D.T., Tarlecki, A.: Program specification and development in Standard ML. Proc. 12th ACM Symp. on Principles of Programming Languages, pp. 67–77. New Orleans, 1985

62
- 84935023018
- Sannella, D.T., Tarlecki, A.: Specifications in an arbitrary institution. Inf. Control. 76 (1988). See also: Building specifications in an arbitrary institution, Proc. Intl. Symposium on Semantics of Data Types, Sophia-Antipolis. Lect. Notes Comput. Sci. Vol. 173, pp. 337–356. Berlin, Heidelberg, New York: Springer 1984

63
- 84976747698
- Extended ML: an institution-independent framework for formal program development
- Proc. Workshop on Category Theory and Computer Programming, Guildford, Springer, Berlin, Heidelberg, New York
- (1986) Lect. Notes Comput. Sci. Vol. 240 , pp. 364-389
- Sannella, D.T.¹ Tarlecki, A.²

64
- 0022047452
- On observational equivalence and algebraic specification
- (1987) J. Comput. Syst. Sci. , vol.34 , pp. 150-178
- Sannella, D.T.¹ Tarlecki, A.²

65
- 85029540028
- Toward formal development of programs from algebraic specifications: implementations revisited (extended abstract)
- Proc. 12th Colloq. on Trees in Algebra and Programming, Joint Conf. on Theory and Practice of Software Development (TAPSOFT), Pisa, Springer, Berlin, Heidelberg, New York
- (1987) Lect. Notes Comput. Sci. Vol. 249 , pp. 96-110
- Sannella, D.T.¹ Tarlecki, A.²

66
- 84976859404
- Implementation of parameterised specifications
- Proc. 9th Intl. Colloq. on Automata, Languages and Programming, Aarhus, Report CSR-103-82, Dept. of Computer Science, Univ. of Edinburgh, Springer, Berlin, Heidelberg, New York
- (1982) Lect. Notes Comput. Sci. Vol. 140 , pp. 473-488
- Sannella, D.T.¹ Wirsing, M.²

67
- 85034227973
- A kernel language for algebraic specification and implementation
- Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden, Report CSR-131-83, Dept. of Computer Science, Univ. of Edinburgh, Springer, Berlin, Heidelberg, New York
- (1983) Lect. Notes Comput. Sci. Vol. 158 , pp. 413-427
- Sannella, D.T.¹ Wirsing, M.²

68
- 84934992389
- Schoett, O.: Data abstraction and the correctness of modular programming. Ph.D. thesis, University of Edinburgh, 1986

69
- 0022230583
- On the existence of free models in abstract algebraic institutions
- (1985) Theor. Comput. Sci. , vol.37 , pp. 269-304
- Tarlecki, A.¹

70
- 0022912097
- Quasi-varieties in abstract algebraic institutions
- (1986) J. Comput. Syst. Sci. , vol.33 , pp. 333-360
- Tarlecki, A.¹

71
- 84912995892
- Software-system development —an abstract view
- North-Holland, Amsterdam
- (1986) Proc. 10th IFIP World Computer Congress, Dublin , pp. 685-688
- Tarlecki, A.¹

72
- 84913361470
- Continuous abstract data types
- (1986) Fundamenta Informaticae , vol.9 , pp. 95-126
- Tarlecki, A.¹ Wirsing, M.²

73
- 0346202850
- Specifications, models, and implementations of data abstractions
- (1982) Theor. Comput. Sci. , vol.20 , pp. 3-32
- Wand, M.¹

74
- 0022759952
- Structured algebraic specifications: a kernel language
- (1986) Theor. Comput. Sci. , vol.42 , pp. 123-249
- Wirsing, M.¹

75
- 84935004488
- Zilles, S.N.: Algebraic specification of data types. Computation Structures Group memo 119, Laboratory for Computer Science, MIT (1974)

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