您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. c++标准程序库 c++标准程序库

  2. C++这个词在中国大陆的程序员圈子中通常被读做“C加加”,而西方的程序员通常读做“C plus plus”,“CPP”。 它是一种使用非常广泛的计算机编程语言。C++是一种静态数据类型检查的,支持多重编程范式的通用程序设计语言。它支持过程化程序设计、数据抽象、面向对象程序设计、制作图标等等泛型程序设计等多种程序设计风格。
  3. 所属分类:C++

  1. C++ - 维基百科,自由的百科全书

  2. C++是一种使用非常广泛的计算机程序设计语言。它是一种静态数据类型检查的,支持多范型的通用程序设计语言。C++支持程序化程序设计、数据抽象化、面向对象程序设计、泛 ...
  3. 所属分类:C++

  1. c++编程思想计算机革命起源于一台机器,程序设计语言也源于一台机器。

  2. 目 录 前言 第1章 对象的演化 1 1.1 基本概念 1 1.1.1 对象:特性+行为 1 1.1.2 继承:类型关系 1 1.1.3 多态性 2 1.1.4 操作概念:OOP程序像什么 3 1.2 为什么C++会成功 3 1.2.1 较好的C 3 1.2.2 采用渐进的学习方式 4 1.2.3 运行效率 4 1.2.4 系统更容易表达和理解 4 1.2.5 “库”使你事半功倍 4 1.2.6 错误处理 5 1.2.7 大程序设计 5 1.3 方法学介绍 5 1.3.1 复杂性 5 1.3.
  3. 所属分类:C

    • 发布日期:2010-07-05
    • 文件大小:261kb
    • 提供者:zhangcan0327
  1. OS/400 CL程序设计文档

  2. OS/400 CL程序设计文档 目录 第一章 介绍 1.1 控制语言 1.2 CL过程 1.3 命令定义 1.4 菜单 1.5 目标和库 1.6 信息 1.7 测试功能 第二章 CL程序设计 2.1 生成一个CL程序 2.2 CL过程中使用的命令 2.3 使用CL过程 2.4 处理变量 2.5 CL过程中的控制处理 2.6 可做变量的值 2.7 处理CL过程 2.8 编译以前版本的源程序 第三章 控制程序和过程间的流程通讯 3.1 CALL命令 3.2 CALL PRC命令 3.3 RETUR
  3. 所属分类:其它

    • 发布日期:2012-01-10
    • 文件大小:399kb
    • 提供者:supperrabbit
  1. 类型和程序设计语言(Types and Programming Languages)

  2.  类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。   要理解类型系统在程序设计语言中发挥的作用,本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度,也注重内容的深度,实用性强。在引入语言的语法对象时先举例,然后给出形式定义及基本证明,在对理论的进一步研究后给出了类型检查算法,
  3. 所属分类:专业指导

    • 发布日期:2012-04-20
    • 文件大小:2mb
    • 提供者:xuanhun
  1. 编写设备驱动程序

  2. 编写设备驱动程序》提供有关为面向字符的设备、面向块的设备、网络设备、SCSI目标和HBA设备以及USB设备开发SolarisolarisOperatingSystem,SolarisOS)驱动程序的信息。本书讨论了如何为符合SolarisOSDDI/DKI(DeviceDriver Interface/Driver-KernelInterface,设备驱动程序接口/驱动程序内核接口)的所有体系结构开发多线程可重入设备驱动程序。介绍了一种常用的驱动程序编写方法,该方法允许在编写驱动程序时忽略特定
  3. 所属分类:Solaris

    • 发布日期:2013-04-02
    • 文件大小:4mb
    • 提供者:zzh921343118
  1. 西方的程序员通常读做“C plus plus”

  2.  C++这个词在中国大陆的程序员圈子中通常被读做“C加加”,而西方的程序员通常读做“C plus plus”,它是一种使用非常广泛的计算机编程语言。C++是一种静态数据类型检查的,支持多重编程范式的通用程序设计语言。它支持过程化程序设计、数据抽象、面向对象程序设计、制作图标等等泛型程序设计等多种程序设计风格。
  3. 所属分类:C

    • 发布日期:2009-03-03
    • 文件大小:2kb
    • 提供者:lzh212894717
  1. ML静态动态类型检查语义分析

  2. 普林斯顿大学作业,ML静态动态类型检查语义分析,该分析先进性静态类型分析,然后基于动态类型,进行运行结果分析。
  3. 所属分类:其它

    • 发布日期:2018-06-09
    • 文件大小:18kb
    • 提供者:wydtju1
  1. 带有语法强类型检查的事件总线EventBus框架例程.rar

  2. 带有语法强类型检查的事件总线EventBus框架例程.rar,太多无法一一验证是否可用,程序如果跑不起来需要自调,部分代码功能进行参考学习。
  3. 所属分类:其它

    • 发布日期:2019-07-30
    • 文件大小:11mb
    • 提供者:weixin_39840924
  1. StrictPhp, 基于AOP的严格类型检查.zip

  2. StrictPhp, 基于AOP的严格类型检查 StrictPhp StrictPhp是一个开发工具,旨在为PHP应用程序和库带来更严格的运行时断言。作者Marco PivettaJefersson安装$ composer require roave/s
  3. 所属分类:其它

    • 发布日期:2019-10-10
    • 文件大小:133kb
    • 提供者:weixin_38744207
  1. 煤田钻探施工现场安全检查探讨

  2. 主要针对煤田钻探的现场安全检查,从安全检查程序、类型、内容、隐患整改及隐患跟踪等方面进行了总结,以求从本质安全上如何有效地对登高作业安全、机械安全、用电(雷电)安全、交通安全和野外钻探遇上的地质灾害等进行有效地控制。通过近6a的实践表明:福建省121煤田地质勘探队采用此种安全检查方法,已对福建省内、外钻探工程项目的危险源进行了有效地控制,实现了煤田钻探安全生产。
  3. 所属分类:其它

    • 发布日期:2020-06-03
    • 文件大小:112kb
    • 提供者:weixin_38603924
  1. PHP文件类型检查及fileinfo模块安装使用详解

  2. 在web系统开发中,文件上传功能是非常常见的功能,这个功能开发中有一个非常关键的步骤:文件类型检查,这对于系统安全性起着很重要的作用,也是一个合格的程序员必须要做的。那么在PHP 中如何进行文件类型检查呢? 文件类型检查方法 在回答这个问题之前, 首先看一下你的 PHP 版本,因为不同版本可能方法不同: 在 PHP 5.3之前,可以使用mime_content_type方法检查; 但是 PHP 5.3之后, 这个方法被废弃了,原因是这个方法存在比较多的问题; 这里建议大家把 PHP 5.3以下
  3. 所属分类:其它

    • 发布日期:2021-01-03
    • 文件大小:53kb
    • 提供者:weixin_38504170
  1. ts-cast:打字稿项目的运行时类型检查-源码

  2. ts-cast· Typescr ipt和Javascr ipt项目的运行时类型检查 安装 npm i ts-cast 概述 ts-cast软件包是用于合同编程的类型检查实用程序。 它允许描述传入资源的数据模式(对应用程序的请求或来自其他应用程序的响应),然后使用该模式验证相应的资源。 让我们从一个例子开始: ./src/schema.ts import { integer , number , string , struct , tuple , array } from 'ts-c
  3. 所属分类:其它

    • 发布日期:2021-03-18
    • 文件大小:177kb
    • 提供者:weixin_42137723
  1. template-type-checking:角度模板类型检查演示-源码

  2. TemplateTypeChecking 该项目是使用版本11.0.2生成的。 开发服务器 为开发服务器运行ng serve 。 导航到http://localhost:4200/ 。 如果您更改任何源文件,该应用程序将自动重新加载。 代码脚手架 运行ng generate component component-name生成一个新的组件。 您还可以使用ng generate directive|pipe|service|class|guard|interface|enum|module 。
  3. 所属分类:其它

    • 发布日期:2021-03-04
    • 文件大小:207kb
    • 提供者:weixin_42134234
  1. ts-runtime:运行时类型检查TypeScript-源码

  2. ts运行时 一个使用Typescr ipt编译器API从Javascr ipt的Typescr ipt类型注释生成运行时类型检查的软件包。 请注意,该程序包仍处于试验阶段,生成的代码不适用于生产中。 这是通过使用最近发布的Typescr ipt转换API添加运行时类型检查的概念证明。 随时报告错误并提出建议。 请求请求也非常受欢迎。 操场 您可以在操场上尝试ts-runtime : : 快速开始 $ yarn global add ts-runtime $ tsr --help 您还可以
  3. 所属分类:其它

  1. pyre-check:python的性能类型检查-源码

  2. Pyre是用于符合Python的高性能类型检查器。 Pyre可以逐步分析具有数百万行代码的代码库-在开发人员编写代码时向他们提供即时反馈。 Pyre随附了Pysa , Pysa是我们在Pyre之上构建的,专注于安全性的静态分析工具,其原因在于Python应用程序中的数据流。 请参考我们的以开始我们的安全分析。 要求 首先,您需要并需要在系统上使用 。 在MacOS上,您可以使用获得一切: $ brew install python3 watchman 在Ubuntu , Mint或Debi
  3. 所属分类:其它

  1. flask-swagger-types:摇瓶规格生成器和烧瓶的类型检查器-源码

  2. 摇摇晃晃的类型 Flask-swagger-types是用于烧瓶应用的规范生成器和类型检查器。 为您的输入数据和响应定义模式,使用FlaskSwaggerTypes.Fstroute()使用这些模式对路线进行FlaskSwaggerTypes.Fstroute() ,并在[YOUR_APP_URL]/swagger_spec免费获得任何规格。 为了方便起见,在[YOUR_APP_URL]/swagger_ui 。 没有手写的大张旗鼓的规范大块或无意义的怪异文档字符串。 昂首阔步的规范是从应用
  3. 所属分类:其它

    • 发布日期:2021-02-05
    • 文件大小:11kb
    • 提供者:weixin_42131013
  1. 陡峭:Ruby的静态类型检查器-源码

  2. 陡峭-Ruby的渐进式打字 安装 通过RubyGems安装。 $ gem install steep 要求 陡峭需要Ruby 2.6。 用法 Steep不会从Ruby程序中推断类型,但是需要声明类型并编写注释。 您必须执行以下三个步骤。 0. steep init 运行steep init以生成配置文件。 $ steep init # Generates Steepfile 编辑Steepfile : target :app do check "lib" signat
  3. 所属分类:其它

    • 发布日期:2021-02-02
    • 文件大小:955kb
    • 提供者:weixin_42116713
  1. 红外:面向JavaScript的快速,可配置,推断静态类型检查器-源码

  2. 红外线 针对Javascr ipt的快速,轻量级,推断静态类型检查器。 红外线是Javascr ipt的可配置且高效的静态类型检查器。 这是通过在整个程序上静态推断–跟踪变量的类型随其变化–并在运行时发生类型错误之前引起的。 什么是流体类型系统? 可变类型系统绝不是外国的想法,它是一组宽容的键入规则,这些规则会随着程序的更改而改变。 这意味着不会将任何变量提交给单个类型–如果该变量在程序中的某个位置更改了其类型,则红外线会对其进行跟踪。 Javascr ipt是一种动态语言,Infrar
  3. 所属分类:其它

    • 发布日期:2021-01-31
    • 文件大小:368kb
    • 提供者:weixin_42121725
  1. json2typescript:使用安全的类型检查将JSON转换为TypeScript!-源码

  2. json2typescr ipt 在Angular应用程序中,每个人都从外部来源使用JSON API。 类型检查和对象映射只能在Typescr ipt中进行,而不能在Javascr ipt运行时中进行。 由于API随时可能更改,因此对于较大的项目,验证使用的数据非常重要。 json2typescr ipt是一个小型软件包,其中包含一个将JSON对象映射到Typescr ipt类实例的帮助器类。 编译为Javascr ipt后,结果仍然是该类的实例。 这种方法的一大优势是,您也可以使用此类的方
  3. 所属分类:其它

    • 发布日期:2021-01-31
    • 文件大小:72kb
    • 提供者:weixin_42113754
« 12 3 4 5 6 7 8 9 10 ... 50 »