rscript in a nutshell rscript examples
play

Rscript in a Nutshell Rscript: examples Set: Basic types: - PowerPoint PPT Presentation

Dec 21, 2023 •218 likes •314 views

Rscript in a Nutshell Rscript: examples Set: Basic types: , , , (text location in specific file with comparison operators) type:

  1. Rscript in a Nutshell Rscript: examples ● Set: ��������� ● Basic types: ���� , ��� , ��� , ���� (text location in specific file with comparison operators) � – type: �������� ● Set: �������������� ● Sets, relations and associated operations (domain, range, inverse, projection, ...) � – type: �������� ● Relation: ���������������������������� ● Comprehensions ● User-defined types – type: ������������ ● Fully typed ● Functions and sets of equations over the above Introduction to ASF+SDF Introduction to ASF+SDF Rscript: examples Comprehensions ● ���������������������������������������������� ● Comprehensions: �"�#�$�%��&��%��'��(((�� ● �������������� domain: – A generator is an enumerator or a test all elements in lhs of pairs – Enumerators: )�*�+��"�# or �)&�)'��*�,��"�# – � range: all elements in rhs of pairs ● ��������������������������� � – Tests: any predicate carrier: – consider all combinations of values in %��&��%��'�((( all elements in lhs or rhs – ������������������������������ of pairs – if some %�� � is false, reject that combination ● ������������� ����� !����� � – compute "�# for all legal combinations – ��������������� Introduction to ASF+SDF Introduction to ASF+SDF

  2. Comprehensions Functions ● �-�$�����-�*��&�'���.���� ● �������������������������������,��� ���/��-��$������-������/��*�,�� – yields �&�'���.��� – �����&�&0����'�'0��� yields ��&0�&���'0�'�� ● �-�$�����-�*��&�'���.�����-����� ● ����12��13����������13��12��,���������������������������� – yields �.��� ���/��-��$��13�-��12�/��*�,� ● ��/��-��$������-������/��*���&�&0���'�'0��� – ������&��!�����'�������� yields ���!��&�������'�� – yields ��&0�&���'0�'�� 13 , 12 indicate any type and are used to define polymorphic functions Introduction to ASF+SDF Introduction to ASF+SDF Toy program Toy program �������������:";+�����&�����������������.��������������� ��4�������!�����*��!�5�!�����*��!�5�!��� ��4�������!�����*��!�5�!�����*��!�5�!��� ��*��!�5�!�6 ��*��!�5�!�6 � is undefined ��*����6 �&� ��*����6 �7����������8�� �'� ��������������+"+������������������������������ �7����������8�� ��*����9�� ��� ��*����9�� ���� ���� ��*��. � may be undefined �.� ��*��. �������������<,":�����0�&����&�'����'�����'�.��� 7� 7� �������.���� ��*��� ��� ��*��� ��� ��� Introduction to ASF+SDF Introduction to ASF+SDF

  3. Intermezzo: ��!�8- Finding uninitialized variables Start of program ● Reachability with exclusion of certain elements Along these path, we encounter ● ����1=����!�8-� a definition – ����1=��+�!���� Def 2 of x Def 1 of x ' – ����1=��"����� Along this path, we can & . reach a use without passing – ����1=�1=��,��� � a definition � ● ��!�8-��&����'�����&�'���&�����'�.�����.��� Use of x yields ����.�� Value of x may be undefined here Introduction to ASF+SDF Introduction to ASF+SDF The undefined query Applying the undefined query �������������:";+���((( Start from the root ��4�������!�����*��!�5�!�����*��!�5�!��� ��������������+"+���((( ��*��!�5�!�6 �������������<,":���((( Exclude all definitions of ) �&� ��*����6 � is undefined �'� �7����������8�� ��������������>?>?=��� ��� ��*����9�� ���>�)��$������>������)�*�+"+��>������!�8-��0���:";+�@�)��<,":�� � may be undefined ���� �.� ��*��. 7� Result: ��� ��*��� Use the <,": relation There is a path from the root ��� to > : ) is not initialized ������������������ Reach exclude Introduction to ASF+SDF Introduction to ASF+SDF

  4. Use locations to connect with the Some Questions source text ● There are several additional questions: �������������:";+���((( – In the example so far we have worked with statement ��������������+"+���((( Use location instead of number �������������<,":���((( numbers but how do we make a connection with the source text? – How do we extract relations like <,": and �+" �������������:";+ ��������������+"+ from the source text? �������������<,": ��������������ABB�,+ Variable occurrence in a statement Introduction to ASF+SDF Introduction to ASF+SDF Example Rstore Extracting Facts ������� ● Goal: extract facts from source code and use as �<,":��������������� ��!��!@��@7����CD8� �D(((D��! #��(#���C��!��!�.��'�.��E�E.��F���� input for queries !��!@��@7����CD8� �D(((D��! #��(#���C��!��!����'����E�G.��F����� �!��!@��@7����CD8� �D(((D��! #��(#���C��!��!����'����E��G.��F���� ● How should fact extraction be organized? !��!@��@7����CD8� �D(((D��! #��(#���C��!��!�F��'�&0��.��&0.���F���� (((���� ● How to write a fact extractor? �:";+��� �ABB�,+��������������� ��C�C��!��!@��@7����CD8� �D(((D��! #��(#���C�!��!�&&��'�&&����&F.��&���� �C�C��!��!@��@7����CD8� �D(((D��! #��(#���C��!��!�&&��H�&&��E�&FG��&���� (((��� �� � � Introduction to ASF+SDF Introduction to ASF+SDF

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

Rscript: a Relational Approach to Program and System Understanding Paul Klint 1 Rscript: a

Rscript: a Relational Approach to Program and System Understanding Paul Klint 1 Rscript: a

Rscript: a Relational Approach to Program and System Understanding Paul Klint 1 Rscript: a Relational Approach to Program and System Understanding Structure of Presentation Background and context About program understanding Roadmap:

1.13k views • 85 slides
Rscript: a Relational Approach to Program and System Understanding Paul Klint 1 Rscript: a

Rscript: a Relational Approach to Program and System Understanding Paul Klint 1 Rscript: a

Rscript: a Relational Approach to Program and System Understanding Paul Klint 1 Rscript: a Relational Approach to Program and System Understanding Structure of Presentation Background and context About program understanding Roadmap:

1.36k views • 86 slides
network Complex Networks Complex Networks Prof. Peter Dodds Nutshell Nutshell noun

network Complex Networks Complex Networks Prof. Peter Dodds Nutshell Nutshell noun

Overview of Overview of Complex Networks Complex Networks Overview of Complex Networks Principles of Complex Systems Basic definitions Basic definitions Examples of Examples of CSYS/MATH 300, Spring, 2013 | #SpringPoCS2013 Complex

486 views • 9 slides
network Complex Networks Complex Networks Prof. Peter Dodds Nutshell Nutshell noun Basic

network Complex Networks Complex Networks Prof. Peter Dodds Nutshell Nutshell noun Basic

Overview of Thesaurus deliciousness: Overview of Complex Networks Complex Networks Complex Networks Principles of Complex Systems Basic definitions Basic definitions Examples of Examples of CSYS/MATH 300, Fall, 2011 Complex Networks

563 views • 21 slides
Scripting Apache OpenOffice Introductory Nutshell Programs (Writer, Calc, Impress) Rony G.

Scripting Apache OpenOffice Introductory Nutshell Programs (Writer, Calc, Impress) Rony G.

Scripting Apache OpenOffice Introductory Nutshell Programs (Writer, Calc, Impress) Rony G. Flatscher Overview Overview of AOO Bird eye's view of AOO's architecture Scripting AOO Nutshell examples swriter (word

1.07k views • 84 slides
Audio Engineering in a Nutshell Audio Engineering in a Nutshell - Or: The next two hours of your

Audio Engineering in a Nutshell Audio Engineering in a Nutshell - Or: The next two hours of your

file:///home/nettings/LAD-2004-AE/slides.xml Audio Engineering in a Nutshell Audio Engineering in a Nutshell - Or: The next two hours of your life Basics: the nature of Sound and its representation Sound and hearing Analog signals Digital

755 views • 57 slides
Forewords Tagging in a nutshell Sources Slides inspired by M. Rajman and J.-C. Chappelier,

Forewords Tagging in a nutshell Sources Slides inspired by M. Rajman and J.-C. Chappelier,

Tagging in a nutshell Tagging in a nutshell Forewords Tagging in a nutshell Sources Slides inspired by M. Rajman and J.-C. Chappelier, EPFL Vincent Claveau Vocabulary tagging, French: etiquetage IRISA - CNRS tag, Fr.

441 views • 7 slides
Design Thinking in a nutshell Alexander Gtze 25.10.2019 Design Thinking in a nutshell

Design Thinking in a nutshell Alexander Gtze 25.10.2019 Design Thinking in a nutshell

Design Thinking in a nutshell Alexander Gtze 25.10.2019 Design Thinking in a nutshell Introduction 2 Alexander Gtze Design Thinking in a nutshell Introduction Business Technology (viability) (feasibility) Human (desirability) 3

353 views • 12 slides
Outlook of the lecture Magnetism in nutshell Xray absorption spectroscopy XAS

Outlook of the lecture Magnetism in nutshell Xray absorption spectroscopy XAS

Outlook of the lecture Magnetism in nutshell Xray absorption spectroscopy XAS Magnetic XAS = XMCD (Xray Magnetic Circular Dichroism) Eberhard Goering, MPIIS, Stuttgart Magnetism in a nutshell Rotating charges

635 views • 49 slides
Elementary Particle Physics in a Nutshell Elementary Particle Physics in a Nutshell

Elementary Particle Physics in a Nutshell Elementary Particle Physics in a Nutshell

Elementary Particle Physics in a Nutshell Elementary Particle Physics in a Nutshell Elementary particle physics explores the nature of the very large and the very small Elementary Particle Physics in a Nutshell Elementary particle

636 views • 35 slides
Objectives You should be able to ... Lambda Calculus Examples Here are some examples! Dr.

Objectives You should be able to ... Lambda Calculus Examples Here are some examples! Dr.

Objectives Examples Objectives Examples Objectives You should be able to ... Lambda Calculus Examples Here are some examples! Dr. Mattox Beckman Perform a beta-reduction. Detect -capture and use -renaming to avoid it.

518 views • 6 slides
Overview of Complex Networks Principles of Complex Systems Basic definitions Examples of

Overview of Complex Networks Principles of Complex Systems Basic definitions Examples of

Overview of Complex Networks Overview of Complex Networks Principles of Complex Systems Basic definitions Examples of CSYS/MATH 300, Spring, 2013 | #SpringPoCS2013 Complex Networks Properties of Complex Networks Prof. Peter Dodds Nutshell

780 views • 49 slides
Course Evaluations 1. More examples Worked examples on whiteboard? Concrete examples of

Course Evaluations 1. More examples Worked examples on whiteboard? Concrete examples of

Course Evaluations 1. More examples Worked examples on whiteboard? Concrete examples of settings 2. Too fast Too much material for time available More time on math parts, proofs Awkwardly placed midterm Too many details,

525 views • 20 slides
Complex Networks Principles of Complex Systems Basic definitions Examples of Course CSYS/MATH

Complex Networks Principles of Complex Systems Basic definitions Examples of Course CSYS/MATH

Overview of Complex Networks Complex Networks Principles of Complex Systems Basic definitions Examples of Course CSYS/MATH 300, Fall, 2009 Complex Networks Properties of Complex Networks Prof. Peter Dodds Nutshell Basic models of

1.28k views • 117 slides
Complex Networks Principles of Complex Systems Basic definitions Examples of CSYS/MATH 300,

Complex Networks Principles of Complex Systems Basic definitions Examples of CSYS/MATH 300,

Overview of Complex Networks Complex Networks Principles of Complex Systems Basic definitions Examples of CSYS/MATH 300, Fall, 2010 Complex Networks Properties of Complex Networks Prof. Peter Dodds Nutshell Basic models of complex

1.72k views • 124 slides
Answer Set Programming in a Nutshell Torsten Schaub University of Potsdam Torsten Schaub

Answer Set Programming in a Nutshell Torsten Schaub University of Potsdam Torsten Schaub

Answer Set Programming in a Nutshell Torsten Schaub University of Potsdam Torsten Schaub (KRR@UP) Answer Set Programming in a Nutshell 1 / 31 Outline 1 Introduction 2 Foundations 3 Modeling 4 Algorithms and Systems 5 Potassco 6 Summary

1.07k views • 86 slides
Adversarial Search Lecture 6 How can we use search to plan ahead when other agents are planning

Adversarial Search Lecture 6 How can we use search to plan ahead when other agents are planning

Wentworth Institute of Technology COMP3770 Artificial Intelligence | Spring 2017 | Derbinsky Adversarial Search Lecture 6 How can we use search to plan ahead when other agents are planning against us? Adversarial Search March 12, 2017 1

570 views • 43 slides
Bounding entropies of hard squares and friends How to pick a good vector Andrew Rechnitzer

Bounding entropies of hard squares and friends How to pick a good vector Andrew Rechnitzer

Packing bits 2d Bounds Upper Lower Picking well Beware CTM Results Bounding entropies of hard squares and friends How to pick a good vector Andrew Rechnitzer Yao-ban Chan Melbourne, April 2013 Rechnitzer Packing bits 2d Bounds Upper

1.42k views • 119 slides
Modeling and Verification of Real-time/Hybrid/Cyber-Physical Systems via Concurrent Co-inductive

Modeling and Verification of Real-time/Hybrid/Cyber-Physical Systems via Concurrent Co-inductive

Motivation Background Contribution Summary Modeling and Verification of Real-time/Hybrid/Cyber-Physical Systems via Concurrent Co-inductive Constraint Logic Programming Neda Saeedloei Department of Computer Science University of Texas at

929 views • 77 slides
Protocol Conformance for Logic-based Agents Ulle Endriss 1 , Nicolas Maudet 2 , Fariba Sadri 1 and

Protocol Conformance for Logic-based Agents Ulle Endriss 1 , Nicolas Maudet 2 , Fariba Sadri 1 and

Protocol Conformance for Logic-based Agents IJCAI-2003 Protocol Conformance for Logic-based Agents Ulle Endriss 1 , Nicolas Maudet 2 , Fariba Sadri 1 and Francesca Toni 1 1 Department of Computing, Imperial College London Email: { ue,fs,ft }

365 views • 14 slides
Approximately Opaque Multi-version Permissive Transactional Memory Basem Assiri Costas Busch

Approximately Opaque Multi-version Permissive Transactional Memory Basem Assiri Costas Busch

Approximately Opaque Multi-version Permissive Transactional Memory Basem Assiri Costas Busch Louisiana State University Outline - Challenges of Distributed Computing and Performance Objectives and Motivation - - Transactional Memory and

586 views • 42 slides
Cuckoo: a Language for Implementing Memory- and Thread- safe System Services Richard West and

Cuckoo: a Language for Implementing Memory- and Thread- safe System Services Richard West and

Cuckoo: a Language for Implementing Memory- and Thread- safe System Services Richard West and Gary Wong Boston University Computer Science Introduction Computer Science Recent emphasis on COTS systems for diverse applications e.g.,

318 views • 15 slides
State of the Art and Perspectives Legal Analysis Law &amp; Economics Computational Law Abstract

State of the Art and Perspectives Legal Analysis Law &amp; Economics Computational Law Abstract

February 16, 2017 Alexandre Quemy State of the Art and Perspectives Legal Analysis Law &amp; Economics Computational Law Abstract Argumentation Sequential Decision Processes Perspectives plan Studying law and its consequencies with

1.15k views • 112 slides
PRIVACY IN PERVASIVE COMPUTING COMPUTING Marc Langheinrich ETH Zurich, Switzerland Approaches to

PRIVACY IN PERVASIVE COMPUTING COMPUTING Marc Langheinrich ETH Zurich, Switzerland Approaches to

Marc Langheinrich: Privacy in Pervasive Computing May 22, 2008 PRIVACY IN PERVASIVE COMPUTING COMPUTING Marc Langheinrich ETH Zurich, Switzerland Approaches to Ubicomp Privacy Disappearing Computer Troubadour Project (10/2002 05/2003)

795 views • 25 slides

More recommend