咨询与建议

限定检索结果

文献类型

  • 4 篇 期刊文献
  • 3 篇 会议
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 5 篇 工学
    • 5 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 建筑学
  • 2 篇 理学
    • 1 篇 数学
    • 1 篇 生物学

主题

  • 2 篇 logic programmin...
  • 1 篇 denotational sem...
  • 1 篇 left-corner pars...
  • 1 篇 error correction
  • 1 篇 software enginee...
  • 1 篇 natural language...
  • 1 篇 natural language...
  • 1 篇 congruence proof
  • 1 篇 linear affine im...
  • 1 篇 automatic progra...
  • 1 篇 compiler correct...
  • 1 篇 databases
  • 1 篇 programming tech...
  • 1 篇 errors
  • 1 篇 programming lang...
  • 1 篇 hypothetical rea...
  • 1 篇 artificial intel...
  • 1 篇 lambda calculus
  • 1 篇 testing
  • 1 篇 logics and meani...

机构

  • 1 篇 logic and functi...
  • 1 篇 computer science...
  • 1 篇 sequencing and f...
  • 1 篇 logic and functi...
  • 1 篇 instituto aragon...
  • 1 篇 logic and functi...
  • 1 篇 araid foundation...
  • 1 篇 department of ne...
  • 1 篇 aragon biomedica...
  • 1 篇 placental pathop...
  • 1 篇 functional progr...
  • 1 篇 instituto aragon...
  • 1 篇 dfg research tra...
  • 1 篇 avaya labs
  • 1 篇 simon fraser uni...
  • 1 篇 instituto de inv...
  • 1 篇 avaya labs 233 m...
  • 1 篇 functional progr...

作者

  • 2 篇 dahl veronica
  • 2 篇 veronica dahl
  • 1 篇 mintchev s
  • 1 篇 mark strunk
  • 1 篇 legatiuk dmitrii
  • 1 篇 jesús martín
  • 1 篇 jon schoorlemmer
  • 1 篇 t. yeh
  • 1 篇 kimberly d. voll
  • 1 篇 josé-ramón ara
  • 1 篇 v. dahl
  • 1 篇 nilsson henrik
  • 1 篇 lester d
  • 1 篇 wadler philip
  • 1 篇 philip wadler
  • 1 篇 k. voll
  • 1 篇 tom p. yeh
  • 1 篇 sofía macías-red...
  • 1 篇 alberto cebollad...

语言

  • 8 篇 英文
检索条件"机构=Functional Programming Group"
8 条 记 录,以下是1-10 订阅
排序:
Towards machine-checked compiler correctness for higher-order pure functional languages  8th
Towards machine-checked compiler correctness for higher-orde...
收藏 引用
8th Workshop on Computer Science Logic, at the Annual Conference of the European-Association-for-Computer-Science-Logic (CSL 94)
作者: Lester, D Mintchev, S Functional Programming Group Department of Computer Science Manchester University Oxford Road Manchester M13 9PL United Kingdom
In this paper we show that the critical part of a correctness proof for implementations of higher-order functional languages is amenable to machine-assisted proof. An extended version of the lambda-calculus is conside... 详细信息
来源: 评论
Practical Aspects of Declarative Languages  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Veronica Dahl Philip Wadler
来源: 评论
Abstract modelling: Towards a typed declarative language for the conceptual modelling phase  17
Abstract modelling: Towards a typed declarative language for...
收藏 引用
8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2017
作者: Legatiuk, Dmitrii Nilsson, Henrik DFG Research Training Group 1462 Bauhaus-Universität Weimar Weimar Germany Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom
The growing complexity of modern engineering tasks necessitates improved tool support for modelling, in particular tools allowing early detection of modelling errors. Broadly, there are two classes of modelling errors... 详细信息
来源: 评论
An assumptive logic programming methodology for parsing
An assumptive logic programming methodology for parsing
收藏 引用
International Conference on Tools for Artificial Intelligence (ICTAI)
作者: K. Voll T. Yeh V. Dahl Logic and Functional Programming Group School of Computing Science Simon Fraser University Burnaby BC Canada
We show how several novel tools in logic programming for AI (namely, continuation based linear and timeless assumptions, and datalog grammars) can assist us in producing terse treatments of difficult language processi... 详细信息
来源: 评论
On implicit meanings
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 第PART2期2408卷 506-525页
作者: Dahl, Veronica Logic and Functional Programming Group School of Computing Science Simon Fraser University Burnaby BC V5A 1S6 Canada
We present a logic programming parsing methodology which we believe especially interesting for understanding implicit human-language structures. It records parsing state constituents through linear assumptions to be c... 详细信息
来源: 评论
AN ASSUMPTIVE LOGIC programming METHODOLOGY FOR PARSING
收藏 引用
International Journal on Artificial Intelligence Tools 2001年 第4期10卷 573-588页
作者: KIMBERLY D. VOLL TOM P. YEH VERONICA DAHL Logic and Functional Programming Group School of Computing Science Simon Fraser University Burnaby B.C. Canada V5A 1S6 Canada
We show how two novel tools in logic programming for AI (namely, continuation-based linear and timeless assumptions, and Datalog grammars) can assist us in producing terse treatments of difficult language processing p... 详细信息
来源: 评论
Preface
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2562卷
作者: Dahl, Veronica Wadler, Philip Simon Fraser University Computer Science Department Logic and Functional Programming Group 8888 University Drive BurnabyBC Canada Avaya Labs 233 Mount Airy Road Basking RidgeNJ United States
来源: 评论
Correction to: Upregulation of selected HERVW loci in multiple sclerosis
收藏 引用
Mobile DNA 2021年 第1期12卷 19页
作者: Sofía Macías-Redondo Mark Strunk Alberto Cebollada-Solanas José-Ramón Ara Jesús Martín Jon Schoorlemmer Instituto Aragonés de Ciencias de La Salud (IACS) c/Juan Bosco 13 50009 Zaragoza Spain. Sequencing and Functional Genomics Aragon Biomedical Research Center (CIBA) Instituto Aragonés de Ciencias de La Salud (IACS) Zaragoza Spain. Aragon Biomedical Research Center (CIBA) Instituto Aragonés de Ciencias de La Salud (IACS) Unidad de Biocomputación Zaragoza Spain. Instituto de Investigación Sanitaria de Aragón (IIS Aragón) Zaragoza Spain. Department of Neurology University Hospital Miguel Servet Zaragoza Spain. Instituto Aragonés de Ciencias de La Salud (IACS) c/Juan Bosco 13 50009 Zaragoza Spain. jonas@araid.es. ARAID Foundation Avda. de Ranillas 1-D 50018 Zaragoza Spain. jonas@araid.es. Placental Pathophysiology and Fetal Programming Research Group del IISA c/Juan Bosco 13 50009 Zaragoza Spain. jonas@araid.es.
来源: 评论