On Defining Denotational Semantics for Attribute Grammars
スポンサーリンク
概要
- 論文の詳細を見る
This paper presents a denotational semantics of attribute grammars and proposes a method of attribute evaluation based on it. The denotational semantics of an attribute grammar is defined by the least fix-point semantics among attributes assigned to the nodes of a derivation tree and it is realized by a set of recursive functions which perform the required evaluations. The proposed method for attribute evaluation is directly based on this denotational semantics and handles a wider class of attribute grammars including the well-defined ones. It has the following characteristics: (1)the evaluation functions can be derived directly from the description of a given attribute grammar without resorting to augmented dependency graphs, (2)it is an output-oriented evaluation, that is, only attributes which are related to the required attributes are evaluated, (3)it can be easily implemented by a LISP-like programming language.
- 一般社団法人情報処理学会の論文
- 1982-03-31
著者
-
Katayama Takuya
Department Of Computer Science Tokyo Institute Of Technology
-
Takeda Masayuki
Department Of Computer Science Tokyo Institute Of Technology
-
Takeda Masayuki
Department Of Biochemistry And Engineering Faculty Of Engineering Tohoku University
-
Katayama Takuya
Department of Computer Science, Tokyo Institute of Technology
関連論文
- Speeding Up String Pattern Matching by Text Compression: The Dawn of a New Era (特集 〔情報処理学会〕創立40周年記念論文)
- Retroperitoneoscopy-assisted renal biopsy for pediatric patients : Comparison withretroperitoneoscopic renal biopsy
- Serum ICAM-1 in Renal Cell Cancer Patients : Possible Significance for Presence of Metastatic Disease
- Laparoscopy-Assisted Two-Stage Fowler-Stephens Orchiopexy for Intra-abdominal Nonpalpable Testis
- Counting and Verifying Maximal Palindromes
- Ellipsometric Spectroscopy of Liquid Selenium-Thallium Mixtures(Condensed matter: electronic structure and electrical, magnetic, and optical properties)
- Clinical guidelines for overactive bladder
- Validity of the Ultrasonic Aspirator and Argon Beam Coagulator in Laparoscopic Adrenalectomy for Cushing's Syndrome
- Endoscopic Parathyroidectomy for Ectopic Primary Hyperparathyroidism A Minimally Invasive Procedure for Urolithiasis Patient
- A Case of Asymptomatic Submucosal-Type Leiomyoma of the Urinary Bladder Correctly Diagnosed with Magnetic Resonance Imaging (MRI) and Successfully Treated by Transurethral Resection
- Absence of RET Proto-Oncogene Mutations in a Father and Son with Pheochromocytoma and Pancreatic Islet Cell Tumor
- Pure laparoscopic partial nephrectomy for primary renal carcinoid
- Decreased expression of G protein-coupled receptor kinases in the detrusor smooth muscle of human urinary bladder with outlet obstruction
- Modified endoscopic live donor nephrectomy : Retroperitoneoscopy followed by hand-assistance
- Clinical guidelines for nocturia
- Global Storage Allocation in Attribute Evaluation(Software Science and Engineering)
- Treatment of Multiple Intracranial Aneurysms in the Anterior Circulation : Case Report
- Characterization of the Mouse α1D-Adrenergic Receptor Gene
- Laparoscopic Renal Biopsy via the Retroperitoneal Approach : A Case Report
- The Forefront for Novel Therapeutic Agents Based on the Pathophysiology of Lower Urinary Tract Dysfunction: Pathophysiology of Voiding Dysfunction and Pharmacological Therapy
- Simultaneous management for retrocaval ureter and ipsilateral renal stone using retroperitoneoscopic approach: report of a case
- Roles of mechanosensitive ion channels in bladder sensory transduction and overactive bladder
- The use of absorbable clips for renal parenchymal suturing makes warm ischemia time short during laparoscopic partial nephrectomy in a porcine model
- Real-time quantitative analysis for human telomerase reverse transcriptase mRNA and human telomerase RNA component mRNA expressions as markers for clinicopathologic parameters in urinary bladder cancer
- Markov String Grammar
- Current and future directions in diagnostic markers in interstitial cystitis
- 183. About So-Called"Whiplash Injury"in Neurosurgical Field
- Counting and Verifying Maximal Palindromes
- 1P096 Long time folding simulations of a three-stranded antiparallel β-sheet peptide and a ββα-folded peptide(3. Protein folding and misfolding (I),Poster Session,Abstract,Meeting Program of EABS & BSJ 2006)
- Endovascular treatment of ureteroarterial fistulas with stent-grafts
- α-Methoxy-α-trifluoromethylpropionic Acid (MTPr). A New Chiral Derivatizing Reagent for GC Separation of Enantiomeric Amino Acids
- Treatment of Big Values in an Applicative Language HFP : Translation from By-Value Access to By-Update Access
- On Defining Denotational Semantics for Attribute Grammars
- Verification of an Environment Management based on Operational Semantics for Static Scope Rules
- The Forefront for Novel Therapeutic Agents Based on the Pathophysiology of Lower Urinary Tract Dysfunction : Pathophysiology of Voiding Dysfunction and Pharmacological Therapy
- Adaptive Online Prediction Using Weighted Windows
- Efficient XPath Tree Pattern Matching Algorithms over XML Data Stream
- Determination of the Absolute Configuration and Enantiomeric Purity of Allylic and Acetylenic Alcohols.
- Use of axially chiral 2'-methoxy-1,1'-binaphthyl-2-carboxylic acid as chiral derivatizing agent for discrimination of enantiomeric alcohols and amines by 1H NMR.
- Muscarinic Receptor Binding of the Novel Radioligand, [3H]Imidafenacin in the Human Bladder and Parotid Gland
- Metastatic Uveal Tumor Secondary to Testicular Choriocarcinoma
- Lower urinary tract symptoms in patients with Niigata Minamata disease : A case-control study 50 years after methyl mercury pollution