A Concept for Orchestration of Microservices
US-2024281220-A2 · Aug 22, 2024 · US
Type system for declarative data scripting language
US8949784B2 · US · B2
| Field | Value |
|---|---|
| Publication number | US-8949784-B2 |
| Application number | US-24498108-A |
| Country | US |
| Kind code | B2 |
| Filing date | Oct 3, 2008 |
| Priority date | Oct 3, 2008 |
| Publication date | Feb 3, 2015 |
| Grant date | Feb 3, 2015 |
How to read this patent
A practical reading order for non-experts. Skip the full description unless you need deep technical detail.
- Title
What the patent document calls the invention.
- Abstract
A short plain-language summary of the technical disclosure.
- Assignees and inventors
Who owns or filed the patent and who is credited as inventor.
- Key dates
Filing, priority, publication, and grant dates set the timeline.
- First independent claim
The legal scope of protection — read this for what is actually claimed.
- CPC / IPC classifications
Technology tags used to group this patent with similar filings.
- Citations and related patents
Prior art links and similar publications in this corpus.
Abstract
Official abstract text for this publication.
An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.
First claim
Opening claim text (preview).
What is claimed is: 1. A method for defining declarative code according to a declarative programming model comprising a type system supporting type refinement and type membership, including: receiving a specification of at least one programming construct of a declarative programming language including receiving a specification of a type refinement construct that defines at least one type by specifying values for which a Boolean expression is true, and receiving, within a first exp…
Assignees
Inventors
Classifications
Patent family
Related publications grouped by family.
External sources
Next steps
Free tools are coming soon. Tell us what you want to track and we'll notify you.
Frequently asked questions
Answers are generated from the same data shown on this page.
- What does patent US8949784B2 cover?
- An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type syste…
- Who is the assignee on this patent?
- Langworthy David E, Bierman Gavin, Gordon Andrew D, and 5 more
- What technology area does this patent fall under?
- Primary CPC classification G06F8/10. Mapped technology areas include Physics.
- When was this patent published?
- Publication date Tue Feb 03 2015 00:00:00 GMT+0000 (Coordinated Universal Time) (B2). Legal status and post-grant events are not shown on this page.
- What related patents are in patentsdb?
- We list 8 related publications on this page (citations in our corpus or others sharing the same primary CPC).