( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Core Calculus for Provenance.

, , , и . POST, том 7215 из Lecture Notes in Computer Science, стр. 410-429. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Arshan Perera

Sarah Perera

Roland Perera

Nadine Perera

Frank Perera

 

Другие публикации лиц с тем же именем

Effects and Effect Handlers for Programmable Inference., , , и . CoRR, (2023)Beyond the language workbench: a runtime platform for practical semantic computing., и . OOPSLA Companion, стр. 96-97. ACM, (2005)A core calculus for provenance., , , и . J. Comput. Secur., 21 (6): 919-969 (2013)Toward a Theory of Self-explaining Computation., , и . In Search of Elegance in the Theory and Practice of Computation, том 8000 из Lecture Notes in Computer Science, стр. 193-216. Springer, (2013)The meaning of a program change is a change to the program's meaning.. CoRR, (2019)First-Order Interactive Programming.. PADL, том 5937 из Lecture Notes in Computer Science, стр. 186-200. Springer, (2010)A delta-driven execution model for semantic computing., и . OOPSLA Companion, стр. 202-204. ACM, (2005)Programming Languages For Interactive Computing.. FInCo@ETAPS, том 203 из Electronic Notes in Theoretical Computer Science, стр. 35-52. Elsevier, (2007)A Core Calculus for Provenance., , , и . POST, том 7215 из Lecture Notes in Computer Science, стр. 410-429. Springer, (2012)muPuppet: A Declarative Subset of the Puppet Configuration Language., , , и . ECOOP, том 74 из LIPIcs, стр. 12:1-12:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)