咨询与建议

限定检索结果

文献类型

  • 685 篇 会议
  • 71 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 588 篇 工学
    • 504 篇 软件工程
    • 444 篇 计算机科学与技术...
    • 38 篇 控制科学与工程
    • 34 篇 电气工程
    • 20 篇 信息与通信工程
    • 10 篇 生物工程
    • 8 篇 建筑学
    • 6 篇 机械工程
    • 6 篇 材料科学与工程(可...
    • 6 篇 电子科学与技术(可...
    • 6 篇 土木工程
    • 6 篇 生物医学工程(可授...
    • 4 篇 动力工程及工程热...
    • 4 篇 化学工程与技术
  • 85 篇 理学
    • 61 篇 数学
    • 16 篇 生物学
    • 8 篇 物理学
    • 6 篇 统计学(可授理学、...
    • 5 篇 化学
  • 36 篇 管理学
    • 21 篇 图书情报与档案管...
    • 16 篇 管理科学与工程(可...
    • 11 篇 工商管理
  • 26 篇 教育学
    • 26 篇 教育学
  • 8 篇 法学
    • 8 篇 社会学
  • 6 篇 医学
    • 5 篇 临床医学
    • 3 篇 基础医学(可授医学...
  • 6 篇 艺术学
    • 6 篇 音乐与舞蹈学
    • 4 篇 艺术学理论
  • 5 篇 农学
    • 5 篇 作物学
  • 3 篇 经济学
    • 3 篇 应用经济学

主题

  • 103 篇 functional progr...
  • 66 篇 languages
  • 54 篇 computer program...
  • 42 篇 design
  • 31 篇 haskell
  • 30 篇 object oriented ...
  • 27 篇 computer program...
  • 25 篇 programming
  • 20 篇 dependent types
  • 19 篇 logic programmin...
  • 19 篇 theory
  • 17 篇 functional react...
  • 16 篇 parallel program...
  • 16 篇 dynamic programm...
  • 15 篇 aspect oriented ...
  • 14 篇 performance
  • 14 篇 semantics
  • 13 篇 generic programm...
  • 13 篇 verification
  • 13 篇 programming lang...

机构

  • 7 篇 portland state u...
  • 6 篇 northeastern uni...
  • 6 篇 microsoft res ca...
  • 5 篇 carnegie mellon ...
  • 5 篇 univ penn philad...
  • 5 篇 chalmers univ te...
  • 4 篇 inria
  • 4 篇 indiana univ blo...
  • 4 篇 university of ch...
  • 3 篇 department of pr...
  • 3 篇 ecole polytech f...
  • 3 篇 univ edinburgh e...
  • 3 篇 univ cambridge c...
  • 3 篇 univ strathclyde...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ new s wales...
  • 3 篇 microsoft resear...
  • 3 篇 ibm research
  • 3 篇 carnegie mellon ...
  • 3 篇 univ cambridge c...

作者

  • 6 篇 figueroa ismael
  • 6 篇 krishnaswami nee...
  • 5 篇 claessen koen
  • 5 篇 tabareau nicolas
  • 5 篇 jones mark p.
  • 5 篇 findler robert b...
  • 5 篇 tanter éric
  • 4 篇 flatt matthew
  • 4 篇 xi hw
  • 4 篇 mcbride conor
  • 4 篇 sheeran mary
  • 4 篇 vafeiadis viktor
  • 4 篇 weirich stephani...
  • 4 篇 jeuring johan
  • 4 篇 chlipala adam
  • 4 篇 dreyer derek
  • 4 篇 hudak paul
  • 4 篇 keller gabriele
  • 4 篇 walker david
  • 3 篇 dolstra eelco

语言

  • 699 篇 英文
  • 58 篇 其他
  • 2 篇 葡萄牙文
  • 2 篇 中文
检索条件"任意字段=12th ACM SIGPLAN International Conference on Functional Programming"
761 条 记 录,以下是761-770 订阅
排序:
State of the Art of the Security of Code Generated by LLMs: A Systematic Literature Review
State of the Art of the Security of Code Generated by LLMs: ...
收藏 引用
international conference in Software Engineering Research and Innovation (CONISOFT)
作者: Leonardo Criollo Ramírez Xavier Limón Ángel J. Sánchez-García Juan Carlos Pérez-Arriaga Facultad de Estadística e Informática Universidad Veracruzana Xalapa México
AI -assisted programming has experienced a surge in popularity over the past few years, largely thanks to advancements in Large Language Model technologies. this has led to the emergence of tools like ChatGPT and Gith... 详细信息
来源: 评论