introduction to asf sdf asf sdf
play

Introduction to ASF+SDF ASF+SDF Goal: defining languages & - PowerPoint PPT Presentation

Sep 03, 2023 •377 likes •426 views

Introduction to ASF+SDF ASF+SDF Goal: defining languages & manipulating programs Mark van den Brand SDF: Syntax definition Formalism Paul Klint Jurgen Vinju lexical & context-free syntax ASF: Algebraic Specification

  1. Introduction to ASF+SDF ASF+SDF ● Goal: defining languages & manipulating programs Mark van den Brand ● SDF: Syntax definition Formalism Paul Klint Jurgen Vinju – lexical & context-free syntax ● ASF: Algebraic Specification Formalism – static & dynamic semantics; fact extraction ● ASF+SDF Meta-Environment: IDE for ASF+SDF ● Manuals/documentation: www.meta-environment.org Introduction to ASF+SDF 1 Introduction to ASF+SDF 2 What is a Program Generator? Programming Environment Generator Declarative program Formal definition Definition of of language L problem P Generator Generator Operational program Dedicated environment Generated program that solves P for editing, manipulating and executing L programs Introduction to ASF+SDF 3 Introduction to ASF+SDF 4

  2. Programming Environment Generator ASF+SDF Meta-Environment = collection of program generators ASF+SDF Meta-Environment Definition of Definition of Definition of L syntax L static semantics L dynamic semantics Interactive Formal definition of language L (written in ASF+SDF) Development Environment Typechecker Evaluator Parser for Language Generator Generator Generator Generator definitions Stand-alone, L- parser L -typechecker L -evaluator Generated L generated, programming environment Integrated L -programming environment environment Introduction to ASF+SDF 5 Introduction to ASF+SDF 6 Typing ����������� ... ASF+SDF Meta-Environment ● An interactive development environment for generating tools from formal language definitions ● Based on: – Full context-free grammars – Conditional term rewriting ● Language definitions written in ASF+SDF – SDF: Syntax definition Formalism – ASF: Algebraic Specification Formalism Introduction to ASF+SDF Introduction to ASF+SDF 8

  3. Anatomy of ASF+SDF specifications Anatomy of an ASF+SDF Module Name of this module; may be followed by parameters Names of modules imported by this module; �������� �������� ������� ModuleName May be followed by renamings ��� ��� ImportSection* ����������� Grammar elements that are visible from the ExportOrHiddenSection* ��� outside ( ������� ) or only inside the module ��������� ) ( ������� ). ConditionalEquation* ������������������������ �������� �������� ���� �!�"�#�$ ��������������� ��� ��� Unconditional: �������������������� ��������� ���� �!�� % ��� & �������� Conditional: ��������������������� � ��� ############ "�#�$ Introduction to ASF+SDF 9 Introduction to ASF+SDF 10 BoolCon: Boolean Constants Plan ● Booleans The sort of Boolean constants, sorts ������������'������� Should always start with a capital letter ● Steps towards a Pico environment ������� The constants ���� and ����� , literals ������������� – Step 1: define syntax should always be quoted ������������������� (����(�����)�������� – Step 2: define a typechecker (�����(����)�������� – Step 3: define an evaluator – Step 4: define a compiler ● Traversal functions – Step 5: define a fact extractor Introduction to ASF+SDF 11 Introduction to ASF+SDF 12

  4. Booleans (1) Booleans (2) The infix operators and - and or * . ������������'�������� Import Boolean constants Both are left-associative ( ���� ) �������������'������� ��������� The prefix function ��� ��������(*(������������)���������+����, ������������� ��������(-(�����������)���������+����, The sort of Boolean expressions 0 and 1 may be used as brackets in ������������������� .���/ 0�������1�����������)�������� ����������)�������� (0(���������(1(������������)���������+����2��, Each Boolean constant is a Boolean Boolean expressions; expression, also-called they are ignored after parsing ����������������������� injection rule or chain rule ��������(-(����������)���������) - has higher priority than * ��������(*(����������)�������� Example: ���� -����� *����� is interpreted as: 0���� -�����1�*����� Introduction to ASF+SDF 13 Introduction to ASF+SDF 14 Booleans (3) Booleans (4) The start symbol of a grammar. Without a start symbol the parser does ������� not know how to start parsing an input ������������������� �������������������������� sentence .���/ 0�������1�����������)�������� ������� (0(���������(1(������������)���������+����2��, Shorthand for defining the infix ������� operators and ( � ) and ( � ). Import the standard comment ����������������������� �����'�������� Both are left-associative ( ���� ). conventions for equations ��������(-(����������)���������+����,�) ��������(*(����������)���������+����, These rules are promoted to ��������� context-free syntax rules (����(�3�456!7���)�������� Declares the variables ���� , ����% , ����& , ����8 , ����88 , ����%8 , etc. Introduction to ASF+SDF 15 Introduction to ASF+SDF 16

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

TRAINING COURSE ON SOCIAL PROTECTION & FORMALIZATION TRINIDAD AND TOBAGO MARCH 15, 2017 INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION Design of the NIS Assistance from the

547 views • 23 slides
INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

Patterns of variation in the expression of case and agreement Andrs Brny Leiden University Centre for Linguistics 9 November 2019, BaSIS Workshop a.barany@hum.leidenuniv.nl INTRODUCTION Introduction 2/42 INTRODUCTION

1.37k views • 42 slides
Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures Definition and concepts Process and product properties Principles SE Approaches Motivation Software and the economy The economies of

1.03k views • 49 slides
Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1 https://www.cdc.gov/std/stats17/infographic.htm Introduction Epidemiology in Western Colorado CPHE Surveillance Data Report, May 2018 Chlamydia Epidemiology in Western

977 views • 39 slides
DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every meeting (2) Some ideas of diagrams for section 7.1 (Introduction) of TP. Giles Barr 25 Jan 2018, Pembroke College On DUNE, the reality is there is a

474 views • 10 slides
INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

ADVANCED COMPUTER SECURITY INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT IS SECURITY? A systems security policies describe What the system is supposed to do Store and provide access

479 views • 16 slides
Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout World Wide

387 views • 14 slides
14 Introduction Introduction Bad guys can put malware into Example: hosts

14 Introduction Introduction Bad guys can put malware into Example: hosts

Introduction Introduction source Encapsulation ISO/OSI reference model message M application segment H t H t M transport network datagram H n H n H t M presentation: allow applications to frame link H l H n H t M interpret

583 views • 4 slides
Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout

322 views • 8 slides
Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Introduction Zynq Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL Processing System Processor Peripherals Data Buses AXI Bus Conclusion BTE5380 - Embedded Systems Octobre 2014 Andreas Habegger

1.81k views • 30 slides
2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04 Project References S E 5 PART.1 SMILE5 Introduction M I L Introduction STORION-SMILE5 Residential Energy Storage System Inverter 5kW Output Input

1.06k views • 25 slides
Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an application server? Why use an application server? Course introduction Services provided by CICS How CICS applications are defined Scaling CICS to meet

1.84k views • 146 slides
Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic building blocks Node Links (relationship between nodes) Spatial information Network data

584 views • 9 slides
Introduction Introduction (1) Main argument of the paper: universities are not only

Introduction Introduction (1) Main argument of the paper: universities are not only

Le jugement des pairs comme outil de management des universits Peer-review as a management tool Christine Musselin (CSO, Sciences Po et CNRS) Avril 2013, Lirrsistible ascension du capitalisme acadmique Introduction Introduction (1)

590 views • 28 slides
Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Moreno Baricevic Gilberto Daz Axel Kohlmeyer Stefano Cozzini ULA ICTP CNR-IOM DEMOCRITOS Merida, VENEZUELA Trieste, ITALY Trieste, ITALY Introduction Introduction to storage and to storage and filesystems filesystems Introduction

1.19k views • 51 slides
JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of the brand new JA-100 alarm system Visions Basic architecture System components Setting Help us with final validations You are the FIRST ones

1.69k views • 111 slides
HW/SW Codesign w/ FPGAs Data Flow Modeling II ECE 522 Synchronous Data Flow Graphs Synchronous

HW/SW Codesign w/ FPGAs Data Flow Modeling II ECE 522 Synchronous Data Flow Graphs Synchronous

HW/SW Codesign w/ FPGAs Data Flow Modeling II ECE 522 Synchronous Data Flow Graphs Synchronous Data Flow (SDF) graphs refer to systems where the number of tokens consumed and produced per actor firing is fixed and constant The term synchronous

734 views • 17 slides
Signed Distance Function Representation, Tracking, and Mapping Tanner Schmidt Overview -

Signed Distance Function Representation, Tracking, and Mapping Tanner Schmidt Overview -

Signed Distance Function Representation, Tracking, and Mapping Tanner Schmidt Overview - Explicit and implicit surface representations - SDF fusion - SDF tracking - Related research - KinectFusion - Patch Volumes - DART -

6.02k views • 83 slides
6.2 Surface Reconstruction Hao Li http://cs599.hao-li.com 1 Surface Reconstruction physical

6.2 Surface Reconstruction Hao Li http://cs599.hao-li.com 1 Surface Reconstruction physical

Spring 2015 CSCI 599: Digital Geometry Processing 6.2 Surface Reconstruction Hao Li http://cs599.hao-li.com 1 Surface Reconstruction physical captured reconstructed model point cloud model 2 Input Data Set of irregular sample points

879 views • 84 slides
Lecture 2: Stochastic Discount Factor Simon Gilchrist Boston Univerity and NBER EC 745 Fall,

Lecture 2: Stochastic Discount Factor Simon Gilchrist Boston Univerity and NBER EC 745 Fall,

Lecture 2: Stochastic Discount Factor Simon Gilchrist Boston Univerity and NBER EC 745 Fall, 2013 Stochastic Discount Factor (SDF) A stochastic discount factor is a stochastic process { M t,t + s } such that for any security with payoff x t +1

343 views • 19 slides
Lecture 17: 3D Vision Justin Johnson November 13, 2019 Lecture 17 - 1 Reminder: A4 A4 due

Lecture 17: 3D Vision Justin Johnson November 13, 2019 Lecture 17 - 1 Reminder: A4 A4 due

Lecture 17: 3D Vision Justin Johnson November 13, 2019 Lecture 17 - 1 Reminder: A4 A4 due Today, Wednesday, November 13, 11:59pm A4 covers: - PyTorch autograd - Residual networks - Recurrent neural networks - Attention - Feature

1.19k views • 104 slides
Fractals & Statistical Models by Example II Nonlinear Computational Science in Action Rubin H

Fractals & Statistical Models by Example II Nonlinear Computational Science in Action Rubin H

Deposition Coastline Fractals & Statistical Models by Example II Nonlinear Computational Science in Action Rubin H Landau Sally Haerer, Producer-Director Based on A Survey of Computational Physics by Landau, Pez, & Bordeianu with

436 views • 6 slides
Function with Differentiable Sphere Tracing Shaohui Liu, Yinda Zhang, Songyou Peng, Boxin Shi,

Function with Differentiable Sphere Tracing Shaohui Liu, Yinda Zhang, Songyou Peng, Boxin Shi,

DIST: Rendering Deep Implicit Signed Distance Function with Differentiable Sphere Tracing Shaohui Liu, Yinda Zhang, Songyou Peng, Boxin Shi, Marc Pollefeys, Zhaopeng Cui Deep Implicit Signed Distance Functions (DeepSDF) Infinite-Resolution

1.01k views • 17 slides
Bringing GNU Emacs to Native Code Andrea Corallo, Luca Nassi, Nicola Manca 22-04-2020 Outline

Bringing GNU Emacs to Native Code Andrea Corallo, Luca Nassi, Nicola Manca 22-04-2020 Outline

Bringing GNU Emacs to Native Code Andrea Corallo, Luca Nassi, Nicola Manca 22-04-2020 Outline Design Emacs is a Lisp implementation (Emacs Lisp). Its made to sit on top of OS slurping and processing text to present it in uniform UIs.

1.31k views • 69 slides

More recommend