| 9880860 |
Automatic return to synchronization context for asynchronous computations |
Donald Syme, Lucas J. Hoban, Dmitry Lomov |
2018-01-30 |
| 9417931 |
Unified metadata for external components |
Raja Krishnaswamy, Shrikrishna V. Borde, Michael Shneerson, Samuel Ng |
2016-08-16 |
| 9411568 |
Asynchronous workflows |
Donald Syme, Luke Hoban, Dmitry Lomov |
2016-08-09 |
| 9170787 |
Componentization of compiler functionality |
Avner Y. Aharoni, Henricus Johannes Maria Meijer, Amanda Silver, Paul A. Vick, Scott Daniel Wisniewski |
2015-10-27 |
| 8813027 |
Static type checking against external data sources |
Jomo Fisher, Donald Syme, Lucas J. Hoban |
2014-08-19 |
| 8776010 |
Data type provider for a data store |
Jomo Fisher, Luke Hoban, Matteo Taveggia, Donald Syme |
2014-07-08 |
| 8479178 |
Compiler in a managed application context |
Avner Y. Aharoni, Henricus Johannes Maria Meijer, Amanda Silver, Scott Daniel Wisniewski, Kevin Halverson +3 more |
2013-07-02 |
| 8347266 |
Declarative object identity |
Henricus Johannes Maria Meijer, Amanda Silver, Paul A. Vick, Harish Kantamneni |
2013-01-01 |
| 8239842 |
Implicit line continuation |
Avner Y. Aharoni, David N. Schach, Paul A. Vick, Lisa Feigenbaum, Sophia Salim +3 more |
2012-08-07 |
| 8201155 |
Handling multiple definition of types |
Avner Y. Aharoni, Samuel Ng, Michael Shneerson, Edward T. Maurer, Raja Krishnaswamy +2 more |
2012-06-12 |
| 7331047 |
Deterministic system and method for implementing software distributed between a desktop and a remote device |
George H. Chu |
2008-02-12 |
