| |
Aarssen, Rodin T. A.
|
PEPM '20: "High-Fidelity Metaprogramming ..."
High-Fidelity Metaprogramming with Separator Syntax Trees
Rodin T. A. Aarssen and Tijs van der Storm
(CWI, Netherlands; Eindhoven University of Technology, Netherlands; University of Groningen, Netherlands)
@InProceedings{PEPM20p35,
author = {Rodin T. A. Aarssen and Tijs van der Storm},
title = {High-Fidelity Metaprogramming with Separator Syntax Trees},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3372884.3373162},
year = {2020},
}
 Publisher's Version
Article: poplws20pepmmain-p8-p doi:10.1145/3372884.3373162
|
| |
Carette, Jacques
|
PEPM '20: "GOOL: A Generic Object-Oriented ..."
GOOL: A Generic Object-Oriented Language
Jacques Carette, Brooks MacLachlan, and Spencer Smith
(McMaster University, Canada)
@InProceedings{PEPM20p62,
author = {Jacques Carette and Brooks MacLachlan and Spencer Smith},
title = {GOOL: A Generic Object-Oriented Language},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {62-61},
doi = {10.1145/3372884.3373159},
year = {2020},
}
Publisher's Version
Article: poplws20pepmmain-p4-p doi:10.1145/3372884.3373159
|
| |
Hou, Zechen
|
PEPM '20: "Symbolic Bisimulation for ..."
Symbolic Bisimulation for Open and Parameterized Systems
Zechen Hou and Eric Madelaine
(East China Normal University, China; Inria, France)
@InProceedings{PEPM20p18,
author = {Zechen Hou and Eric Madelaine},
title = {Symbolic Bisimulation for Open and Parameterized Systems},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3372884.3373161},
year = {2020},
}
Publisher's Version
Article: poplws20pepmmain-p7-p doi:10.1145/3372884.3373161
|
| |
Kameyama, Yukiyoshi
|
PEPM '20: "Module Generation without ..."
Module Generation without Regret
Yuhi Sato, Yukiyoshi Kameyama, and Takahisa Watanabe
(University of Tsukuba, Japan)
@InProceedings{PEPM20p1,
author = {Yuhi Sato and Yukiyoshi Kameyama and Takahisa Watanabe},
title = {Module Generation without Regret},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3372884.3373160},
year = {2020},
}
Publisher's Version
Article: poplws20pepmmain-p5-p doi:10.1145/3372884.3373160
|
| |
MacLachlan, Brooks
|
PEPM '20: "GOOL: A Generic Object-Oriented ..."
GOOL: A Generic Object-Oriented Language
Jacques Carette, Brooks MacLachlan, and Spencer Smith
(McMaster University, Canada)
@InProceedings{PEPM20p62,
author = {Jacques Carette and Brooks MacLachlan and Spencer Smith},
title = {GOOL: A Generic Object-Oriented Language},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {62-61},
doi = {10.1145/3372884.3373159},
year = {2020},
}
Publisher's Version
Article: poplws20pepmmain-p4-p doi:10.1145/3372884.3373159
|
| |
Madelaine, Eric |
PEPM '20: "Symbolic Bisimulation for ..."
Symbolic Bisimulation for Open and Parameterized Systems
Zechen Hou and Eric Madelaine
(East China Normal University, China; Inria, France)
@InProceedings{PEPM20p18,
author = {Zechen Hou and Eric Madelaine},
title = {Symbolic Bisimulation for Open and Parameterized Systems},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3372884.3373161},
year = {2020},
}
Publisher's Version
Article: poplws20pepmmain-p7-p doi:10.1145/3372884.3373161
|
| |
Sasano, Isao
|
PEPM '20: "An Approach to Generate Text-Based ..."
An Approach to Generate Text-Based IDEs for Syntax Completion Based on Syntax Specification
Isao Sasano
(Shibaura Institute of Technology, Japan)
@InProceedings{PEPM20p52,
author = {Isao Sasano},
title = {An Approach to Generate Text-Based IDEs for Syntax Completion Based on Syntax Specification},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3372884.3373158},
year = {2020},
}
Publisher's Version
Article: poplws20pepmmain-p2-p doi:10.1145/3372884.3373158
|
| |
Sato, Yuhi |
PEPM '20: "Module Generation without ..."
Module Generation without Regret
Yuhi Sato, Yukiyoshi Kameyama, and Takahisa Watanabe
(University of Tsukuba, Japan)
@InProceedings{PEPM20p1,
author = {Yuhi Sato and Yukiyoshi Kameyama and Takahisa Watanabe},
title = {Module Generation without Regret},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3372884.3373160},
year = {2020},
}
Publisher's Version
Article: poplws20pepmmain-p5-p doi:10.1145/3372884.3373160
|
| |
Smith, Spencer |
PEPM '20: "GOOL: A Generic Object-Oriented ..."
GOOL: A Generic Object-Oriented Language
Jacques Carette, Brooks MacLachlan, and Spencer Smith
(McMaster University, Canada)
@InProceedings{PEPM20p62,
author = {Jacques Carette and Brooks MacLachlan and Spencer Smith},
title = {GOOL: A Generic Object-Oriented Language},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {62-61},
doi = {10.1145/3372884.3373159},
year = {2020},
}
Publisher's Version
Article: poplws20pepmmain-p4-p doi:10.1145/3372884.3373159
|
| |
Van der Storm, Tijs
|
PEPM '20: "High-Fidelity Metaprogramming ..."
High-Fidelity Metaprogramming with Separator Syntax Trees
Rodin T. A. Aarssen and Tijs van der Storm
(CWI, Netherlands; Eindhoven University of Technology, Netherlands; University of Groningen, Netherlands)
@InProceedings{PEPM20p35,
author = {Rodin T. A. Aarssen and Tijs van der Storm},
title = {High-Fidelity Metaprogramming with Separator Syntax Trees},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3372884.3373162},
year = {2020},
}
Publisher's Version
Article: poplws20pepmmain-p8-p doi:10.1145/3372884.3373162
|
| |
Watanabe, Takahisa
|
PEPM '20: "Module Generation without ..."
Module Generation without Regret
Yuhi Sato, Yukiyoshi Kameyama, and Takahisa Watanabe
(University of Tsukuba, Japan)
@InProceedings{PEPM20p1,
author = {Yuhi Sato and Yukiyoshi Kameyama and Takahisa Watanabe},
title = {Module Generation without Regret},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3372884.3373160},
year = {2020},
}
Publisher's Version
Article: poplws20pepmmain-p5-p doi:10.1145/3372884.3373160
|