V. Levin, E. Bounimova, O. Ba¸sbugoglu, K. Inan  Home/Search
Context Related
| metu.edu.tr/pub/fm...on_method_tr.ps.gz 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: metu.edu.tr/fmg/pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper presents a new formal compiler specification method that has evolved out of a number of realistic applications including the current application reported in the paper and describes how it is used as a formal method tool for realistic compiler design and implementation problems. The method, which uses a syntactical translation specification formalism, is argued to enjoy advantages over direct programming approaches to compiler construction supported by current state-of-the-art compiler ... (Update)
Context of citations to this paper: More
...translation rules [7] as a design document. This application of the compiler specification method presented in the paper is explained in [19]. In the next section the translation formalism is formulated. Section 3 contains necessary extensions to the formalism in terms of...
...the timeout signal is removed from the input port buffer. A detailed and formal description of SDL S R interface is given in [9]. Communication in SDL is achieved by means of implicit and rather complex routing mechanisms making use of channels and signal routes...
Cited by: More
An Interface Implementation using a Formal Compiler.. - Levin, Bounimova, Inan (1995) (Correct)
A Verifiable Software/Hardware Co-design Using SDL and Cospan - Levin Bounimova (Correct)
A Bilingual Specification Environment for Software/Hardware.. - Vladimir Levin (1996) (Correct)
Similar documents (at the sentence level):
13.2%: A Formal Compiler Specification Method - Levin, Bounimova, Inan (Correct)
8.2%: A verification engine for SDL specification of.. - Bounimova, Levin.. (1996) (Correct)
Active bibliography (related documents): More All
0.7: Specification, Verification and Prototyping of an Optimized.. - He, Bowen (1993) (Correct)
0.3: A Refinement Technique in SDL design of a Telephone Exchange - Bounimova, Levin (1995) (Correct)
0.2: From Programs to Object Code and back again using Logic.. - Bowen (1993) (Correct)
Similar documents based on text: More All
0.2: Design of a Log Server for Distributed and.. - Özgit, Dayioglu.. (Correct)
0.1: Fuzzy Project Scheduling with Motivation Considerations - Mesture Oktay Aselsan (2002) (Correct)
0.1: A New Algebraic Language Erpal And Translation Of A Subset Of.. - Yenigun (1995) (Correct)
Related documents from co-citation: More All
5: Computer-Aided Verification of Coordinating Processes (context) - Kurshan - 1994
5: CCITT Blue Book (context) - Specification, Language - 1992
2: Defining Context-Dependent Syntax Without Using Contexts (context) - Odersky - 1993
BibTeX entry: (Update)
V. Levin, E. Bounimova, O. Ba¸sbugoglu, K. Inan, "An Interface Implementation using a Formal Compiler Specification Method ", Research Report of the T UB ITAK SR&DC, November 1995. http://citeseer.ist.psu.edu/article/levin95interface.html More
@misc{ levin95interface,
author = "V. Levin and E. Bounimova and O. Ba and s Inan",
title = "An Interface Implementation using a Formal Compiler Specification Method",
text = "V. Levin, E. Bounimova, O. Ba¸sbugoglu, K. Inan, An Interface Implementation
using a Formal Compiler Specification Method , Research Report of the T
UB ITAK SR&DC, November 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/article/levin95interface.html" }
Citations (may not include all citations):906 A Structural Approach to Operational Semantics - Plotkin - 1981
267 Computer-Aided Verification of Coordinating Processes (context) - Kurshan - 1994
233 Natural Semantics (context) - Kahn - 1987
141 Timing assumptions and verification of finite-state concurre.. (context) - Dill - 1989
97 Introduction to Automata Theory, Languages, and Computation (context) - Hopcroft, Ullman - 1979
49 Refinement Algebra Proves Correctness of Compiling Specifica.. (context) - Hoare - 1991
47 Timing verification by successive approximation - Alur, Atai et al. - 1992
30 A Toolbox for Compiler Construction (context) - Grosch, Emmelmann - 1990
23 The Denotational Semantics of Programming Languages (context) - Tennent - 1976
16 CCITT Blue Book (context) - Specification, Language - 1992
14 Formal Specification and Software Development (context) - Bjorner, Jones - 1982
6 Attribute Grammars: Definitions, Systems and Bibliography (context) - Deransart, Jourdan et al. - 1988
5 Algebraically Provable Specification of Optimized Compilers (context) - Levin - 1993
4 The Term Processor Kimwitu -- Manual and Cookbook (context) - van Eijk, Belinfante - 1993
4 Specification, Verification and Prototyping of an Optimized .. - JiFeng, Bowen - 1994
3 An Implementation of SDL-92 Communication Semantics (context) - Levin, Yenigun et al. - 1995
3 Towards Language Mapping Description (context) - Bunimova, Kaufman et al. - 1978
3 Formal Description of Programming Language Context Condition.. (context) - Levin - 1978
2 A Method of Language Mappings Describing (context) - Bunimova - 1982
2 aser, "S/R Reference Manual (context) - Gl - 1995
1 Software Architectures and Programming Systems Design (context) - Bjorner - 1991
1 ACM Turing Award Lecture: The emperor's old clothes (context) - Hoare - 1980
1 The Experience of Language Mapping Development (context) - Bunimova, Kaufman et al. - 1984
1 Occurrence-based Specification of a Language Interface (context) - Levin - 1994
1 Compiling SDL into the Finite State Specification Language C.. (context) - Ba, Inan - 1995
Documents on the same site (http://www.srdc.metu.edu.tr/fmg/pub.html): More
A Formal Compiler Specification Method - Levin, Bounimova, Inan (Correct)
Compiling SDL Into The Finite State Specification Language.. - Basbugoglu, al. (Correct)
A Comparison Of Process Specifications Using The Languages Sdl.. - Sezgin (1994) (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