共 50 条
- [31] A DECLARATIVE LANGUAGE FOR THE CONFIGURATION OF EXCHANGES TELECOMMUNICATION JOURNAL, 1989, 56 (01): : 33 - 38
- [32] Declarative Specification of Bidirectional Transformations Using Design Patterns IEEE ACCESS, 2019, 7 : 5222 - 5249
- [33] Insider Attack Identification and Prevention Using a Declarative Approach 2014 IEEE SECURITY AND PRIVACY WORKSHOPS (SPW 2014), 2014, : 265 - 276
- [34] Design and implementation of 8(1/2): A declarative data-parallel language COMPUTER LANGUAGES, 1996, 22 (2-3): : 165 - 179
- [35] Exploring the Modeling of Declarative Processes Using a Hybrid Approach CONCEPTUAL MODELING, ER 2019, 2019, 11788 : 162 - 170
- [36] SATLM: Satisfiability-Aided Language Models Using Declarative Prompting ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
- [37] Declarative Approach to DSS Design for Supervisory Control of Production Orders Portfolio 2016 7TH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFOCOMMUNICATIONS (COGINFOCOM), 2016, : 385 - 390
- [38] Using of the language factor in modern conflicts of various levels EDUWEB-REVISTA DE TECNOLOGIA DE INFORMACION Y COMUNICACION EN EDUCACION, 2022, 16 (03): : 177 - 189
- [39] RUL: A declarative update language for RDF SEMANTIC WEB - ISWC 2005, PROCEEDINGS, 2005, 3729 : 506 - 521
- [40] A declarative language for the Coq proof assistant TYPES FOR PROOFS AND PROGRAMS, 2008, 4941 : 69 - 84