or: Why Alg lgebraic May Be Better Than Pre/Post Intro Focus on - PowerPoint PPT Presentation

Oct 21, 2023 •576 likes •654 views

Specification of of Generic APIs Is, or: Why Alg lgebraic May Be Better Than Pre/Post Intro Focus on abstract APIs, rather than dealing directly with concrete data structures. Semantics are more easily specied by relating the

Specification of of Generic APIs Is, or: Why Alg lgebraic May Be Better Than Pre/Post
Intro • Focus on abstract APIs, rather than dealing directly with concrete data structures. • Semantics are more easily specied by relating the operations to each other. • The behavior of hashCode is specied entirely by its relationship to equals • Signature • Models • Axioms
API specifications
General requirement API
API enrichment
Pre/post specification
API specifications subsume Pre/Post specifications

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

A LGEBRAIC MODELS , COHOMOLOGY JUMP LOCI , AND FINITENESS PROPERTIES Alex Suciu Northeastern

A LGEBRAIC MODELS , COHOMOLOGY JUMP LOCI , AND FINITENESS PROPERTIES Alex Suciu Northeastern University Topology Seminar University of California, Berkeley October 11, 2017 A LEX S UCIU (N ORTHEASTERN ) M ODELS , JUMP LOCI & FINITENESS UCB

592 views • 25 slides

Alg lgebraic Crossover Operators for Permutations Valentino Santucci 1,2 , Marco Baioletti 2 ,

Alg lgebraic Crossover Operators for Permutations Valentino Santucci 1,2 , Marco Baioletti 2 , Alfredo Milani 2 1 University for Foreigners of Perugia, Italy 2 University of Perugia, Italy Finitely Generated Group A group is a set

286 views • 24 slides

Khair Eddin Sabri and Ridha Khedri Intro. Motivation and Foundations & Practice of Security

A G ENERIC A LGEBRAIC M ODEL FOR THE A NALYSIS A G ENERIC A LGEBRAIC M ODEL FOR THE A NALYSIS OF C RYPTOGRAPHIC -K EY A SSIGNMENT OF C RYPTOGRAPHIC - S CHEMES K EY A SSIGNMENT S CHEMES Speaker: Ridha Khedri Khair Eddin Sabri and Ridha Khedri

1.04k views • 31 slides

Alex Suciu Representation Theory and Related Topics Seminar Northeastern University April 10,

A LGEBRAIC MODELS AND THE T ANGENT C ONE THEOREM Alex Suciu Representation Theory and Related Topics Seminar Northeastern University April 10, 2015 A LEX S UCIU A LGEBRAIC MODELS A PRIL 10, 2015 1 / 20 R ESONANCE VARIETIES R ESONANCE VARIETIES

416 views • 20 slides

Alex Suciu Northeastern University (joint work with He Wang) Workshop on Braids in Algebra,

A LGEBRAIC INVARIANTS OF PURE BRAID - LIKE GROUPS Alex Suciu Northeastern University (joint work with He Wang) Workshop on Braids in Algebra, Geometry, and Topology International Centre for Mathematical Sciences, Edinburgh, UK May 23, 2017 A

361 views • 22 slides

