WO2005089338A3 - Declarative computer programming language method and system - Google Patents
Declarative computer programming language method and system Download PDFInfo
- Publication number
- WO2005089338A3 WO2005089338A3 PCT/US2005/008646 US2005008646W WO2005089338A3 WO 2005089338 A3 WO2005089338 A3 WO 2005089338A3 US 2005008646 W US2005008646 W US 2005008646W WO 2005089338 A3 WO2005089338 A3 WO 2005089338A3
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- declarative
- lattice
- programming language
- data
- lattices
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/31—Programming languages or programming paradigms
- G06F8/315—Object-oriented languages
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
- G06F9/4488—Object-oriented
- G06F9/4492—Inheritance
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computing Systems (AREA)
- Stored Programmes (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
EP05727828A EP1738271A4 (en) | 2004-03-15 | 2005-03-15 | Declarative computer programming language method and system |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US55360904P | 2004-03-15 | 2004-03-15 | |
US60/553,609 | 2004-03-15 |
Publications (2)
Publication Number | Publication Date |
---|---|
WO2005089338A2 WO2005089338A2 (en) | 2005-09-29 |
WO2005089338A3 true WO2005089338A3 (en) | 2006-04-27 |
Family
ID=34994275
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/US2005/008646 WO2005089338A2 (en) | 2004-03-15 | 2005-03-15 | Declarative computer programming language method and system |
Country Status (3)
Country | Link |
---|---|
US (1) | US7836428B2 (en) |
EP (1) | EP1738271A4 (en) |
WO (1) | WO2005089338A2 (en) |
Families Citing this family (26)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20080046750A1 (en) * | 2006-08-18 | 2008-02-21 | Associated Network Solutions Plc | Authentication method |
US8146085B2 (en) * | 2007-06-25 | 2012-03-27 | Microsoft Corporation | Concurrent exception handling using an aggregated exception structure |
US7861072B2 (en) * | 2007-06-25 | 2010-12-28 | Microsoft Corporation | Throwing one selected representative exception among aggregated multiple exceptions of same root cause received from concurrent tasks and discarding the rest |
US20100191632A1 (en) * | 2007-12-04 | 2010-07-29 | Hogan Apollo | Valuation of contingent financial claims using declarative programming techniques |
US8341598B2 (en) * | 2008-01-18 | 2012-12-25 | Microsoft Corporation | Declartive commands using workflows |
US8181155B2 (en) | 2008-02-29 | 2012-05-15 | Microsoft Corporation | Unified expression and location framework |
US9164737B2 (en) * | 2008-05-16 | 2015-10-20 | Microsoft Technology Licensing, Llc | Augmenting programming languages with a type system |
US8949784B2 (en) * | 2008-10-03 | 2015-02-03 | Microsoft Technology Licensing, Llc | Type system for declarative data scripting language |
US8805887B2 (en) * | 2008-10-03 | 2014-08-12 | Microsoft Corporation | Packaging system to facilitate declarative model-driven development |
US8321833B2 (en) * | 2008-10-03 | 2012-11-27 | Microsoft Corporation | Compact syntax for data scripting language |
US8473897B2 (en) * | 2008-10-03 | 2013-06-25 | Microsoft Corporation | Common intermediate representation for data scripting language |
US8775150B1 (en) * | 2009-12-17 | 2014-07-08 | Cadence Design Systems, Inc. | Method and system for providing an implicit unknown value to user enum data constructs in an HDL system to model power shutoff in simulation |
US20120173855A1 (en) * | 2010-12-31 | 2012-07-05 | Zebra Imaging, Inc. | Exception Transporting and Handling of Concurrent Exceptions |
US9165029B2 (en) | 2011-04-12 | 2015-10-20 | Microsoft Technology Licensing, Llc | Navigating performance data from different subsystems |
US9229770B2 (en) * | 2011-09-16 | 2016-01-05 | Skype | Invoking timed iterator for executing tasks within timeout constraint without spawning new thread |
US20130110879A1 (en) * | 2011-10-28 | 2013-05-02 | Microsoft Corporation | Declarative support for reference data in relational databases |
US8954475B2 (en) * | 2011-11-10 | 2015-02-10 | Microsoft Technology Licensing, Llc | Deep cloning of objects using binary format |
US9069897B2 (en) | 2011-11-23 | 2015-06-30 | Microsoft Technology Licensing, Llc | Capturing telemetry data by dynamic language engine |
US8949785B2 (en) * | 2011-12-15 | 2015-02-03 | Microsoft Corporation | Custom compound types in declarative programs |
US9116716B2 (en) | 2012-06-24 | 2015-08-25 | Veerai Bharatia | Systems and methods for declarative applications |
US9710234B2 (en) * | 2013-12-26 | 2017-07-18 | International Business Machines Corporation | Generating software code |
US9038037B1 (en) * | 2014-07-22 | 2015-05-19 | Ted J. Biggerstaff | Automatically solving simultaneous type equations for type difference transformations that redesign code |
US9952953B2 (en) | 2015-11-02 | 2018-04-24 | Microsoft Technology Licensing Llc | Non-monotonic eventual convergence for desired state configuration |
US10698571B2 (en) * | 2016-12-29 | 2020-06-30 | Microsoft Technology Licensing, Llc | Behavior feature use in programming by example |
US11487514B2 (en) * | 2017-09-28 | 2022-11-01 | Oracle International Corporation | State management persistence |
US10901707B2 (en) * | 2018-09-21 | 2021-01-26 | Salesforce.Com, Inc. | Declarative container components for builders |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5864862A (en) * | 1996-09-30 | 1999-01-26 | Telefonaktiebolaget Lm Ericsson (Publ) | System and method for creating reusable components in an object-oriented programming environment |
US6049673A (en) * | 1996-03-08 | 2000-04-11 | Organicnet, Inc. | Organicware applications for computer systems |
US6145120A (en) * | 1998-03-24 | 2000-11-07 | Lockheed Martin Corporation | Declaration programming language extension for procedural programming languages |
US6182277B1 (en) * | 1998-04-15 | 2001-01-30 | Oracle Corporation | Methods and apparatus for declarative programming techniques in an object oriented environment |
US6370681B1 (en) * | 1996-03-19 | 2002-04-09 | Massachusetts Institute Of Technology | Computer system and computer implemented process for representing software system descriptions and for generating executable computer programs and computer system configurations from software system descriptions |
Family Cites Families (41)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0602263A1 (en) * | 1992-12-15 | 1994-06-22 | International Business Machines Corporation | User interface program generator |
US5628016A (en) * | 1994-06-15 | 1997-05-06 | Borland International, Inc. | Systems and methods and implementing exception handling using exception registration records stored in stack memory |
US5872973A (en) * | 1995-10-26 | 1999-02-16 | Viewsoft, Inc. | Method for managing dynamic relations between objects in dynamic object-oriented languages |
WO1997019415A2 (en) * | 1995-11-07 | 1997-05-29 | Cadis, Inc. | Search engine for remote object oriented database management system |
US6434598B1 (en) * | 1996-07-01 | 2002-08-13 | Sun Microsystems, Inc. | Object-oriented system, method and article of manufacture for a client-server graphical user interface (#9) framework in an interprise computing framework system |
US5944823A (en) * | 1996-10-21 | 1999-08-31 | International Business Machines Corporations | Outside access to computer resources through a firewall |
US5978834A (en) * | 1997-09-30 | 1999-11-02 | The United States Of America As Represented By The Secretary Of The Navy | Platform independent computer interface software responsive to scripted commands |
US6043815A (en) * | 1997-09-30 | 2000-03-28 | The United States Of America As Represented By The Secretary Of The Navy | Method for using guiscript and providing a universal client device |
US6005568A (en) * | 1997-09-30 | 1999-12-21 | The United States Of America As Represented By The Secretary Of The Navy | Computer system providing platform independent universal client device |
US6836885B1 (en) * | 1998-09-21 | 2004-12-28 | Wyse Technology Inc. | Method and apparatus for display of windowing application programs on a terminal |
US6377973B2 (en) * | 1998-09-30 | 2002-04-23 | Emrys Technologies, Ltd. | Event management in a system with application and graphical user interface processing adapted to display predefined graphical elements resides separately on server and client machine |
US6847987B2 (en) * | 1998-09-30 | 2005-01-25 | International Business Machines Corporation | System and method for extending client-server software to additional client platforms for servicing thin clients requests |
US7152070B1 (en) * | 1999-01-08 | 2006-12-19 | The Regents Of The University Of California | System and method for integrating and accessing multiple data sources within a data warehouse architecture |
US6424948B1 (en) * | 1999-02-19 | 2002-07-23 | Guozhu Dong | Declarative workflow system supporting side-effects |
US6331855B1 (en) * | 1999-04-28 | 2001-12-18 | Expertcity.Com, Inc. | Method and apparatus for providing remote access, control of remote systems and updating of display information |
US6031747A (en) * | 1999-08-02 | 2000-02-29 | Lockheed Martin Missiles & Space Company | Interleaved synchronous flyback converter with high efficiency over a wide operating load range |
US6880126B1 (en) * | 1999-08-03 | 2005-04-12 | International Business Machines Corporation | Controlling presentation of a GUI, using view controllers created by an application mediator, by identifying a destination to access a target to retrieve data |
US6640249B1 (en) * | 1999-08-31 | 2003-10-28 | Accenture Llp | Presentation services patterns in a netcentric environment |
US6356933B2 (en) * | 1999-09-07 | 2002-03-12 | Citrix Systems, Inc. | Methods and apparatus for efficiently transmitting interactive application data between a client and a server using markup language |
US6897833B1 (en) * | 1999-09-10 | 2005-05-24 | Hewlett-Packard Development Company, L.P. | Portable user interface |
US6687745B1 (en) * | 1999-09-14 | 2004-02-03 | Droplet, Inc | System and method for delivering a graphical user interface of remote applications over a thin bandwidth connection |
US6779177B1 (en) * | 1999-10-28 | 2004-08-17 | International Business Machines Corporation | Mechanism for cross channel multi-server multi-protocol multi-data model thin clients |
US6654784B1 (en) * | 2000-01-14 | 2003-11-25 | Nexaweb Technologies, Inc | Computing architecture |
US7111060B2 (en) * | 2000-03-14 | 2006-09-19 | Aep Networks, Inc. | Apparatus and accompanying methods for providing, through a centralized server site, a secure, cost-effective, web-enabled, integrated virtual office environment remotely accessible through a network-connected web browser |
US6981041B2 (en) * | 2000-04-13 | 2005-12-27 | Aep Networks, Inc. | Apparatus and accompanying methods for providing, through a centralized server site, an integrated virtual office environment, remotely accessible via a network-connected web browser, with remote network monitoring and management capabilities |
WO2001095107A2 (en) * | 2000-06-09 | 2001-12-13 | The Trustees Of Columbia University In The City Of New York | Distributed computer system using a graphical user interface toolkit |
AUPQ808700A0 (en) * | 2000-06-09 | 2000-07-06 | Honeywell Limited | Human-machine interface |
US6795851B1 (en) * | 2000-06-19 | 2004-09-21 | Path Communications Inc. | Web-based client/server communication channel with automated client-side channel endpoint feature detection and selection |
US6766333B1 (en) * | 2000-11-08 | 2004-07-20 | Citrix Systems, Inc. | Method and apparatus for synchronizing a user interface element displayed on a client and a software application component executing on a web server |
US6925631B2 (en) * | 2000-12-08 | 2005-08-02 | Hewlett-Packard Development Company, L.P. | Method, computer system and computer program product for processing extensible markup language streams |
US6886046B2 (en) * | 2001-06-26 | 2005-04-26 | Citrix Systems, Inc. | Methods and apparatus for extendible information aggregation and presentation |
US20030046587A1 (en) * | 2001-09-05 | 2003-03-06 | Satyam Bheemarasetti | Secure remote access using enterprise peer networks |
US6901595B2 (en) * | 2001-09-29 | 2005-05-31 | Siebel Systems, Inc. | Method, apparatus, and system for implementing a framework to support a web-based application |
US20030182363A1 (en) * | 2002-03-25 | 2003-09-25 | James Clough | Providing private network local resource access to a logically remote device |
US6806825B2 (en) * | 2002-05-09 | 2004-10-19 | Lockheed Martin Corporation | Thin client radar and multimedia networking |
US7313618B2 (en) * | 2002-10-31 | 2007-12-25 | Sap Aktiengesellschaft | Network architecture using firewalls |
AU2003295762A1 (en) * | 2002-11-19 | 2004-06-15 | Nexaweb Technologies, Inc. | System and method for stateful web-based computing |
US20050060687A1 (en) * | 2003-09-15 | 2005-03-17 | Ghazaleh David Abu | Method and apparatus for documenting and describing object oriented programming logic |
US7571391B2 (en) * | 2003-10-17 | 2009-08-04 | Sap Ag | Selective rendering of user interface of computer program |
US7448022B1 (en) * | 2004-02-10 | 2008-11-04 | Prasad Ram | Dynamic software composition in a component-based software system |
US20050204340A1 (en) * | 2004-03-10 | 2005-09-15 | Ruminer Michael D. | Attribute-based automated business rule identifier and methods of implementing same |
-
2005
- 2005-03-15 WO PCT/US2005/008646 patent/WO2005089338A2/en active Application Filing
- 2005-03-15 EP EP05727828A patent/EP1738271A4/en not_active Withdrawn
- 2005-03-15 US US11/082,204 patent/US7836428B2/en active Active - Reinstated
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6049673A (en) * | 1996-03-08 | 2000-04-11 | Organicnet, Inc. | Organicware applications for computer systems |
US6370681B1 (en) * | 1996-03-19 | 2002-04-09 | Massachusetts Institute Of Technology | Computer system and computer implemented process for representing software system descriptions and for generating executable computer programs and computer system configurations from software system descriptions |
US5864862A (en) * | 1996-09-30 | 1999-01-26 | Telefonaktiebolaget Lm Ericsson (Publ) | System and method for creating reusable components in an object-oriented programming environment |
US6145120A (en) * | 1998-03-24 | 2000-11-07 | Lockheed Martin Corporation | Declaration programming language extension for procedural programming languages |
US6182277B1 (en) * | 1998-04-15 | 2001-01-30 | Oracle Corporation | Methods and apparatus for declarative programming techniques in an object oriented environment |
Non-Patent Citations (1)
Title |
---|
See also references of EP1738271A4 * |
Also Published As
Publication number | Publication date |
---|---|
US20050203958A1 (en) | 2005-09-15 |
US7836428B2 (en) | 2010-11-16 |
WO2005089338A2 (en) | 2005-09-29 |
EP1738271A4 (en) | 2008-12-03 |
EP1738271A2 (en) | 2007-01-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
WO2005089338A3 (en) | Declarative computer programming language method and system | |
WO2008133699A3 (en) | Geospatial modeling system providing non-linear inpainting for voids in geospatial model frequency domain data and related methods | |
WO2008091372A3 (en) | Geospatial modeling system providing non-linear inpainting for voids in geospatial model terrain data and related methods | |
GB2468812A (en) | Optimizing drilling operations using petrotechnical data | |
WO2007120360A3 (en) | Information management system | |
WO2008024161A3 (en) | Integrated circuity, electromagnetic radiation interaction components, transistor devices and semiconductor constructions; and methoda of forming these | |
WO2008045199A3 (en) | Method and system for allowing access to developed applications via a multi-tenant on-demand database service | |
ZA200303345B (en) | System and method for associating properties with objects. | |
SG116578A1 (en) | Blended object attribute keyframing model. | |
TWI350459B (en) | Computerized system, method and program product for managing an enterprise storage system | |
EP1899812A4 (en) | System and method for automatically executing corresponding operations on multiple maps, windows, documents, and/or databases | |
WO2007022352A3 (en) | Method and system for integrated asset management utilizing multi-level modeling of oil field assets | |
WO2006107508A3 (en) | System, method and computer program product for updating security criteria in wireless networks | |
WO2005084240A3 (en) | Method and system for providing links to resources related to a specified resource | |
WO2003075196A3 (en) | Expertise modelling | |
GB0617073D0 (en) | System and method for automatically updating business informaion reports | |
WO2005010690A3 (en) | Design for manufacturability | |
AU2003262015A1 (en) | Requirement defining method, method for developing software, method for changing requirement word, and newly defining method | |
EP1955264A4 (en) | System and method for real-time healthcare business decision support through intelligent data aggregation and data modeling | |
GB0410288D0 (en) | Continually versioned,editioned and audited database | |
MXPA05003055A (en) | Macromolecular compounds with a core-shell structure. | |
WO2006098763A3 (en) | Intelligent memory interface | |
WO2006135810A3 (en) | Method and system for designing multilevel halftone screens using spot functions | |
MY148371A (en) | Treated expanded polystyrene foam | |
AU2003279547A1 (en) | Method, system and computer program for managing usage of digital contents. |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
AK | Designated states |
Kind code of ref document: A2 Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BW BY BZ CA CH CN CO CR CU CZ DE DK DM DZ EC EE EG ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NA NI NO NZ OM PG PH PL PT RO RU SC SD SE SG SK SL SM SY TJ TM TN TR TT TZ UA UG US UZ VC VN YU ZA ZM ZW |
|
AL | Designated countries for regional patents |
Kind code of ref document: A2 Designated state(s): BW GH GM KE LS MW MZ NA SD SL SZ TZ UG ZM ZW AM AZ BY KG KZ MD RU TJ TM AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HU IE IS IT LT LU MC NL PL PT RO SE SI SK TR BF BJ CF CG CI CM GA GN GQ GW ML MR NE SN TD TG |
|
NENP | Non-entry into the national phase |
Ref country code: DE |
|
WWW | Wipo information: withdrawn in national office |
Ref document number: DE |
|
WWE | Wipo information: entry into national phase |
Ref document number: 5615/DELNP/2006 Country of ref document: IN |
|
WWE | Wipo information: entry into national phase |
Ref document number: 2005727828 Country of ref document: EP |
|
WWP | Wipo information: published in national office |
Ref document number: 2005727828 Country of ref document: EP |