共 50 条
- [11] Supervision of Constraint-Based Processes: A Declarative Perspective ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, 2013, 8186 : 134 - 143
- [12] Proving Operational Termination of Declarative Programs in General Logics PPDP'14: PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2014, : 111 - 122
- [13] CM2 AS AN ACTIVE MEMORY TO IMPLEMENT DECLARATIVE LANGUAGES JOURNAL OF PROGRAMMING LANGUAGES, 1993, 1 (02): : 127 - 142
- [14] Functional declarative language design and predicate calculus: A practical approach ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2005, 27 (05): : 988 - 1047
- [15] Collage: A Declarative Programming Model for Compositional Development of Web Applications HUMAN-COMPUTER INTERACTION, PT I, 2009, 5610 : 856 - 865
- [18] Big Data Dimensional Analysis 2014 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2014,