首页> 外文会议>IFIP TC3/WG3.2 conference on informatics curricula, teaching methods and best practice >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),其具有丰富的抽象和语法的Ploplize通过直接翻译成密切相关的内核语言,简单的语言由少量的程序员 - 重要概念组成。内核语言易于理解,并且具有简单的正式语义,可以通过练习程序员来推理正确性和复杂性。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号