A DECLARATIVE LANGUAGE - SNARK

被引：0
作者：
LAURIERE, JL
机构：
[1] CNRS,GRP RECH CLAUDE FRANCOIS PICARD,F-75005 PARIS,FRANCE
[2] INST PROGRAMMAT,F-75230 PARIS 5,FRANCE
来源：
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES | 1986年 / 5卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：141 / 172
页数：32
相关论文
共 50 条
[31]   Declarative neural network description language [J].
Korb, Thomas, 1600, (27) :1-5
[32]   A Formal Translation From an Imperative Language With Array to a Declarative Language [J].
Godbout, D. ;
Ktari, B. ;
Mejri, M. .
NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2006, 147 :319-339
[33]   For the snark was ... [J].
Woodfield, James .
NEW SCIENTIST, 2007, 195 (2618) :23-23
[34]   The role of declarative and procedural memory in disorders of language [J].
Ullman, Michael T. .
LINGUISTIC VARIATION, 2013, 13 (02) :133-154
[35]   DIVA: A Declarative and Reactive Language for in situ Visualization [J].
Wu, Qi ;
Neuroth, Tyson ;
Igouchkine, Oleg ;
Aditya, Konduri ;
Chen, Jacqueline H. ;
Ma, Kwan-Liu .
2020 IEEE 10TH SYMPOSIUM ON LARGE DATA ANALYSIS AND VISUALIZATION (LDAV), 2020, :1-11
[36]   AMSDL: a Declarative Language for Adaptive Monitoring Control [J].
Aouadj, Messaoud ;
Desprats, Thierry ;
Lavinal, Emmanuel ;
Sibilla, Michelle .
PROCEEDINGS OF THE 2015 IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM), 2015, :850-853
[37]   A Declarative Language for Dynamic Multimedia Interaction Systems [J].
Olarte, Carlos ;
Rueda, Camilo .
MATHEMATICS AND COMPUTATION IN MUSIC, 2009, 38 :218-+
[38]   ArgQL: A Declarative Language for Querying Argumentative Dialogues [J].
Zografistou, Dimitra ;
Flouris, Giorgos ;
Plexousakis, Dimitris .
RULES AND REASONING, 2017, 10364 :230-237
[39]   Towards a "More Declarative" XML Query Language [J].
Li, Xuhui ;
Liu, Mengchi ;
Zhang, Yongfa .
DATABASE AND EXPERT SYSTEMS APPLICATIONS, PT 2, 2010, 6262 :375-+
[40]   A simple declarative language for describing narratives with actions [J].
Kakas, A ;
Miller, R .
JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3) :157-200
12345