SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Theoretical Computer Science

Volumn 275, Issue 1-2, 2002, Pages 675-698

Observational proofs by rewriting

(2) Bouhoula, Adel a Rusinowitch, Michaël b

a UNIVERSITY OF CARTHAGE (Tunisia)

b LORIA (France)

Author keywords

Automated proofs; Induction; Observational semantics; Rewriting

Indexed keywords

AUTOMATA THEORY; COMPUTER SOFTWARE; SEMANTICS;

DISTRIBUTED OBJECT SYSTEMS;

COMPUTER SCIENCE;

EID: 0037187382 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00333-4 Document Type: Article

Times cited : (13)

References (38)

1
- 21144479555
- Proving the correctness of algebraic implementations by the ISAR system
- DISCO'93, Springer, Berlin
- (1993) Lecture Notes in Computer Science , vol.722 , pp. 2-16
- Bauer, B.¹ Hennicker, R.²

2
- 0006487784
- Proving the correctness of algebraically specified software: Modularity and observability issues
- Lecture Notes in Computer Science, Springer, Berlin
- (1991) Proc. 2nd Internat. Conf. on Algebraic Methodology and Software Technology , pp. 216-239
- Bernot, G.¹ Bidoit, M.²

3
- 0006444522
- Towards an adequate notion of observation
- B. Krieg-Brckner (Ed.), European Symp. on programming, Rennes, Springer, Berlin, February
- (1992) Lecture Notes in Computer Science , vol.589 , pp. 39-55
- Bernot, G.¹ Bidoit, M.² Knapik, T.³

4
- 21844482441
- Behavioural approaches to algebraic specifications: A comparative study
- (1994) Acta Inform , vol.31 , Issue.7 , pp. 651-671
- Bernot, G.¹ Bidoit, M.² Knapik, T.³

5
- 84957068625
- Observational proofs with critical contexts
- Fundamental Approaches to Software Engineering (ETAP 98), Springer, Berlin, March/April
- (1998) LNCS , vol.1382 , pp. 38-53
- Berregeb, N.¹ Bouhoula, A.² Rusinowitch, M.³

6
- 0345744482
- How to prove observational theorems with LP
- U. Martin, J. Wing (Eds.), Springer, Berlin
- (1992) Proc. 1st Internat. Workshop on Larch
- Bidoit, M.¹ Hennicker, R.²

7
- 0030247056
- Behavioural theories and the proof of behavioural properties
- (1996) Theoret. Comput. Sci. , vol.165 , Issue.1 , pp. 3-55
- Bidoit, M.¹ Hennicker, R.²

8
- 0000491397
- Implicit induction in conditional theories
- (1995) J. Automat. Reason. , vol.14 , Issue.2 , pp. 189-235
- Bouhoula, A.¹ Rusinowitch, M.²

9
- 0030641947
- Automated theorem proving by test set induction
- (1997) J. Symbolic Comput. , vol.23 , Issue.1 , pp. 47-77
- Bouhoula, A.¹

10
- 0001431539
- Encompassment properties and automata with constraints
- C. Kirchner (Ed.), Proc. 5th Conf. on Rewriting Techniques and Applications, Montreal (Canada), Springer, Berlin
- (1993) Lecture Notes in Computer Science , vol.690 , pp. 328-342
- Caron, A.-C.¹ Coquide, J.-L.² Dauchet, M.³

11
- 0004006994
- Fundamentals of Algebraic Specification 1. Equations and initial semantics, Springer, Berlin
- (1985) EATCS Monographs on Theoretical Computer Science , vol.6
- Ehrig, H.¹ Mahr, B.²

12
- 84969364034
- Towards an algebraic semantics for the object paradigm
- M. Ehrig, F. Orejas (Eds.), Recent Trends in Data Type Specifications, 9th Workshop on Specification of Abstract Data Types, Springer, Berlin, October
- (1992) Lecture Notes in Computer Science , pp. 1-29
- Goguen, J.¹ Diaconescu, R.²

13
- 0006503396
- Grenoble France, IEEE, New York, September
- (2000) Proc. Circular Coinductive Rewriting on Automated Software Engineering '00 , pp. 123-131
- Goguen, J.¹ Rosu, G.² Lin, K.³

14
- 0006440677
- Ph.D. Thesis, University of Toronto
- (1975) The specification and application to programming of abstract data types
- Guttag, J.¹

15
- 84910878985
- Implementation of parameterized observational specifications
- TAPSOFT'89, Springer, Berllin
- (1989) Lecture Notes in Computer Science , vol.351 , pp. 290-305
- Hennicker, R.¹

16
- 0000564340
- Context induction: A proof principle for behavioural abstractions and algebraic implementations
- (1991) Formal Aspects Comput. , vol.3 , Issue.4 , pp. 326-345
- Hennicker, R.¹