Alex Suciu Northeastern University Topology Seminar MIT March 5, 2018 A LEX S UCIU (N

A LGEBRAIC MODELS , DUALITY , AND RESONANCE Alex Suciu Northeastern University Topology Seminar MIT March 5, 2018 A LEX S UCIU (N ORTHEASTERN ) M ODELS , DUALITY , AND RESONANCE MIT T OPOLOGY S EMINAR 1 / 24 D UALITY PROPERTIES P OINCAR

579 views • 24 slides

Alex Suciu Northeastern University Joint work with Stefan Papadima (IMAR) arxiv:1511.08948

A LGEBRAIC MODELS FOR S ASAKIAN MANIFOLDS AND WEIGHTED - HOMOGENEOUS SURFACE SINGULARITIES Alex Suciu Northeastern University Joint work with Stefan Papadima (IMAR) arxiv:1511.08948 Workshop on Singularities and Topology Universit de Nice

340 views • 21 slides

LFLA LANGU AGE FOR LINEAR ALGEBRA TEAM OF GEEKS Zhiyuan Guo (Architect) Compiler,

LFLA LANGU AGE FOR LINEAR ALGEBRA TEAM OF GEEKS Zhiyuan Guo (Architect) Compiler, Code generation, Semantics Guitang Lan (Language Guru) Compiler, Semantic validation, Test case creation Jin Liang (Tester) Test

1.56k views • 22 slides

A Novel WCET Semantics of Synchronous Programs Michael Mendler 1 Partha S Roop 2 , 4 Bruno Bodin 3

A Novel WCET Semantics of Synchronous Programs Michael Mendler 1 Partha S Roop 2 , 4 Bruno Bodin 3 Bamberg University, Germany University of Auckland, New Zealand University of Edinburgh, United Kingdom Mercator Fellow, Bamberg University,

500 views • 18 slides

Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic Yoshihiro Maruyama

Introduction On Algebras of Lattice-Valued Logic L -VL On Algebras of Lattice-Valued Modal Logic L -ML Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic Yoshihiro Maruyama Faculty of Integrated Human Studies, Kyoto

781 views • 53 slides

through authentic assessment: A Consulting in Intermediate Microeconomics Amrish Patel and Fabio

Enhancing employability through authentic assessment: A Consulting in Intermediate Microeconomics Amrish Patel and Fabio Arico University of East Anglia DEE 2019, Warwick Whats the point of all this abstract micro theory? Essays

344 views • 20 slides

Towards a Module System for K Mark Hills and Grigore Ro su { mhills, grosu } @cs.uiuc.edu

Outline Motivation K Context Transformers Variable Patterns and Sort Inference The K Module System Related and Future Work Towards a Module System for K Mark Hills and Grigore Ro su { mhills, grosu } @cs.uiuc.edu Department of Computer

423 views • 30 slides

Generic Trace Theory Ichiro Hasuo, Bart Jacobs and Ana Sokolova SOS group - Radboud University

Generic Trace Theory Ichiro Hasuo, Bart Jacobs and Ana Sokolova SOS group - Radboud University Nijmegen CMCS06, Generic traces p.1/22 Talk about... systems as coalgebras states CMCS06, Generic traces

926 views • 89 slides

Propagators and Solvers for the Algebra of Modular Systems Bart Bogaerts 1 , 2 , David Mitchell 3

Propagators and Solvers for the Algebra of Modular Systems Bart Bogaerts 1 , 2 , David Mitchell 3 , Eugenia Ternovska 3 1 Aalto University, Finland, bart.bogaerts@aalto.fi 2 KU Leuven, Belgium, bart.bogaerts@cs.kuleuven.be 3 Simon Fraser

592 views • 23 slides

Model Transformations for DSL Processing Stefan Kapferer January 14, 2019 University of Applied

Model Transformations for DSL Processing Stefan Kapferer January 14, 2019 University of Applied Sciences of Eastern Switzerland (HSR FHO) Table of contents 1. Introduction: Model Transformation 2. DSL Example & Live Demo 3. Model

718 views • 28 slides

Mutually Enhancing Test Generation and Specification Inference Tao Xie David Notkin Department

Mutually Enhancing Test Generation and Specification Inference Tao Xie David Notkin Department of Computer Science & Engineering University of Washington, Seattle, WA Oct. 6th, 2003 FATES 2003, Montreal, Canada 1 Synopsis Need

476 views • 19 slides

A Review of Formal Methods : 200514170 : (T4) (T4)

A Review of Formal Methods : 200514170 : (T4) (T4) Contents INTRODUCTION INTRODUCTION DEFINITION AND OVERVIEW OF FORMAL METHODS SPECIFICATION METHODS LIFE CYCLES AND

317 views • 19 slides

Some Algebraic Structures Here are some algebraic structures we will study this year : Rings

Some Algebraic Structures Here are some algebraic structures we will study this year : Rings Fields Groups Vector Spaces (in more details) Modules Rings Perhaps the most familiar algebraic structure is rings . Rings have two

243 views • 8 slides

A pair of Frobenius pairs for Hopf modules Paolo Saracco Universit Libre de Bruxelles Rings,

A pair of Frobenius pairs for Hopf modules Paolo Saracco Universit Libre de Bruxelles Rings, modules, and Hopf algebras, 15 May 2019 Report on Hopf modules, Frobenius functors and (one-sided) Hopf algebras - arXiv:1904.13065 Antipodes,

484 views • 47 slides

What kind of tensors are compressible? Tianyi Shi Cornell University ts777@cornell.edu June 28,

What kind of tensors are compressible? Tianyi Shi Cornell University ts777@cornell.edu June 28, 2019 Work with: Alex Townsend (Cornell University) Tianyi Shi (Cornell) Compressible tensors June 28, 2019 1 / 17 What is a tensor? X Why are

501 views • 36 slides

K-16 Algebraic Thinking: A Mathema7cal Perspec7ve Learning EDC

K-16 Algebraic Thinking: A Mathema7cal Perspec7ve Learning EDC Algebra: NCTM 2013 Annual Meeting 1 transforms lives. K-16 Algebraic Thinking: A Mathema7cs Perspec7ve Intro:

621 views • 51 slides

Pairing-based Short Signatures Final Presentation Amit Markel Leonid Nemirovskiy Supervisor .

Project in Computer Security at Technion Pairing-based Short Signatures Final Presentation Amit Markel Leonid Nemirovskiy Supervisor . Barukh Ziv 26 / 10 / 2014 Introduction Introduction / abstract Recent progress in research and

369 views • 25 slides

Approximate Implicitization and CAD- type intersection algorithms Tor Dokken and Vibeke Skytt

Approximate Implicitization and CAD- type intersection algorithms Tor Dokken and Vibeke Skytt SINTEF ICT, Department of Applied Mathematics This work is partly funded by the European Union through the projects: GAIA II, IST-2001-35512,

437 views • 28 slides

Algebra Based Physics Simple Harmonic Motion 2015-10-09 www.njctl.org Slide 3 / 69 Table of

Slide 1 / 69 Slide 2 / 69 Algebra Based Physics Simple Harmonic Motion 2015-10-09 www.njctl.org Slide 3 / 69 Table of Contents Click on the topic to go to that section Period and Frequency SHM and UCM Spring Pendulum Simple

463 views • 33 slides