Objects in Polynomial Time
Abstract elided by the publisher.
Related papers
- A General Noninterference Policy for Polynomial Time POPL 2023
- Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy APLAS 2011
- Inferring Program Specifications in Polynomial-Time SAS 1996
- Finiteness Analysis in Polynomial Time SAS 2002
- Optimal Register Allocation in Polynomial Time CC 2013
- Program Termination Analysis in Polynomial Time GPCE 2002
- Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time SAS 1995
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation CAV 1996