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 条
[21]   Declarative priority in a concurrent logic language ON [J].
Hirata, K ;
Yamazaki, K .
LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, :215-229
[22]   A Language to Specify Declarative Business Rules [J].
Wedemeijer, Lex .
BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2014, 2015, 220 :82-101
[23]   Declarative Language Extensions for Prolog Courses [J].
Neumerkel, Ulrich ;
Triska, Markus ;
Wielemaker, Jan .
FDPE'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN WORKSHOP ON FUNCTIONAL AND DECLARATIVE PROGRAMMING IN EDUCATION, 2008, :73-77
[24]   Declarative pruning in a functional query language [J].
Osorio, M ;
Jayaraman, B ;
Nieves, JC .
LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, :588-602
[25]   A Declarative Language Approach to Device Configuration [J].
Schuepbach, Adrian ;
Baumann, Andrew ;
Roscoe, Timothy ;
Peter, Simon .
ACM SIGPLAN NOTICES, 2011, 46 (03) :119-131
[26]   A DECLARATIVE NEURAL NETWORK DESCRIPTION LANGUAGE [J].
KORB, T ;
ZELL, A .
MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5) :181-188
[27]   Declarative Language Design for Interactive Visualization [J].
Heer, Jeffrey ;
Bostock, Michael .
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2010, 16 (06) :1149-1156
[28]   CDOL: A comprehensive declarative object language [J].
Urban, SD ;
Karadimce, AP ;
Dietrich, SW ;
BenAbdellatif, T ;
Chan, HWR .
DATA & KNOWLEDGE ENGINEERING, 1997, 22 (01) :67-111
[29]   Kanor A Declarative Language for Explicit Communication [J].
Holk, Eric ;
Byrd, William E. ;
Willcock, Jeremiah ;
Hoefler, Torsten ;
Chauhan, Arun ;
Lumsdaine, Andrew .
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2011, 6539 :190-+
[30]   MuTACLP:: A language for declarative GIS analysis [J].
Mancarella, P ;
Nerbini, G ;
Raffaetà, A ;
Turini, F .
COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 :1002-1016
12345