Login / Signup
Richard Tantius
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Logic Programs
Update Propagation
Stable Models
Replicated Data
Top Venues
CoRR
</>
Publications
</>
Richard Tantius
,
Daniel Speicher
,
Andreas Behrend
Towards an Application of Update Propagation on Logic Programs Representing Java Source Code
CoRR
(2013)