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 条
  • [1] SEMANTICS OF A DECLARATIVE LANGUAGE
    MINTS, G
    TYUGU, E
    INFORMATION PROCESSING LETTERS, 1986, 23 (03) : 147 - 151
  • [2] A declarative coordination language
    Ciancarini, P
    Fogli, D
    Gaspari, M
    COMPUTER LANGUAGES, 2000, 26 (2-4): : 125 - 163
  • [3] A Declarative Gradualizer with Language Transformations
    Mourad, Benjamin
    Cimini, Matteo
    PROCEEDINGS OF THE 32ND SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2020, 2020, : 44 - 54
  • [4] A Tactic Language for Declarative Proofs
    Autexier, Serge
    Dietrich, Dominik
    INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 99 - 114
  • [5] Declarative language for behaviour description
    Piller, Imre
    Vincze, Dávid
    Kovács, Szilveszter
    Advances in Intelligent Systems and Computing, 2015, 316
  • [6] A language for declarative robotic programming
    Peterson, J
    Hager, GD
    Hudak, P
    ICRA '99: IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, PROCEEDINGS, 1999, : 1144 - 1151
  • [7] A DECLARATIVE LANGUAGE FOR THE CONFIGURATION OF EXCHANGES
    GROMPONE, JA
    TELECOMMUNICATION JOURNAL, 1989, 56 (01): : 33 - 38
  • [8] Language for declarative robotic programming
    Peterson, John
    Hager, Gregory D.
    Hudak, Paul
    Proceedings - IEEE International Conference on Robotics and Automation, 1999, 2 : 1144 - 1151
  • [9] A Declarative Language Interpreter for CEP
    Halle, Sylvain
    PROCEEDINGS OF THE 2015 IEEE 19TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS AND DEMONSTRATIONS (EDOCW 2015), 2015, : 156 - 159
  • [10] A declarative language for the design of structures
    Cox, PT
    Smedley, TJ
    1997 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1997, : 438 - 445
12345