A. Dold, F.W. von Henke, H. Pfeifer, and H. Rue. Formal Verification of Transformations for Peephole Optimization. In P. Lucas J. Fitzgerald, C.B. Jones, editor, FME '97: Formal Methods: Their Industrial Application and Strengthened Foundations, volume 1313 of LNCS, pages 459--472, 1997.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....have seen how (ccsl) class specifications can be translated into higher order logic. This translation is done automatically by our tool, which is constructed as a front end to a proof assistant. In general, front end tools provide a higher level interface tailored to a specific application domain [2, 20, 23, 15, 5]. They vary in the degree of sophistication and user support. While simple systems feature theory blueprints where the user fills out special slots in combination with specialised high level tactics [2, 5] more advanced approaches define a special language and provide command line compilers [20] ....

....tools provide a higher level interface tailored to a specific application domain [2, 20, 23, 15, 5] They vary in the degree of sophistication and user support. While simple systems feature theory blueprints where the user fills out special slots in combination with specialised high level tactics [2, 5], more advanced approaches define a special language and provide command line compilers [20] or even interactive user interfaces [15] Our development aims at an environment in which the user can specify classes in several languages and frameworks and can then reason about their properties and ....

A. Dold, F.W. von Henke, H. Pfeifer, and H. Rueß. Formal verification of transformations for peephole optimization. In FME '97: Formal Methods: Their Industrial Application and Strengthened Foundations, Lecture Notes in Computer Science.

....have seen how (ccsl) class specifications can be translated into higher order logic. This translation is done automatically by our tool, which is constructed as a front end to a proof assistant. In general, front end tools provide a higher level interface tailored to a specific application domain [2, 20, 23, 15, 5]. They vary in the degree of sophistication and user support. While simple systems feature theory blueprints where the user fills out special slots in combination with specialised high level tactics [2, 5] more advanced approaches define a special language and provide command line compilers [20] ....

....tools provide a higher level interface tailored to a specific application domain [2, 20, 23, 15, 5] They vary in the degree of sophistication and user support. While simple systems feature theory blueprints where the user fills out special slots in combination with specialised high level tactics [2, 5], more advanced approaches define a special language and provide command line compilers [20] or even interactive user interfaces [15] Our development aims at an environment in which the user can specify classes in several languages and frameworks and can then reason about their properties and ....

A. Dold, F.W. von Henke, H. Pfeifer, and H. Rueß. Formal verification of transformations for peephole optimization. In FME '97: Formal Methods: Their Industrial Application and Strengthened Foundations, Lecture Notes in Computer Science.

No context found.

A. Dold, F.W. von Henke, H. Pfeifer, and H. Rue. Formal Verification of Transformations for Peephole Optimization. In P. Lucas J. Fitzgerald, C.B. Jones, editor, FME '97: Formal Methods: Their Industrial Application and Strengthened Foundations, volume 1313 of LNCS, pages 459--472, 1997.

No context found.

A. Dold, F. W. von Henke, H. Pfeifer, and H. Rueß. Formal verification of transformations for peephole optimiztion. In Formal Methods Europe FME '97, volume 1313 of Lecture Notes in Computer Science, pages 459--472, Graz, Austria, September 1997. Springer-Verlag.

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