咨询与建议

限定检索结果

文献类型

  • 9 篇 会议
  • 2 册 图书

馆藏范围

  • 11 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7 篇 工学
    • 6 篇 计算机科学与技术...
    • 3 篇 软件工程
  • 1 篇 理学
    • 1 篇 数学

主题

  • 4 篇 semantics
  • 2 篇 mathematical log...
  • 2 篇 programming tech...
  • 2 篇 logics and meani...
  • 1 篇 control-flow hyp...
  • 1 篇 denotational sem...
  • 1 篇 dependent type t...
  • 1 篇 task analysis
  • 1 篇 model checking
  • 1 篇 software enginee...
  • 1 篇 computer communi...
  • 1 篇 program fusion
  • 1 篇 computer languag...
  • 1 篇 probabilistic pr...
  • 1 篇 visualization
  • 1 篇 integer programm...
  • 1 篇 nondeterminism
  • 1 篇 semantics of typ...
  • 1 篇 gadts
  • 1 篇 programming lang...

机构

  • 1 篇 ohio state univ ...
  • 1 篇 univ wisconsin m...
  • 1 篇 university of il...
  • 1 篇 mathematics depa...
  • 1 篇 univ bath bath a...
  • 1 篇 university of il...
  • 1 篇 purdue universit...
  • 1 篇 institut für inf...
  • 1 篇 department of co...
  • 1 篇 carnegie mellon ...
  • 1 篇 clayton school o...
  • 1 篇 arizona state un...
  • 1 篇 dalhousie univer...
  • 1 篇 school of comput...
  • 1 篇 rutgers state un...
  • 1 篇 university of pa...
  • 1 篇 grammatech inc i...

作者

  • 1 篇 luo man
  • 1 篇 maria garcia de ...
  • 1 篇 kishida kohei
  • 1 篇 andreas blass
  • 1 篇 chandrasekaran k...
  • 1 篇 gordon fraser
  • 1 篇 fu peng
  • 1 篇 enrico pontelli
  • 1 篇 nachum dershowit...
  • 1 篇 hoffmann jan
  • 1 篇 gandikota venkat...
  • 1 篇 christoph frädri...
  • 1 篇 laird jim
  • 1 篇 ghani neil
  • 1 篇 lee joohyung
  • 1 篇 reps thomas
  • 1 篇 wolfgang reisig
  • 1 篇 north paige rand...
  • 1 篇 andreas stahlbau...
  • 1 篇 johann patricia

语言

  • 11 篇 英文
检索条件"任意字段=35th Conference on the Mathematical Foundations of Programming Semantics"
11 条 记 录,以下是11-20 订阅
排序:
Verified from Scratch: Program Analysis for Learners' Programs
Verified from Scratch: Program Analysis for Learners' Progra...
收藏 引用
IEEE International conference on Automated Software Engineering (ASE)
作者: Andreas Stahlbauer Christoph Frädrich Gordon Fraser University of Passau Germany
Block-based programming languages like Scratch support learners by providing high-level constructs that hide details and by preventing syntactically incorrect programs. Questions nevertheless frequently arise: Is this... 详细信息
来源: 评论