Verification of an Environment Management based on Operational Semantics for Static Scope Rules
スポンサーリンク
概要
- 論文の詳細を見る
This paper offers a different and simple approach to prove an environment management, i.e., a runtime system for an ALGOL-like programming language with static scope rules. We formalize the static scope rules by starting with the concept of trace and define the central notion of environment, which represents all accessible data at a certain moment, in a more abstract way. Although correctness proofs of ALGOL-like runtime systems are a known subject, we arrive at a transparent correctness proof which is easier to follow than the articles dealing with this subject, completely neglecting unnecessary technical details.
- 一般社団法人情報処理学会の論文
- 1982-06-30
著者
-
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
関連論文
- 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