17
- 0006487035
- Habilitationsschrift, Institut fr Informatik, Ludwig-Maximilians-Universitt München
- (1997) Structured specifications with behavioural operators: Semantics, proof methods and applications
- Hennicker, R.¹

18
- 84947742394
- Reasoning about classes in object-oriented languages: Logical models and tools
- Ch. Hankin (Ed.)
- (1998) European Symp. on Programming , vol.1381 , pp. 105-121
- Hensel, U.¹ Huisman, M.² Jacobs, B.³ Tews, H.⁴

19
- 0006407655
- Behaviour-refinement of coalgebraic specifications with coinductive correctness proofs
- (1997) Proc. TAPSOFT/FASE
- Jacobs, B.¹

20
- 0001843074
- On the decidability of quasi-reducibility
- (1986) Bull. European Assoc. Theoret. Comput. Sci. , vol.28 , pp. 32-34
- Kaplan, S.¹ Choquer, M.²

21
- 0001895110
- Automating inductionless induction using test sets
- (1991) J. Symbolic Comput. , pp. 83-111
- Kapur, D.¹ Narendran, P.² Zhang, H.³

22
- 0006408913
- Specifications with observable formulae and observational satisfaction relation
- Recent Trends in Data Type Specifications
- (1991) 8th Workshop on Specification of Abstract Data Types
- Knapik, T.¹

23
- 0026944545
- Testing for the ground (co-)reducibility property in term-rewriting systems
- (1992) Theoret. Comput. Sci. , vol.106 , pp. 87-117
- Kounalis, E.¹

24
- 0028499905
- Extending Bachmair's method for proof by consistency to the final algebra
- (1994) Inform. Process. Lett. , vol.51 , pp. 303-310
- Lysne, O.¹

25
- 0003554030
- Technical Monograph PRG-114, Oxford University Computing Laboratory, November
- (1994) Proving correctness of refinement and implementation
- Malcolm, G.¹ Goguen, J.²

26
- 18444388636
- Test set coinduction - Towards automated verification of behavioural properties
- ENTCS
- (1998) Proc. 2nd Internat. Workshop on Rewriting Logic and Its Applications , vol.15
- Matsumoto, M.¹ Futatsugi, K.²

27
- 22844456985
- Verifying behavioural specifications in CafeOBJ environment
- FM'99, Vol. II, Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1709 , pp. 1625-1643
- Mori, A.¹ Futatsugi, K.²

28
- 84969344425
- Initial behaviour semantics for algebraic specification
- Recent Trends in Data Type Specification
- (1987) 5th Workshop on Specification of Abstract Data Types , vol.332 , pp. 184-207
- Nivela, P.¹ Orejas, F.²

29
- 0003519508
- Springer, Berlin
- (1988) Computing in Horn Clause Theories
- Padawitz, P.¹

30
- 0006441132
- Proofs in the final algebra
- Bordeaux, France, March
- (1984) IXth Colloquium on Trees in Algebra and Programming
- Puel, L.¹

31
- 0004620343
- Behavioural validity of conditional equations
- Contributions to General Algebra
- (1984) Proc. Vienna Conf. , vol.3
- Reichel, H.¹

32
- 84947911578
- Theorem-proving with resolution and superposition
- (1991) J. Symbolic Comput. , vol.11 , Issue.1-2
- Rusinowitch, M.¹

33
- 84910715241
- On observational equivalence and algebraic specification
- TAPSOFT'85, Springer, Berlin
- (1985) Lecture Notes in Computer Science , vol.185 , pp. 308-322
- Sanella, D.¹ Tarlecki, A.²

34
- 0023994482
- Toward formal development of programs from algebraic specification revisited
- (1988) Acta Inform. , vol.25 , pp. 233-281
- Sanella, D.¹ Tarlecki, A.²

35
- 85033716656
- Towards formal development of ml programs: Foundations and methodology
- J. Diaz, F. Orejas (Eds.), TAPSOFT'89, Springer, Berlin
- (1989) Lecture Notes in Computer Science , vol.352 , pp. 375-389
- Sanella, D.T.¹ Tarlecki, A.²

36
- 0018505424
- Final algebra semantics and data type extensions
- (1979) J. Comput. System Sci. , vol.19 , pp. 27-44
- Wand, M.¹

37
- 0000382802
- Algebraic specifications
- J. van Leeuwen, A. Meyer, M. Nivat, M. Paterson, D. Perrin (Eds.), chapter 13. Elsevier, North-Holland Amsterdam. The MIT press, Cambridge
- (1990) Handbook of Theoretical Computer Science , vol.B
- Wirsing, M.¹

38
- 0000077254
- Implementing contextual rewriting, Conditional term rewriting systems
- 3rd Internat. Workshop, Pont-A-Mousson, France, Springer, Berlin
- Lecture Notes in Computer Science , vol.656 , pp. 363-377
- Zhang, H.¹

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