메뉴 건너뛰기




Volumn 4178 LNCS, Issue , 2006, Pages 445-460

Weakest preconditions for high-level programs

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; DATA STRUCTURES; GRAPH THEORY; MATHEMATICAL MODELS;

EID: 33750254180     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841883_31     Document Type: Conference Paper
Times cited : (39)

References (33)
  • 1
    • 35048896452 scopus 로고    scopus 로고
    • Verifying finite-state graph grammars
    • Concurrency Theory. Springer
    • P. Baldan, A. Corradini, and B. König. Verifying finite-state graph grammars. In Concurrency Theory, volume 3170 of LNCS, pages 83-98. Springer, 2004.
    • (2004) LNCS , vol.3170 , pp. 83-98
    • Baldan, P.1    Corradini, A.2    König, B.3
  • 2
    • 84937208016 scopus 로고    scopus 로고
    • Approximating the behaviour of graph transformation systems
    • Graph Transformations (ICGT'02). Springer
    • P. Baldan and B. König. Approximating the behaviour of graph transformation systems. In Graph Transformations (ICGT'02), volume 2505 of LNCS, pages 14-29. Springer, 2002.
    • (2002) LNCS , vol.2505 , pp. 14-29
    • Baldan, P.1    König, B.2
  • 3
    • 35248857864 scopus 로고    scopus 로고
    • A logic for analyzing abstractions of graph transformation systems
    • Static Analysis Symposium (SAS). Springer
    • P. Baldan, B. König, and B. König. A logic for analyzing abstractions of graph transformation systems. In Static Analysis Symposium (SAS), volume 2694 of LNCS, pages 255-272. Springer, 2003.
    • (2003) LNCS , vol.2694 , pp. 255-272
    • Baldan, P.1    König, B.2    König, B.3
  • 9
    • 10444239471 scopus 로고    scopus 로고
    • Verifying object-based graph grammars
    • O. M. dos Santos, F. L. Dotti, and L. Ribeiro. Verifying object-based graph grammars. ENTCS, 109:125-136, 2004.
    • (2004) ENTCS , vol.109 , pp. 125-136
    • Dos Santos, O.M.1    Dotti, F.L.2    Ribeiro, L.3
  • 10
    • 0345412606 scopus 로고    scopus 로고
    • Verification of distributed object-based systems
    • Formal Methods for Open Object-Based Distributed Systems (FMOODS). Springer
    • F. L. Dotti, L. Foss, L. Ribeiro, and O. M. dos Santos. Verification of distributed object-based systems. In Formal Methods for Open Object-Based Distributed Systems (FMOODS), volume 2884 of LNCS, pages 261-275. Springer, 2003.
    • (2003) LNCS , vol.2884 , pp. 261-275
    • Dotti, F.L.1    Foss, L.2    Ribeiro, L.3    Dos Santos, O.M.4
  • 11
    • 85034646939 scopus 로고
    • Introduction to the algebraic theory of graph grammars
    • Graph-Grammars and Their Application to Computer Science and Biology. Springer
    • H. Ehrig. Introduction to the algebraic theory of graph grammars. In Graph-Grammars and Their Application to Computer Science and Biology, volume 73 of LNCS, pages 1-69. Springer, 1979.
    • (1979) LNCS , vol.73 , pp. 1-69
    • Ehrig, H.1
  • 12
    • 27844461585 scopus 로고    scopus 로고
    • Termination criteria for model transformation
    • Proc. Fundamental Approaches to Software Engineering. Springer
    • H. Ehrig, K. Ehrig, J. De Lara, G. Taentzer, D. Varró, and S. Varró-Gyapay. Termination criteria for model transformation. In Proc. Fundamental Approaches to Software Engineering, volume 2984 of LNCS, pages 214-228. Springer, 2005.
    • (2005) LNCS , vol.2984 , pp. 214-228
    • Ehrig, H.1    Ehrig, K.2    De Lara, J.3    Taentzer, G.4    Varró, D.5    Varró-Gyapay, S.6
  • 13
    • 37849186024 scopus 로고    scopus 로고
    • Theory of constraints and application conditions: From graphs to high-level structures
    • H. Ehrig, K. Ehrig, A. Habel, and K.-H. Pennemann. Theory of constraints and application conditions: From graphs to high-level structures. Fundamenta Informaticae, 72, 2006.
    • (2006) Fundamenta Informaticae , pp. 72
    • Ehrig, H.1    Ehrig, K.2    Habel, A.3    Pennemann, K.-H.4
  • 15
    • 37849185656 scopus 로고    scopus 로고
    • Adhesive high-level replacement systems: A new categorical framework for graph transformation
    • H. Ehrig, A. Habel, J. Padberg, and U. Prange. Adhesive high-level replacement systems: A new categorical framework for graph transformation. Fundamenta Informaticae, 72, 2006.
    • (2006) Fundamenta Informaticae , pp. 72
    • Ehrig, H.1    Habel, A.2    Padberg, J.3    Prange, U.4
  • 16
    • 36849040453 scopus 로고    scopus 로고
    • Nested constraints and application conditions for high-level structures
    • Formal Methods in Software and System Modeling. Springer
    • A. Habel and K.-H. Pennemann. Nested constraints and application conditions for high-level structures. In Formal Methods in Software and System Modeling, volume 3393 of LNCS, pages 293-308. Springer, 2005.
    • (2005) LNCS , vol.3393 , pp. 293-308
    • Habel, A.1    Pennemann, K.-H.2
  • 17
    • 33750275273 scopus 로고    scopus 로고
    • Satisfiability of high-level conditions
    • this volume of LNCS. Springer
    • A. Habel and K.-H. Pennemann. Satisfiability of high-level conditions. In Graph Transformations (ICGT'06), this volume of LNCS. Springer, 2006.
    • (2006) Graph Transformations (ICGT'06)
    • Habel, A.1    Pennemann, K.-H.2
  • 18
    • 33750232682 scopus 로고    scopus 로고
    • Weakest preconditions for high-level programs: Long version
    • University of Oldenburg
    • A. Habel, K.-H. Pennemann, and A. Rensink. Weakest preconditions for high-level programs: Long version. Technical Report 8/06, University of Oldenburg, 2006.
    • (2006) Technical Report , vol.8 , Issue.6
    • Habel, A.1    Pennemann, K.-H.2    Rensink, A.3
  • 19
    • 84945253209 scopus 로고    scopus 로고
    • Computational completeness of programming languages based on graph transformation
    • Proc. Foundations of Software Science and Computation Structures. Springer
    • A. Habel and D. Plump. Computational completeness of programming languages based on graph transformation. In Proc. Foundations of Software Science and Computation Structures, volume 2030 of LNCS, pages 230-245. Springer, 2001.
    • (2001) LNCS , vol.2030 , pp. 230-245
    • Habel, A.1    Plump, D.2
  • 21
    • 18944376711 scopus 로고
    • Ensuring consistency of conditional graph grammars
    • SEGRAGRA'95
    • R. Heckel and A. Wagner. Ensuring consistency of conditional graph grammars. In SEGRAGRA'95, volume 2 of ENTCS, pages 95-104, 1995.
    • (1995) ENTCS , vol.2 , pp. 95-104
    • Heckel, R.1    Wagner, A.2
  • 23
    • 33745773932 scopus 로고    scopus 로고
    • Counterexample-guided abstraction refinement for the analysis of graph transformation systems
    • Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer
    • B. König and V. Kozioura. Counterexample-guided abstraction refinement for the analysis of graph transformation systems. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 3920 of LNCS, pages 197-211. Springer, 2006.
    • (2006) LNCS , vol.3920 , pp. 197-211
    • König, B.1    Kozioura, V.2
  • 24
    • 33847258494 scopus 로고
    • Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits
    • Fourth Workshop on Computer-Aided Verification (CAV). Springer
    • K. L. McMillan. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In Fourth Workshop on Computer-Aided Verification (CAV), volume 663 of LNCS, pages 164-174. Springer, 1992.
    • (1992) LNCS , vol.663 , pp. 164-174
    • McMillan, K.L.1
  • 25
    • 84944677742 scopus 로고
    • PVS: A prototype verification system
    • 11th International Conference on Automated Deduction (CADE). Springer
    • S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In 11th International Conference on Automated Deduction (CADE), volume 607 of LNCS, pages 748-752. Springer, 1992.
    • (1992) LNCS , vol.607 , pp. 748-752
    • Owre, S.1    Rushby, J.M.2    Shankar, N.3
  • 26
    • 0009399483 scopus 로고    scopus 로고
    • Termination of graph rewriting is undecidable
    • D. Plump. Termination of graph rewriting is undecidable. Fundamenta Informaticae, 33(2):201-209, 1998.
    • (1998) Fundamenta Informaticae , vol.33 , Issue.2 , pp. 201-209
    • Plump, D.1
  • 27
    • 34248557712 scopus 로고    scopus 로고
    • Towards graph programs for graph algorithms
    • Graph Transformations (ICGT'04). Springer
    • D. Plump and S. Steinert. Towards graph programs for graph algorithms. In Graph Transformations (ICGT'04), volume 3256 of LNCS, pages 128-143. Springer, 2004.
    • (2004) LNCS , vol.3256 , pp. 128-143
    • Plump, D.1    Steinert, S.2
  • 28
    • 10444247744 scopus 로고    scopus 로고
    • Towards model checking graph grammars
    • M. Leuschel, S. Gruner, and S. L. Presti, editors, Technical Report DSSE-TR-2003-2. University of South-hampton
    • A. Rensink. Towards model checking graph grammars. In M. Leuschel, S. Gruner, and S. L. Presti, editors, Workshop on Automated Verification of Critical Systems (AVoCS), Technical Report DSSE-TR-2003-2, pages 150-160. University of South-hampton, 2003.
    • (2003) Workshop on Automated Verification of Critical Systems (AVoCS) , pp. 150-160
    • Rensink, A.1
  • 29
    • 35048862521 scopus 로고    scopus 로고
    • The GROOVE simulator: A tool for state space generation
    • Applications of Graph Transformations with Industrial Relevance (AGTIVE). Springer
    • A. Rensink. The GROOVE simulator: A tool for state space generation. In Applications of Graph Transformations with Industrial Relevance (AGTIVE), volume 3062 of LNCS, page 485. Springer, 2004.
    • (2004) LNCS , vol.3062 , pp. 485
    • Rensink, A.1
  • 30
    • 34548487973 scopus 로고    scopus 로고
    • Representing first-order logic by graphs
    • Graph Transformations (ICGT'04). Springer
    • A. Rensink. Representing first-order logic by graphs. In Graph Transformations (ICGT'04), volume 3256 of LNCS, pages 319-335. Springer, 2004.
    • (2004) LNCS , vol.3256 , pp. 319-335
    • Rensink, A.1
  • 31
    • 35048897606 scopus 로고    scopus 로고
    • Model checking graph transformations: A comparison of two approaches
    • Graph Transformations (ICGT'04). Springer
    • A. Rensink, A. Schmidt, and D., Varró. Model checking graph transformations: A comparison of two approaches. In Graph Transformations (ICGT'04), volume 3256 of LNCS, pages 226-241. Springer, 2004.
    • (2004) LNCS , vol.3256 , pp. 226-241
    • Rensink, A.1    Schmidt, A.2    Varró, D.3
  • 32
    • 10444229238 scopus 로고    scopus 로고
    • Towards symbolic analysis of visual modeling languages
    • D. Varró. Towards symbolic analysis of visual modeling languages. ENTCS, 72(3), 2003.
    • (2003) ENTCS , vol.72 , Issue.3
    • Varró, D.1
  • 33
    • 14244251224 scopus 로고    scopus 로고
    • Automated formal verification of visual modeling languages by model checking
    • D. Varró. Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modelling, 3(2):85-113, 2004.
    • (2004) Journal of Software and Systems Modelling , vol.3 , Issue.2 , pp. 85-113
    • Varró, D.1


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