Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Semantic subtyping for declarative data scripting language by calling a prover

Semantic subtyping for declarative data scripting language by calling a prover

US Patent 8413119 · Granted Apr 2, 2013

Estimated economic value: $14,898,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Hybrid query system for searching unstructured data2025
Responding to task prompt on declarative code using language model2025
System and method for storage of data utilizing a persistent queue2023
Accessing a migrated member in an updated type2023
Provenance aware editing for spreadsheets2023
Accessing a migrated member in an updated type2023
Search and data analysis collaboration system2023
Hybrid structured/unstructured search and query system2023
Spreadsheet with reuse functionality2022
Accessing a migrated member in an updated type2022
Event collector with stateless data ingestion2022
Spectating simulation2021