• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IFIP TC3/WG3.2 Conference on Informatics Curricula, Teaching Methods and Best Practice (ICTEM 2002) Jul 10-12, 2002 Florianopolis, SC, Brazil >Teaching Programming Broadly and Deeply: The Kernel Language Approach
【24h】

Teaching Programming Broadly and Deeply: The Kernel Language Approach

机译：广泛而深入地学习编程：内核语言方法

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We present the kernel language approach; a new way to teach programming that situates most of the widely known programming paradigms (including imperative, object-oriented, concurrent, logic, and functional) into a uniform setting that shows their deep relationships and how to use them together. Widely different practical languages (exemplified by Java, Haskell, Prolog, and Erlang) with their rich panoplies of abstractions and syntax are explained by straightforward translations into closely related kernel languages, simple languages that consist of small numbers of programmer-significant concepts. Kernel languages are easy to understand and have a simple formal semantics that can be used by practicing programmers to reason about correctness and complexity.
机译：我们介绍内核语言方法；一种新的教授编程的方法，它将大多数广为人知的编程范例（包括命令式，面向对象，并发，逻辑和函数式）置于一个统一的环境中，以显示它们的深层关系以及如何一起使用它们。各种各样的实用语言（以Java，Haskell，Prolog和Erlang为例）通过将其直接翻译成紧密相关的内核语言（包括少量程序员重要概念的简单语言）来解释其丰富的抽象概念和语法。内核语言易于理解，并且具有简单的形式语义，可供实践的程序员用来推理正确性和复杂性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号