External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Unifying execution of imperative generators and declarative specifications

Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric. Unifying execution of imperative generators and declarative specifications. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]

Authors

Pengyu Nie

This author has not been identified. Look up 'Pengyu Nie' in Google

Marinela Parovic

This author has not been identified. Look up 'Marinela Parovic' in Google

Zhiqiang Zang

This author has not been identified. Look up 'Zhiqiang Zang' in Google

Sarfraz Khurshid

This author has not been identified. Look up 'Sarfraz Khurshid' in Google

Aleksandar Milicevic

This author has not been identified. Look up 'Aleksandar Milicevic' in Google

Milos Gligoric

This author has not been identified. Look up 'Milos Gligoric' in Google
runs on