咨询与建议

限定检索结果

文献类型

  • 648 篇 会议
  • 77 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 600 篇 工学
    • 464 篇 软件工程
    • 449 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 36 篇 电气工程
    • 17 篇 信息与通信工程
    • 8 篇 建筑学
    • 6 篇 电子科学与技术(可...
    • 4 篇 材料科学与工程(可...
    • 4 篇 动力工程及工程热...
    • 4 篇 土木工程
    • 4 篇 生物工程
    • 3 篇 化学工程与技术
    • 2 篇 力学(可授工学、理...
    • 2 篇 石油与天然气工程
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
  • 93 篇 理学
    • 46 篇 数学
    • 36 篇 生物学
    • 5 篇 系统科学
    • 4 篇 物理学
    • 3 篇 化学
    • 2 篇 统计学(可授理学、...
  • 30 篇 教育学
    • 30 篇 教育学
    • 14 篇 心理学(可授教育学...
  • 23 篇 管理学
    • 17 篇 图书情报与档案管...
    • 8 篇 管理科学与工程(可...
    • 7 篇 工商管理
  • 19 篇 法学
    • 19 篇 社会学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 医学
  • 1 篇 军事学
  • 1 篇 艺术学

主题

  • 97 篇 functional progr...
  • 74 篇 languages
  • 50 篇 genetic programm...
  • 46 篇 design
  • 46 篇 computer program...
  • 30 篇 haskell
  • 27 篇 computer program...
  • 25 篇 programming
  • 21 篇 theory
  • 20 篇 dependent types
  • 19 篇 performance
  • 16 篇 algorithms
  • 15 篇 parallel program...
  • 15 篇 programming lang...
  • 14 篇 logic programmin...
  • 14 篇 functional react...
  • 13 篇 verification
  • 12 篇 object oriented ...
  • 12 篇 domain-specific ...
  • 11 篇 education

机构

  • 8 篇 northeastern uni...
  • 7 篇 portland state u...
  • 6 篇 carnegie mellon ...
  • 6 篇 microsoft res ca...
  • 5 篇 chalmers univ te...
  • 4 篇 inria
  • 4 篇 univ penn philad...
  • 3 篇 indiana univ blo...
  • 3 篇 delft univ techn...
  • 3 篇 univ edinburgh e...
  • 3 篇 open university ...
  • 3 篇 microsoft res re...
  • 3 篇 univ strathclyde...
  • 3 篇 univ new s wales...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ cambridge c...
  • 3 篇 technion-israel ...
  • 3 篇 univ utah salt l...
  • 3 篇 univ chicago il ...
  • 3 篇 yale univ dept c...

作者

  • 6 篇 findler robert b...
  • 5 篇 flatt matthew
  • 5 篇 jones mark p.
  • 5 篇 krishnaswami nee...
  • 4 篇 o'reilly una-may
  • 4 篇 xi hw
  • 4 篇 mcbride conor
  • 4 篇 devriese dominiq...
  • 4 篇 vafeiadis viktor
  • 4 篇 weirich stephani...
  • 4 篇 spector lee
  • 4 篇 claessen koen
  • 4 篇 jeuring johan
  • 4 篇 wu nicolas
  • 4 篇 chlipala adam
  • 4 篇 dreyer derek
  • 4 篇 keller gabriele
  • 4 篇 walker david
  • 3 篇 dolstra eelco
  • 3 篇 loh andres

语言

  • 640 篇 英文
  • 82 篇 其他
  • 2 篇 葡萄牙文
  • 2 篇 中文
检索条件"任意字段=14th ACM SIGPLAN International Conference on Functional Programming"
726 条 记 录,以下是61-70 订阅
排序:
Predicting the Performance of ATL Model Transformations  23
Predicting the Performance of ATL Model Transformations
收藏 引用
14th Annual acm/SPEC international conference on Performance Engineering, ICPE 2023
作者: Groner, Raffaela Bellmann, Peter Höppner, Stefan thiam, Patrick Schwenker, Friedhelm Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Institute of Neural Information Processing Ulm University Ulm Germany Institute of Medical Systems Biology Ulm University Ulm Germany
Model transformation languages are special-purpose languages, which are designed to define transformations as comfortably as possible, i.e., often in a declarative way. Typically, developers create their transformatio... 详细信息
来源: 评论
Extracting Smart Contracts Tested and Verified in Coq  2021
Extracting Smart Contracts Tested and Verified in Coq
收藏 引用
10th acm sigplan international conference on Certified Programs and Proofs (CPP)
作者: Annenkov, Danil Milo, Mikkel Nielsen, Jakob Botsch Spitters, Bas Aarhus Univ Concordium Blockchain Res Ctr Aarhus Denmark Aarhus Univ Dept Comp Sci Aarhus Denmark
We implement extraction of Coq programs to functional languages based on MetaCoq's certified erasure. As part of this, we implement an optimisation pass removing unused arguments. We prove the pass correct wrt. a ... 详细信息
来源: 评论
MPLR 2019 - Proceedings of the 16th acm sigplan international conference on Managed programming Languages and Runtimes, co-located with SPLASH 2019
MPLR 2019 - Proceedings of the 16th ACM SIGPLAN Internationa...
收藏 引用
16th acm sigplan international conference on Managed programming Languages and Runtimes, MPLR 2019, co-located with SPLASH 2019
the proceedings contain 14 papers. the topics discussed include: supporting on-stack replacement in unstructured languages by loop reconstruction and extraction;GraalSqueak: toward a smalltalk-based tooling platform f...
来源: 评论
Competency Management Model for a Team of Trainers  1
收藏 引用
14th international conference on Computational Collective Intelligence (ICCCI)
作者: Wikarek, Jaroslaw Sitek, Pawel Kielce Univ Technol Dept Control & Management Syst Kielce Poland
the paper proposes a model of management and configuration of competences of a team conducting advanced training in the field of IT, electronics, robotics and other advanced technologies. the model enables decision su... 详细信息
来源: 评论
Influence of Grouping Strategies for Cooperative Learning on the Learning Outcome of programming Course  14
Influence of Grouping Strategies for Cooperative Learning on...
收藏 引用
14th international conference on Education Technology and Computers, ICETC 2022
作者: Hsu, Jih-Shih Tsai, Wen-Lung Department of Information Management National Yunlin University of Science and Technology Taiwan Department of Multimedia and Game Design Overseas Chinese University Taiwan
In recent years, programming courses has been incorporated into academic curriculums. However, as many students encounter setbacks in the learning process, this study introduces the grouping strategies for cooperation... 详细信息
来源: 评论
SCCharts Twelve Years Later: A Reflection on Sequential Constructiveness and Text-First Modeling (Keynote)  25
SCCharts Twelve Years Later: A Reflection on Sequential Cons...
收藏 引用
Proceedings of the 26th acm sigplan/SIGBED international conference on Languages, Compilers, and Tools for Embedded Systems
作者: Reinhard von Hanxleden Kiel University Kiel Germany
the SCCharts language, first publicly presented 2013 at Dagstuhl Seminar 13471 on Synchronous programming and subsequently at PLDI’14, originated from a collaboration with an industrial partner, National Instruments ... 详细信息
来源: 评论
HPC application optimisation in SODALITE  21
HPC application optimisation in SODALITE
收藏 引用
14th acm international conference on Systems and Storage, SYSTOR 2021
作者: Vladusic, Daniel Costa, Joao Pita Radolovic, Dragan Meth, Kalman Di Nitto, Elisabetta Lazzaro, Alfio Mujkanovic, Nina Carbonell, Maria XLAB IBM Research - Haifa Israel Politecnico di Milano Italy HPE HPC AI EMEA Research Lab ATOS
We propose to tackle the complexity of deploying and operating modern applications onto heterogeneous HPC and cloud-based systems by providing application developers and infrastructure operators with tools to abstract... 详细信息
来源: 评论
A Block Coordinate DCA Approach for Large-Scale Kernel SVM  1
收藏 引用
14th international conference on Computational Collective Intelligence (ICCCI)
作者: Van Tuan Pham Hoang Phuc Hau Luu Hoai An Le thi Univ Lorraine Dept IA LGIPM F-57000 Metz France Inst Univ France IUF Paris France
In this study, we propose a novel block coordinate DCA based method for tackling the large-scale kernel SVM. the proposed method employs a unified scheme that is capable of handling almost all common losses in SVM. Ow... 详细信息
来源: 评论
Folding over Neural Networks  1
收藏 引用
14th international conference on Mathematics of Program Construction (MPC)
作者: Nguyen, Minh Wu, Nicolas Univ Bristol Bristol England Imperial Coll London London England
Neural networks are typically represented as data structures that are traversed either through iteration or by manual chaining of method calls. However, a deeper analysis reveals that structured recursion can be used ... 详细信息
来源: 评论
Generative Program Analysis and Beyond: the Power of Domain-Specific Languages  1
收藏 引用
22nd international conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) jointly with the 48th acm sigplan Symposium on Principles of programming Languages (POPL)
作者: Steffen, Bernhard Murtovi, Alnis TU Dortmund Univ Chair Programming Syst Otto Hahn Str 14 D-44227 Dortmund Germany
In this paper we position Linear Time Temporal Logic (LTL), structural operational semantics (SOS), and a graphical generalization of BNF as central DSLs for program analysis and verification tasks in order to illustr... 详细信息
来源: 评论