Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Eli Barzilay

From Stack Traces to Lazy Rewriting Sequences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Related publications

Lazy Rewriting on Eager Machinery

ACM Transactions on Programming Languages and Systems
Software
2000English

Adding Traces to a Lazy Monadic Evaluator

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

BECLoMA: Augmenting Stack Traces With User Review Information

2018English

Poems: From Translating to Rewriting

Theory and Practice in Language Studies
2019English

Hardware Synthesis From Term Rewriting Systems

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

FROM POWER TO CULTURAL LANDSCAPES: Rewriting History of Shi‘ah in Aceh

Journal of Indonesian Islam
Religious StudiesCultural StudiesHistory
2017English

Lazy Arithmetic

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1997English

Practical Typed Lazy Contracts

ACM SIGPLAN Notices
Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy