📚 语言设计技术资料

📦 资源总数：65234
💻 源代码：68261

🔥 语言设计热门资料

查看全部65234个资源 »

Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。...

📅 👤 BIBI
Goedel 语言 逻辑 程序设计语言

💻 语言设计源代码

查看更多 »
💻
分频器的硬件描述语言设计.txt
💻
说明.txt
💻
ＤＤＳ在ＦＰＧＡ中的实现.txt
💻
第10章 pid实时控制的c++语言设计及应用 16页.pdf
💻
基于vhdl语言设计数字频率计.pdf
💻
嵌入式c语言设计.pdf
📂 语言设计资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 65234 个资源