A declarative tool

被引:0
|
作者
Konopasek, M
机构
关键词
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
引用
收藏
页码:6 / 6
页数:1
相关论文
共 50 条
  • [32] Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics
    Ameloot, Tom J.
    SIGMOD RECORD, 2014, 43 (02) : 5 - 16
  • [33] Declarative networking: Recent theoretical work on coordination, correctness, and declarative semantics
    Ameloot, Tom J., 1600, Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States (43): : 5 - 16
  • [34] Declarative and Non-declarative Memory Consolidation in Children with Sleep Disorder
    Csabi, Eszter
    Benedek, Palma
    Janacsek, Karolina
    Zavecz, Zsofia
    Katona, Gabor
    Nemeth, Dezso
    FRONTIERS IN HUMAN NEUROSCIENCE, 2016, 9
  • [35] A DECLARATIVE LANGUAGE - SNARK
    LAURIERE, JL
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1986, 5 (03): : 141 - 172
  • [36] Declarative Game Programming
    Nilsson, Henrik
    Perez, Ivan
    PPDP'14: PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2014, : 159 - 160
  • [37] On the declarative specification of models
    Spinellis, D
    IEEE SOFTWARE, 2003, 20 (02) : 96 - +
  • [38] Declarative Smart Contracts
    Chen, Haoxian
    Whitters, Gerald
    Amiri, Mohammad Javad
    Wang, Yuepeng
    Loo, Boon Thau
    PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022, 2022, : 281 - 293
  • [39] DECLARATIVE CONTROL ARCHITECTURE
    KOHN, W
    COMMUNICATIONS OF THE ACM, 1991, 34 (08) : 64 - 79
  • [40] A Framework for Declarative Autograders
    Hovemeyer, David
    PROCEEDINGS OF THE 54TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, VOL 2, SIGCSE 2023, 2023, : 1282 - 1282