| |
Anjorin, Anthony
|
SLE '20: "A Search-Based and Fault-Tolerant ..."
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
Nils Weidmann, Lars Fritsche, and Anthony Anjorin
(University of Paderborn, Germany; TU Darmstadt, Germany; IAV, Germany)
@InProceedings{SLE20p71,
author = {Nils Weidmann and Lars Fritsche and Anthony Anjorin},
title = {A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3426425.3426932},
year = {2020},
}
 Publisher's Version
 Video
Article: sle20main-p20-p doi:10.1145/3426425.3426932
|
| |
Auvolat, Alex |
SLE '20: "Modular and Distributed IDE ..."
Modular and Distributed IDE
Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau
(Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France)
@InProceedings{SLE20p330,
author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau},
title = {Modular and Distributed IDE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {330-329},
doi = {10.1145/3426425.3426947},
year = {2020},
}
Publisher's Version
 Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p91-p doi:10.1145/3426425.3426947
|
| |
Barais, Olivier
|
SLE '20: "Modular and Distributed IDE ..."
Modular and Distributed IDE
Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau
(Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France)
@InProceedings{SLE20p330,
author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau},
title = {Modular and Distributed IDE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {330-329},
doi = {10.1145/3426425.3426947},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p91-p doi:10.1145/3426425.3426947
|
| |
Barash, Mikhail |
SLE '20: "Example-Driven Software Language ..."
Example-Driven Software Language Engineering
Mikhail Barash
(University of Bergen, Norway)
@InProceedings{SLE20p302,
author = {Mikhail Barash},
title = {Example-Driven Software Language Engineering},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {302-301},
doi = {10.1145/3426425.3426945},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p80-p doi:10.1145/3426425.3426945
|
| |
Barraball, Chelsea |
SLE '20: "An Interactive Feedback System ..."
An Interactive Feedback System for Grammar Development (Tool Paper)
Chelsea Barraball, Moeketsi Raselimo, and Bernd Fischer
(Stellenbosch University, South Africa)
@InProceedings{SLE20p134,
author = {Chelsea Barraball and Moeketsi Raselimo and Bernd Fischer},
title = {An Interactive Feedback System for Grammar Development (Tool Paper)},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {134-133},
doi = {10.1145/3426425.3426935},
year = {2020},
}
Publisher's Version
Video
Artifacts Functional
Article: sle20main-p39-p doi:10.1145/3426425.3426935
|
| |
Berger, Thorsten |
SLE '20: "Behavior Trees in Action: ..."
Behavior Trees in Action: A Study of Robotics Applications
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark)
@InProceedings{SLE20p239,
author = {Razan Ghzouli and Thorsten Berger and Einar Broch Johnsen and Swaib Dragule and Andrzej Wąsowski},
title = {Behavior Trees in Action: A Study of Robotics Applications},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {239-238},
doi = {10.1145/3426425.3426942},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p74-p doi:10.1145/3426425.3426942
|
| |
Béziers la Fosse, Thibault |
SLE '20: "Annotating Executable DSLs ..."
Annotating Executable DSLs with Energy Estimation Formulas
Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, and Gerson Sunyé
(IMT Atlantique, France; ICAM, France; LS2N, France; University of Nantes, France)
@InProceedings{SLE20p29,
author = {Thibault Béziers la Fosse and Massimo Tisi and Jean-Marie Mottu and Gerson Sunyé},
title = {Annotating Executable DSLs with Energy Estimation Formulas},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3426425.3426930},
year = {2020},
}
Publisher's Version
Video
Artifacts Functional
Article: sle20main-p12-p doi:10.1145/3426425.3426930
|
| |
Bromberg, Yérom-David |
SLE '20: "Modular and Distributed IDE ..."
Modular and Distributed IDE
Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau
(Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France)
@InProceedings{SLE20p330,
author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau},
title = {Modular and Distributed IDE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {330-329},
doi = {10.1145/3426425.3426947},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p91-p doi:10.1145/3426425.3426947
|
| |
Buchs, Didier |
SLE '20: "Featherweight Swift: A Core ..."
Featherweight Swift: A Core Calculus for Swift’s Type System
Dimitri Racordon and Didier Buchs
(University of Geneva, Switzerland)
@InProceedings{SLE20p176,
author = {Dimitri Racordon and Didier Buchs},
title = {Featherweight Swift: A Core Calculus for Swift’s Type System},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {176-175},
doi = {10.1145/3426425.3426939},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p56-p doi:10.1145/3426425.3426939
|
| |
Burgueño, Loli |
SLE '20: "Towards the Optical Character ..."
Towards the Optical Character Recognition of DSLs
Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, and Jordi Cabot
(University of Extremadura, Spain; Open University of Catalonia, Spain)
@InProceedings{SLE20p162,
author = {Jorge Perianez-Pascual and Roberto Rodriguez-Echeverria and Loli Burgueño and Jordi Cabot},
title = {Towards the Optical Character Recognition of DSLs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {162-161},
doi = {10.1145/3426425.3426937},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p50-p doi:10.1145/3426425.3426937
|
| |
Cabot, Jordi
|
SLE '20: "Towards the Optical Character ..."
Towards the Optical Character Recognition of DSLs
Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, and Jordi Cabot
(University of Extremadura, Spain; Open University of Catalonia, Spain)
@InProceedings{SLE20p162,
author = {Jorge Perianez-Pascual and Roberto Rodriguez-Echeverria and Loli Burgueño and Jordi Cabot},
title = {Towards the Optical Character Recognition of DSLs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {162-161},
doi = {10.1145/3426425.3426937},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p50-p doi:10.1145/3426425.3426937
|
| |
Cimini, Matteo |
SLE '20: "Extrinsically Typed Operational ..."
Extrinsically Typed Operational Semantics for Functional Languages
Matteo Cimini, Dale Miller, and Jeremy G. Siek
(University of Massachusetts at Lowell, USA; Inria, France; École Polytechnique, France; Indiana University, USA)
@InProceedings{SLE20p141,
author = {Matteo Cimini and Dale Miller and Jeremy G. Siek},
title = {Extrinsically Typed Operational Semantics for Functional Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3426425.3426936},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p44-p doi:10.1145/3426425.3426936
|
| |
Combemale, Benoit |
SLE '20: "Modular and Distributed IDE ..."
Modular and Distributed IDE
Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau
(Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France)
@InProceedings{SLE20p330,
author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau},
title = {Modular and Distributed IDE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {330-329},
doi = {10.1145/3426425.3426947},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p91-p doi:10.1145/3426425.3426947
|
| |
Coulon, Fabien |
SLE '20: "Modular and Distributed IDE ..."
Modular and Distributed IDE
Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau
(Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France)
@InProceedings{SLE20p330,
author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau},
title = {Modular and Distributed IDE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {330-329},
doi = {10.1145/3426425.3426947},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p91-p doi:10.1145/3426425.3426947
|
| |
De Medeiros, Sérgio Queiroz
|
SLE '20: "A Semantic Framework for PEGs ..."
A Semantic Framework for PEGs
Sérgio Queiroz de Medeiros and Carlos Olarte
(Federal University of Rio Grande do Norte, Brazil)
@InProceedings{SLE20p281,
author = {Sérgio Queiroz de Medeiros and Carlos Olarte},
title = {A Semantic Framework for PEGs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3426425.3426944},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p78-p doi:10.1145/3426425.3426944
|
| |
Dragule, Swaib |
SLE '20: "Behavior Trees in Action: ..."
Behavior Trees in Action: A Study of Robotics Applications
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark)
@InProceedings{SLE20p239,
author = {Razan Ghzouli and Thorsten Berger and Einar Broch Johnsen and Swaib Dragule and Andrzej Wąsowski},
title = {Behavior Trees in Action: A Study of Robotics Applications},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {239-238},
doi = {10.1145/3426425.3426942},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p74-p doi:10.1145/3426425.3426942
|
| |
Fischer, Bernd
|
SLE '20: "An Interactive Feedback System ..."
An Interactive Feedback System for Grammar Development (Tool Paper)
Chelsea Barraball, Moeketsi Raselimo, and Bernd Fischer
(Stellenbosch University, South Africa)
@InProceedings{SLE20p134,
author = {Chelsea Barraball and Moeketsi Raselimo and Bernd Fischer},
title = {An Interactive Feedback System for Grammar Development (Tool Paper)},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {134-133},
doi = {10.1145/3426425.3426935},
year = {2020},
}
Publisher's Version
Video
Artifacts Functional
Article: sle20main-p39-p doi:10.1145/3426425.3426935
SLE '20: "Test Case Generation from ..."
Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata
Christoff Rossouw and Bernd Fischer
(Stellenbosch University, South Africa)
@InProceedings{SLE20p169,
author = {Christoff Rossouw and Bernd Fischer},
title = {Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {169-168},
doi = {10.1145/3426425.3426938},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p55-p doi:10.1145/3426425.3426938
SLE '20: "Grammar-Based Testing for ..."
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer
(Stellenbosch University, South Africa; Uppsala University, Sweden)
@InProceedings{SLE20p309,
author = {Phillip van Heerden and Moeketsi Raselimo and Konstantinos Sagonas and Bernd Fischer},
title = {Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3426425.3426946},
year = {2020},
}
Publisher's Version
Video
Artifacts Functional
Article: sle20main-p85-p doi:10.1145/3426425.3426946
|
| |
Fors, Niklas |
SLE '20: "Principles and Patterns of ..."
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
Niklas Fors, Emma Söderberg, and Görel Hedin
(Lund University, Sweden)
@InProceedings{SLE20p113,
author = {Niklas Fors and Emma Söderberg and Görel Hedin},
title = {Principles and Patterns of JastAdd-Style Reference Attribute Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3426425.3426934},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p32-p doi:10.1145/3426425.3426934
|
| |
Fritsche, Lars |
SLE '20: "A Precedence-Driven Approach ..."
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer
(TU Darmstadt, Germany; University of Marburg, Germany)
@InProceedings{SLE20p50,
author = {Lars Fritsche and Jens Kosiol and Adrian Möller and Andy Schürr and Gabriele Taentzer},
title = {A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {50-49},
doi = {10.1145/3426425.3426931},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: sle20main-p15-p doi:10.1145/3426425.3426931
SLE '20: "A Search-Based and Fault-Tolerant ..."
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
Nils Weidmann, Lars Fritsche, and Anthony Anjorin
(University of Paderborn, Germany; TU Darmstadt, Germany; IAV, Germany)
@InProceedings{SLE20p71,
author = {Nils Weidmann and Lars Fritsche and Anthony Anjorin},
title = {A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3426425.3426932},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p20-p doi:10.1145/3426425.3426932
|
| |
Ghzouli, Razan
|
SLE '20: "Behavior Trees in Action: ..."
Behavior Trees in Action: A Study of Robotics Applications
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark)
@InProceedings{SLE20p239,
author = {Razan Ghzouli and Thorsten Berger and Einar Broch Johnsen and Swaib Dragule and Andrzej Wąsowski},
title = {Behavior Trees in Action: A Study of Robotics Applications},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {239-238},
doi = {10.1145/3426425.3426942},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p74-p doi:10.1145/3426425.3426942
|
| |
Hedin, Görel
|
SLE '20: "Principles and Patterns of ..."
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
Niklas Fors, Emma Söderberg, and Görel Hedin
(Lund University, Sweden)
@InProceedings{SLE20p113,
author = {Niklas Fors and Emma Söderberg and Görel Hedin},
title = {Principles and Patterns of JastAdd-Style Reference Attribute Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3426425.3426934},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p32-p doi:10.1145/3426425.3426934
|
| |
Johnsen, Einar Broch
|
SLE '20: "Behavior Trees in Action: ..."
Behavior Trees in Action: A Study of Robotics Applications
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark)
@InProceedings{SLE20p239,
author = {Razan Ghzouli and Thorsten Berger and Einar Broch Johnsen and Swaib Dragule and Andrzej Wąsowski},
title = {Behavior Trees in Action: A Study of Robotics Applications},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {239-238},
doi = {10.1145/3426425.3426942},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p74-p doi:10.1145/3426425.3426942
|
| |
Kosiol, Jens
|
SLE '20: "A Precedence-Driven Approach ..."
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer
(TU Darmstadt, Germany; University of Marburg, Germany)
@InProceedings{SLE20p50,
author = {Lars Fritsche and Jens Kosiol and Adrian Möller and Andy Schürr and Gabriele Taentzer},
title = {A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {50-49},
doi = {10.1145/3426425.3426931},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: sle20main-p15-p doi:10.1145/3426425.3426931
|
| |
Kramer, Lucas |
SLE '20: "Strategic Tree Rewriting in ..."
Strategic Tree Rewriting in Attribute Grammars
Lucas Kramer and Eric Van Wyk
(University of Minnesota, USA)
@InProceedings{SLE20p260,
author = {Lucas Kramer and Eric Van Wyk},
title = {Strategic Tree Rewriting in Attribute Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {260-259},
doi = {10.1145/3426425.3426943},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p75-p doi:10.1145/3426425.3426943
|
| |
Michaelson, Dawn
|
SLE '20: "Monadification of Attribute ..."
Monadification of Attribute Grammars
Dawn Michaelson and Eric Van Wyk
(University of Minnesota, USA)
@InProceedings{SLE20p218,
author = {Dawn Michaelson and Eric Van Wyk},
title = {Monadification of Attribute Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {218-217},
doi = {10.1145/3426425.3426941},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p71-p doi:10.1145/3426425.3426941
|
| |
Miller, Dale |
SLE '20: "Extrinsically Typed Operational ..."
Extrinsically Typed Operational Semantics for Functional Languages
Matteo Cimini, Dale Miller, and Jeremy G. Siek
(University of Massachusetts at Lowell, USA; Inria, France; École Polytechnique, France; Indiana University, USA)
@InProceedings{SLE20p141,
author = {Matteo Cimini and Dale Miller and Jeremy G. Siek},
title = {Extrinsically Typed Operational Semantics for Functional Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3426425.3426936},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p44-p doi:10.1145/3426425.3426936
|
| |
Möller, Adrian |
SLE '20: "A Precedence-Driven Approach ..."
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer
(TU Darmstadt, Germany; University of Marburg, Germany)
@InProceedings{SLE20p50,
author = {Lars Fritsche and Jens Kosiol and Adrian Möller and Andy Schürr and Gabriele Taentzer},
title = {A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {50-49},
doi = {10.1145/3426425.3426931},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: sle20main-p15-p doi:10.1145/3426425.3426931
|
| |
Mottu, Jean-Marie |
SLE '20: "Annotating Executable DSLs ..."
Annotating Executable DSLs with Energy Estimation Formulas
Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, and Gerson Sunyé
(IMT Atlantique, France; ICAM, France; LS2N, France; University of Nantes, France)
@InProceedings{SLE20p29,
author = {Thibault Béziers la Fosse and Massimo Tisi and Jean-Marie Mottu and Gerson Sunyé},
title = {Annotating Executable DSLs with Energy Estimation Formulas},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3426425.3426930},
year = {2020},
}
Publisher's Version
Video
Artifacts Functional
Article: sle20main-p12-p doi:10.1145/3426425.3426930
|
| |
Olarte, Carlos
|
SLE '20: "A Semantic Framework for PEGs ..."
A Semantic Framework for PEGs
Sérgio Queiroz de Medeiros and Carlos Olarte
(Federal University of Rio Grande do Norte, Brazil)
@InProceedings{SLE20p281,
author = {Sérgio Queiroz de Medeiros and Carlos Olarte},
title = {A Semantic Framework for PEGs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3426425.3426944},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p78-p doi:10.1145/3426425.3426944
|
| |
Perianez-Pascual, Jorge
|
SLE '20: "Towards the Optical Character ..."
Towards the Optical Character Recognition of DSLs
Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, and Jordi Cabot
(University of Extremadura, Spain; Open University of Catalonia, Spain)
@InProceedings{SLE20p162,
author = {Jorge Perianez-Pascual and Roberto Rodriguez-Echeverria and Loli Burgueño and Jordi Cabot},
title = {Towards the Optical Character Recognition of DSLs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {162-161},
doi = {10.1145/3426425.3426937},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p50-p doi:10.1145/3426425.3426937
|
| |
Pit-Claudel, Clément |
SLE '20: "Untangling Mechanized Proofs ..."
Untangling Mechanized Proofs
Clément Pit-Claudel
(Massachusetts Institute of Technology, USA)
@InProceedings{SLE20p197,
author = {Clément Pit-Claudel},
title = {Untangling Mechanized Proofs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {197-196},
doi = {10.1145/3426425.3426940},
year = {2020},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: sle20main-p66-p doi:10.1145/3426425.3426940
|
| |
Plouzeau, Noël |
SLE '20: "Modular and Distributed IDE ..."
Modular and Distributed IDE
Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau
(Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France)
@InProceedings{SLE20p330,
author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau},
title = {Modular and Distributed IDE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {330-329},
doi = {10.1145/3426425.3426947},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p91-p doi:10.1145/3426425.3426947
|
| |
Polack, Fiona A. C. |
SLE '20: "A Family of Languages for ..."
A Family of Languages for Trustworthy Agent-Based Simulation
Steffen Zschaler and Fiona A. C. Polack
(King's College London, UK; Keele University, UK)
@InProceedings{SLE20p22,
author = {Steffen Zschaler and Fiona A. C. Polack},
title = {A Family of Languages for Trustworthy Agent-Based Simulation},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {22-21},
doi = {10.1145/3426425.3426929},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p8-p doi:10.1145/3426425.3426929
|
| |
Racordon, Dimitri
|
SLE '20: "Featherweight Swift: A Core ..."
Featherweight Swift: A Core Calculus for Swift’s Type System
Dimitri Racordon and Didier Buchs
(University of Geneva, Switzerland)
@InProceedings{SLE20p176,
author = {Dimitri Racordon and Didier Buchs},
title = {Featherweight Swift: A Core Calculus for Swift’s Type System},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {176-175},
doi = {10.1145/3426425.3426939},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p56-p doi:10.1145/3426425.3426939
|
| |
Raselimo, Moeketsi |
SLE '20: "An Interactive Feedback System ..."
An Interactive Feedback System for Grammar Development (Tool Paper)
Chelsea Barraball, Moeketsi Raselimo, and Bernd Fischer
(Stellenbosch University, South Africa)
@InProceedings{SLE20p134,
author = {Chelsea Barraball and Moeketsi Raselimo and Bernd Fischer},
title = {An Interactive Feedback System for Grammar Development (Tool Paper)},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {134-133},
doi = {10.1145/3426425.3426935},
year = {2020},
}
Publisher's Version
Video
Artifacts Functional
Article: sle20main-p39-p doi:10.1145/3426425.3426935
SLE '20: "Grammar-Based Testing for ..."
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer
(Stellenbosch University, South Africa; Uppsala University, Sweden)
@InProceedings{SLE20p309,
author = {Phillip van Heerden and Moeketsi Raselimo and Konstantinos Sagonas and Bernd Fischer},
title = {Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3426425.3426946},
year = {2020},
}
Publisher's Version
Video
Artifacts Functional
Article: sle20main-p85-p doi:10.1145/3426425.3426946
|
| |
Rodriguez-Echeverria, Roberto |
SLE '20: "Towards the Optical Character ..."
Towards the Optical Character Recognition of DSLs
Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, and Jordi Cabot
(University of Extremadura, Spain; Open University of Catalonia, Spain)
@InProceedings{SLE20p162,
author = {Jorge Perianez-Pascual and Roberto Rodriguez-Echeverria and Loli Burgueño and Jordi Cabot},
title = {Towards the Optical Character Recognition of DSLs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {162-161},
doi = {10.1145/3426425.3426937},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p50-p doi:10.1145/3426425.3426937
|
| |
Rossouw, Christoff |
SLE '20: "Test Case Generation from ..."
Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata
Christoff Rossouw and Bernd Fischer
(Stellenbosch University, South Africa)
@InProceedings{SLE20p169,
author = {Christoff Rossouw and Bernd Fischer},
title = {Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {169-168},
doi = {10.1145/3426425.3426938},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p55-p doi:10.1145/3426425.3426938
|
| |
Sagonas, Konstantinos
|
SLE '20: "Grammar-Based Testing for ..."
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer
(Stellenbosch University, South Africa; Uppsala University, Sweden)
@InProceedings{SLE20p309,
author = {Phillip van Heerden and Moeketsi Raselimo and Konstantinos Sagonas and Bernd Fischer},
title = {Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3426425.3426946},
year = {2020},
}
Publisher's Version
Video
Artifacts Functional
Article: sle20main-p85-p doi:10.1145/3426425.3426946
|
| |
Schürr, Andy |
SLE '20: "A Precedence-Driven Approach ..."
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer
(TU Darmstadt, Germany; University of Marburg, Germany)
@InProceedings{SLE20p50,
author = {Lars Fritsche and Jens Kosiol and Adrian Möller and Andy Schürr and Gabriele Taentzer},
title = {A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {50-49},
doi = {10.1145/3426425.3426931},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: sle20main-p15-p doi:10.1145/3426425.3426931
|
| |
Siek, Jeremy G. |
SLE '20: "Extrinsically Typed Operational ..."
Extrinsically Typed Operational Semantics for Functional Languages
Matteo Cimini, Dale Miller, and Jeremy G. Siek
(University of Massachusetts at Lowell, USA; Inria, France; École Polytechnique, France; Indiana University, USA)
@InProceedings{SLE20p141,
author = {Matteo Cimini and Dale Miller and Jeremy G. Siek},
title = {Extrinsically Typed Operational Semantics for Functional Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3426425.3426936},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p44-p doi:10.1145/3426425.3426936
|
| |
Smits, Jeff |
SLE '20: "Gradually Typing Strategies ..."
Gradually Typing Strategies
Jeff Smits and Eelco Visser
(Delft University of Technology, Netherlands)
@InProceedings{SLE20p1,
author = {Jeff Smits and Eelco Visser},
title = {Gradually Typing Strategies},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3426425.3426928},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p4-p doi:10.1145/3426425.3426928
|
| |
Söderberg, Emma |
SLE '20: "Principles and Patterns of ..."
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
Niklas Fors, Emma Söderberg, and Görel Hedin
(Lund University, Sweden)
@InProceedings{SLE20p113,
author = {Niklas Fors and Emma Söderberg and Görel Hedin},
title = {Principles and Patterns of JastAdd-Style Reference Attribute Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3426425.3426934},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p32-p doi:10.1145/3426425.3426934
|
| |
Sunyé, Gerson |
SLE '20: "Annotating Executable DSLs ..."
Annotating Executable DSLs with Energy Estimation Formulas
Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, and Gerson Sunyé
(IMT Atlantique, France; ICAM, France; LS2N, France; University of Nantes, France)
@InProceedings{SLE20p29,
author = {Thibault Béziers la Fosse and Massimo Tisi and Jean-Marie Mottu and Gerson Sunyé},
title = {Annotating Executable DSLs with Energy Estimation Formulas},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3426425.3426930},
year = {2020},
}
Publisher's Version
Video
Artifacts Functional
Article: sle20main-p12-p doi:10.1145/3426425.3426930
|
| |
Taentzer, Gabriele
|
SLE '20: "A Precedence-Driven Approach ..."
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer
(TU Darmstadt, Germany; University of Marburg, Germany)
@InProceedings{SLE20p50,
author = {Lars Fritsche and Jens Kosiol and Adrian Möller and Andy Schürr and Gabriele Taentzer},
title = {A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {50-49},
doi = {10.1145/3426425.3426931},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Reusable
Artifacts Functional
Article: sle20main-p15-p doi:10.1145/3426425.3426931
|
| |
Taïani, François |
SLE '20: "Modular and Distributed IDE ..."
Modular and Distributed IDE
Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau
(Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France)
@InProceedings{SLE20p330,
author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau},
title = {Modular and Distributed IDE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {330-329},
doi = {10.1145/3426425.3426947},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p91-p doi:10.1145/3426425.3426947
|
| |
Tisi, Massimo |
SLE '20: "Annotating Executable DSLs ..."
Annotating Executable DSLs with Energy Estimation Formulas
Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, and Gerson Sunyé
(IMT Atlantique, France; ICAM, France; LS2N, France; University of Nantes, France)
@InProceedings{SLE20p29,
author = {Thibault Béziers la Fosse and Massimo Tisi and Jean-Marie Mottu and Gerson Sunyé},
title = {Annotating Executable DSLs with Energy Estimation Formulas},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3426425.3426930},
year = {2020},
}
Publisher's Version
Video
Artifacts Functional
Article: sle20main-p12-p doi:10.1145/3426425.3426930
|
| |
Van der Storm, Tijs
|
SLE '20: "Block-Based Syntax from Context-Free ..."
Block-Based Syntax from Context-Free Grammars
Mauricio Verano Merino and Tijs van der Storm
(Eindhoven University of Technology, Netherlands; CWI, Netherlands; University of Groningen, Netherlands)
@InProceedings{SLE20p351,
author = {Mauricio Verano Merino and Tijs van der Storm},
title = {Block-Based Syntax from Context-Free Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {351-350},
doi = {10.1145/3426425.3426948},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p106-p doi:10.1145/3426425.3426948
|
| |
Van Heerden, Phillip |
SLE '20: "Grammar-Based Testing for ..."
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer
(Stellenbosch University, South Africa; Uppsala University, Sweden)
@InProceedings{SLE20p309,
author = {Phillip van Heerden and Moeketsi Raselimo and Konstantinos Sagonas and Bernd Fischer},
title = {Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {309-308},
doi = {10.1145/3426425.3426946},
year = {2020},
}
Publisher's Version
Video
Artifacts Functional
Article: sle20main-p85-p doi:10.1145/3426425.3426946
|
| |
Van Wyk, Eric |
SLE '20: "Monadification of Attribute ..."
Monadification of Attribute Grammars
Dawn Michaelson and Eric Van Wyk
(University of Minnesota, USA)
@InProceedings{SLE20p218,
author = {Dawn Michaelson and Eric Van Wyk},
title = {Monadification of Attribute Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {218-217},
doi = {10.1145/3426425.3426941},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p71-p doi:10.1145/3426425.3426941
SLE '20: "Strategic Tree Rewriting in ..."
Strategic Tree Rewriting in Attribute Grammars
Lucas Kramer and Eric Van Wyk
(University of Minnesota, USA)
@InProceedings{SLE20p260,
author = {Lucas Kramer and Eric Van Wyk},
title = {Strategic Tree Rewriting in Attribute Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {260-259},
doi = {10.1145/3426425.3426943},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p75-p doi:10.1145/3426425.3426943
|
| |
Verano Merino, Mauricio |
SLE '20: "Block-Based Syntax from Context-Free ..."
Block-Based Syntax from Context-Free Grammars
Mauricio Verano Merino and Tijs van der Storm
(Eindhoven University of Technology, Netherlands; CWI, Netherlands; University of Groningen, Netherlands)
@InProceedings{SLE20p351,
author = {Mauricio Verano Merino and Tijs van der Storm},
title = {Block-Based Syntax from Context-Free Grammars},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {351-350},
doi = {10.1145/3426425.3426948},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p106-p doi:10.1145/3426425.3426948
|
| |
Visser, Eelco |
SLE '20: "Gradually Typing Strategies ..."
Gradually Typing Strategies
Jeff Smits and Eelco Visser
(Delft University of Technology, Netherlands)
@InProceedings{SLE20p1,
author = {Jeff Smits and Eelco Visser},
title = {Gradually Typing Strategies},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3426425.3426928},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p4-p doi:10.1145/3426425.3426928
|
| |
Wąsowski, Andrzej
|
SLE '20: "Behavior Trees in Action: ..."
Behavior Trees in Action: A Study of Robotics Applications
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark)
@InProceedings{SLE20p239,
author = {Razan Ghzouli and Thorsten Berger and Einar Broch Johnsen and Swaib Dragule and Andrzej Wąsowski},
title = {Behavior Trees in Action: A Study of Robotics Applications},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {239-238},
doi = {10.1145/3426425.3426942},
year = {2020},
}
Publisher's Version
Published Artifact
Video
Artifacts Available
Artifacts Functional
Article: sle20main-p74-p doi:10.1145/3426425.3426942
|
| |
Weidmann, Nils |
SLE '20: "A Search-Based and Fault-Tolerant ..."
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
Nils Weidmann, Lars Fritsche, and Anthony Anjorin
(University of Paderborn, Germany; TU Darmstadt, Germany; IAV, Germany)
@InProceedings{SLE20p71,
author = {Nils Weidmann and Lars Fritsche and Anthony Anjorin},
title = {A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3426425.3426932},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p20-p doi:10.1145/3426425.3426932
|
| |
Zaytsev, Vadim
|
SLE '20: "Software Language Engineers’ ..."
Software Language Engineers’ Worst Nightmare
Vadim Zaytsev
(University of Twente, Netherlands)
@InProceedings{SLE20p92,
author = {Vadim Zaytsev},
title = {Software Language Engineers’ Worst Nightmare},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3426425.3426933},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p27-p doi:10.1145/3426425.3426933
|
| |
Zschaler, Steffen |
SLE '20: "A Family of Languages for ..."
A Family of Languages for Trustworthy Agent-Based Simulation
Steffen Zschaler and Fiona A. C. Polack
(King's College London, UK; Keele University, UK)
@InProceedings{SLE20p22,
author = {Steffen Zschaler and Fiona A. C. Polack},
title = {A Family of Languages for Trustworthy Agent-Based Simulation},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {22-21},
doi = {10.1145/3426425.3426929},
year = {2020},
}
Publisher's Version
Video
Article: sle20main-p8-p doi:10.1145/3426425.3426929
|