首页> 外文OA文献 >Guarantees and requirements : implementation and complexity analysis of a new model of types for declarative visual programming languages

【2h】

Guarantees and requirements : implementation and complexity analysis of a new model of types for declarative visual programming languages

机译：保证和要求：声明性视觉编程语言的新类型模型的实现和复杂性分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Graduation date: 2000

机译：毕业日期：2000

著录项

作者

展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 PDF
正文语种 {"code":"en","name":"English","id":9}
中图分类

相似文献

外文文献
中文文献
专利

1. Program Analysis to Support Concurrent Programming in Declarative Languages [J] . Romain Demeyer LIPIcs : Leibniz International Proceedings in Informatics . 2010,第2期

机译：程序分析以支持声明性语言的并发编程
2. Program Analysis to Support Concurrent Programming in Declarative Languages [J] . Romain Demeyer LIPIcs : Leibniz International Proceedings in Informatics . 2010,第1期

机译：程序分析以支持声明性语言的并发编程
3. PRISM revisited: Declarative implementation of a probabilistic programming language using multi-prompt delimited control [J] . Abdallah Samer 高分子論文集 . 2018,第DECa期

机译：重访PRISM：使用多提示分隔控制以声明方式实现概率编程语言
4. Implementing level 4 liveness in declarative visual programming languages [C] . Burnett, M.M., Atwood, . 1998

机译：在声明性视觉编程语言中实现4级生动度
5. Complexity aspects of programming language design: From logspace to elementary time via proofnets and intersection types. [D] . Moller Neergaard, Peter. 2004

机译：编程语言设计的复杂性方面：通过证明网和交集类型，从日志空间到基本时间。
6. Dynamical and Mechanistic Reconstructive Approaches of T Lymphocyte Dynamics: Using Visual Modeling Languages to Bridge the Gap between Immunologists Theoreticians and Programmers [O] . Véronique Thomas-Vaslin, Adrien Six, Jean-Gabriel Ganascia, 2013

机译：T淋巴细胞动力学的动力学和机械重建方法：使用视觉建模语言弥合免疫学家理论学家和程序员之间的差距
7. Implementing Level 4 Liveness in Declarative Visual Programming Languages [O] . Margaret Burnett, John W. Atwood, Zachary T. Welch 1998

机译：在声明式视觉编程语言中实现4级生动度
8. Classification Scheme for Declarative Programming Languages: Syntax, Semanticsand Operational Models [R] . Guo, Y. K., Lock, H. C. R. 1990

机译：声明性编程语言的分类方案：语法，语义和操作模型

Guarantees and requirements : implementation and complexity analysis of a new model of types for declarative visual programming languages

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