Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450360296

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A practical type system for safe aliasing

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 ◽

10.1145/3276604.3276612 ◽

2018 ◽

Author(s):

Dimitri Racordon ◽

Didier Buchs

Keyword(s):

Type System

Download Full-text

Morbig: a static parser for POSIX shell

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 ◽

10.1145/3276604.3276615 ◽

2018 ◽

Cited By ~ 3

Author(s):

Yann Régis-Gianas ◽

Nicolas Jeannerod ◽

Ralf Treinen

Download Full-text

Analysing meta-model product lines

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 ◽

10.1145/3276604.3276609 ◽

2018 ◽

Cited By ~ 4

Author(s):

Esther Guerra ◽

Juan de Lara ◽

Marsha Chechik ◽

Rick Salay

Keyword(s):

Product Lines ◽

Meta Model

Download Full-text

Deriving fluent internal domain-specific languages from grammars

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 ◽

10.1145/3276604.3276621 ◽

2018 ◽

Cited By ~ 2

Author(s):

Arvid Butting ◽

Manuela Dalibor ◽

Gerrit Leonhardt ◽

Bernhard Rumpe ◽

Andreas Wortmann

Keyword(s):

Domain Specific Languages ◽

Domain Specific ◽

Internal Domain

Download Full-text

A new approach for software correctness and reliability (keynote)

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 ◽

10.1145/3276604.3284957 ◽

2018 ◽

Author(s):

Martin C. Rinard

Keyword(s):

New Approach ◽

Software Correctness

Download Full-text

The next 700 unit of measurement checkers

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 ◽

10.1145/3276604.3276613 ◽

2018 ◽

Cited By ~ 2

Author(s):

Oscar Bennich-Björkman ◽

Steve McKeever

Keyword(s):

Unit Of Measurement

Download Full-text

Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 ◽

10.1145/3276604.3276607 ◽

2018 ◽

Cited By ~ 1

Author(s):

Luís Eduardo de Souza Amorim ◽

Michael J. Steindorfer ◽

Sebastian Erdweg ◽

Eelco Visser

Download Full-text

Facet-oriented modelling: open objects for model-driven engineering

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 ◽

10.1145/3276604.3276610 ◽

2018 ◽

Cited By ~ 6

Author(s):

Juan de Lara ◽

Esther Guerra ◽

Jörg Kienzle ◽

Yanis Hattab

Keyword(s):

Model Driven Engineering ◽

Model Driven

Download Full-text

An industrial case study in compiler testing (tool demo)

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 ◽

10.1145/3276604.3276619 ◽

2018 ◽

Author(s):

Vadim Zaytsev

Keyword(s):

Industrial Case Study ◽

Testing Tool ◽

Compiler Testing

Download Full-text

GLL parsing with flexible combinators

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 ◽

10.1145/3276604.3276618 ◽

2018 ◽

Cited By ~ 1

Author(s):

L. Thomas van Binsbergen ◽

Elizabeth Scott ◽

Adrian Johnstone

Download Full-text

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

A practical type system for safe aliasing

Morbig: a static parser for POSIX shell

Analysing meta-model product lines

Deriving fluent internal domain-specific languages from grammars

A new approach for software correctness and reliability (keynote)

The next 700 unit of measurement checkers

Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages

Facet-oriented modelling: open objects for model-driven engineering

An industrial case study in compiler testing (tool demo)

GLL parsing with flexible combinators

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018
Latest Publications