ACM SIGPLAN Notices
Latest Publications

TOTAL DOCUMENTS

11152
(FIVE YEARS 25)

H-INDEX

75
(FIVE YEARS 0)

Published By Association For Computing Machinery

0362-1340
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A practical unification of multi-stage programming and macros

2020 ◽  
Vol 53 (9) ◽  
pp. 14-27
Author(s):  
Nicolas Stucki ◽  
Aggelos Biboudis ◽  
Martin Odersky
Keyword(s):  
Multi Stage

Explaining spreadsheets with spreadsheets (short paper)

2020 ◽  
Vol 53 (9) ◽  
pp. 161-167
Author(s):  
Jácome Cunha ◽  
Mihai Dan ◽  
Martin Erwig ◽  
Danila Fedorin ◽  
Alex Grejuc
Keyword(s):  
Short Paper

scholarly journals Verification of high-level transformations with inductive refinement types

2020 ◽  
Vol 53 (9) ◽  
pp. 147-160
Author(s):  
Ahmad Salim Al-Sibahi ◽  
Thomas P. Jensen ◽  
Aleksandar S. Dimovski ◽  
Andrzej Wąsowski
Keyword(s):  
Refinement Types ◽  
High Level

Inferring ownership domains from refinements

2020 ◽  
Vol 53 (9) ◽  
pp. 53-65
Author(s):  
Ebrahim Khalaj ◽  
Marwan Abi-Antoun

Measuring effectiveness of sample-based product-line testing

2020 ◽  
Vol 53 (9) ◽  
pp. 119-133
Author(s):  
Sebastian Ruland ◽  
Lars Luthmann ◽  
Johannes Bürdek ◽  
Sascha Lity ◽  
Thomas Thüm ◽  
...  
Keyword(s):  
Product Line

Pattern matching in an open world

2020 ◽  
Vol 53 (9) ◽  
pp. 134-146
Author(s):  
Weixin Zhang ◽  
Bruno C. d. S. Oliveira
Keyword(s):  
Pattern Matching ◽  
Open World

scholarly journals Meta-programming for cross-domain tensor optimizations

2020 ◽  
Vol 53 (9) ◽  
pp. 79-92
Author(s):  
Adilla Susungi ◽  
Norman A. Rink ◽  
Albert Cohen ◽  
Jeronimo Castrillon ◽  
Claude Tadonki
Keyword(s):  
Cross Domain ◽  
Meta Programming

Model-based security analysis of feature-oriented software product lines

2020 ◽  
Vol 53 (9) ◽  
pp. 93-106
Author(s):  
Sven Peldszus ◽  
Daniel Strüber ◽  
Jan Jürjens
Keyword(s):  
Security Analysis ◽  
Software Product Lines ◽  
Product Lines ◽  
Model Based ◽  
Software Product

Exploring feature interactions without specifications: a controlled experiment

2020 ◽  
Vol 53 (9) ◽  
pp. 40-52
Author(s):  
Larissa Rocha Soares ◽  
Jens Meinicke ◽  
Sarah Nadi ◽  
Christian Kästner ◽  
Eduardo Santana de Almeida
Keyword(s):  
Controlled Experiment ◽  
Feature Interactions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document