Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Thomas Reps

Newtonian Program Analysis via Tensor Product

ACM SIGPLAN Notices
Computer Science
2016English

Directed Proof Generation for Machine Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Recovery of Class Hierarchies and Composition Relationships From Machine Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Newtonian Program Analysis via Tensor Product

ACM Transactions on Programming Languages and Systems
Software
2017English

Non-Linear Reasoning for Invariant Synthesis

Proceedings of the ACM on Programming Languages
2018English

Newtonian Program Analysis via Tensor Product

2016English

Incremental Evaluation for Attribute Grammars With Unrestricted Movement Between Tree Modifications

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
1988English

Semantics-Based Program Integration

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1988English

Verifying Temporal Heap Properties Specified via Evolution Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Improving Pushdown System Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy