咨询与建议

限定检索结果

文献类型

  • 148 篇 会议
  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 113 篇 工学
    • 107 篇 软件工程
    • 101 篇 计算机科学与技术...
    • 7 篇 控制科学与工程
    • 3 篇 电气工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 信息与通信工程
    • 3 篇 环境科学与工程(可...
    • 2 篇 生物工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 土木工程
    • 1 篇 农业工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 网络空间安全
  • 12 篇 理学
    • 9 篇 数学
    • 2 篇 生物学
    • 2 篇 系统科学
    • 1 篇 物理学
  • 11 篇 管理学
    • 6 篇 图书情报与档案管...
    • 5 篇 管理科学与工程(可...
    • 3 篇 工商管理
  • 4 篇 教育学
    • 4 篇 教育学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 21 篇 computer program...
  • 8 篇 java programming...
  • 5 篇 object oriented ...
  • 5 篇 software design
  • 4 篇 semantics
  • 3 篇 computer program...
  • 3 篇 functional progr...
  • 2 篇 program debuggin...
  • 2 篇 access control
  • 2 篇 database systems
  • 2 篇 high level langu...
  • 2 篇 parallel program...
  • 2 篇 challenges
  • 2 篇 specifications
  • 2 篇 component integr...
  • 2 篇 generic programm...
  • 2 篇 c (programming l...
  • 2 篇 python
  • 2 篇 language server ...
  • 2 篇 c#

机构

  • 3 篇 xerox palo alto ...
  • 2 篇 czech tech univ ...
  • 2 篇 ecole polytech f...
  • 2 篇 cornell univ ith...
  • 2 篇 princeton univ p...
  • 2 篇 northeastern uni...
  • 2 篇 stanford univers...
  • 2 篇 univ cambridge c...
  • 2 篇 indiana univ blo...
  • 2 篇 computer science...
  • 2 篇 univ potsdam has...
  • 2 篇 computer science...
  • 2 篇 carnegie mellon ...
  • 1 篇 mbzuai masdar
  • 1 篇 johns hopkins un...
  • 1 篇 center for the s...
  • 1 篇 mcc 9430 researc...
  • 1 篇 virginia tech bl...
  • 1 篇 computer corpora...
  • 1 篇 ibm t. j. watson...

作者

  • 4 篇 hirschfeld rober...
  • 2 篇 o'donnell john t...
  • 2 篇 rein patrick
  • 2 篇 niephaus fabio
  • 2 篇 penedo maria h.
  • 2 篇 david r. hanson
  • 2 篇 john t. o'donnel...
  • 2 篇 ploedereder erha...
  • 2 篇 pfenning frank
  • 2 篇 heimbigner denni...
  • 2 篇 vitek jan
  • 2 篇 mattis toni
  • 1 篇 nozkin ilya
  • 1 篇 chung benjamin
  • 1 篇 hadfield steven ...
  • 1 篇 balasubramaniam ...
  • 1 篇 austin cory bart
  • 1 篇 agnarsson snorri
  • 1 篇 staats matt
  • 1 篇 gestwicki paul

语言

  • 149 篇 英文
  • 2 篇 其他
检索条件"任意字段=Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments"
151 条 记 录,以下是1-10 订阅
排序:
Reclaiming the Unexplored in Hybrid Visual programming
Reclaiming the Unexplored in Hybrid Visual Programming
收藏 引用
acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward!)
作者: Homer, Michael Victoria Univ Wellington Sch Engn & Comp Sci Wellington New Zealand
programming languages have been trapped in a world of linear textual representations fundamentally unchanged for half a century. Even systems pushing beyond these forms visual languages, projectional language workbenc... 详细信息
来源: 评论
programming languages for the Future of Design Computation
Programming Languages for the Future of Design Computation
收藏 引用
acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward!)
作者: Aish, Robert Al Fisher Orchard, Dominic Torry, Jay UCL London England Bur Happold London England Univ Kent Canterbury Kent England Univ Cambridge Cambridge England
Design Computation is the use of programming in the design of physical systems such as buildings and infrastructure. This involves embedding both general-purpose textual languages and domain-specific visual languages ... 详细信息
来源: 评论
Use Site Checking Considered Harmful
Use Site Checking Considered Harmful
收藏 引用
acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward!)
作者: Racordon, Dimi Chung, Benjamin Ecole Polytech Fed Lausanne Lausanne Switzerland Univ Washington Seattle WA 98195 USA
Static type checking aims to detect nonsensical operations based on their domains at compile time. While its benefits no longer need to be argued, it comes with expressiveness limitations that can only be lifted at th... 详细信息
来源: 评论
Onward! 2023 - proceedings of the 2023 acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software, Co-located with: SPLASH 2023
Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN Internati...
收藏 引用
2023 acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software, Onward! 2023, co-located with SPLASH 2023
The proceedings contain 13 papers. The topics discussed include: scalable spreadsheet-driven end-user applications with incremental computation;towards an industrial stateful software rejuvenation toolchain using mode...
来源: 评论
HasTEE: programming Trusted Execution environments with Haskell  16
HasTEE: Programming Trusted Execution Environments with Hask...
收藏 引用
16th acm sigplan International symposium on Haskell (Haskell)
作者: Sarkar, Abhiroop Krook, Robert Russo, Alejandro Claessen, Koen Chalmers Univ Gothenburg Sweden Chalmers Univ DPella AB Gothenburg Sweden
Trusted Execution environments (TEEs) are hardware enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolati... 详细信息
来源: 评论
Faster Feedback with AI? A Test Prioritization Study  8
Faster Feedback with AI? A Test Prioritization Study
收藏 引用
8th International Conference on the Art, Science, and Engineering of programming (programming)
作者: Mattis, Toni Boehme, Lukas Krebs, Eva Rinard, Martin C. Hirschfeld, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany MIT Cambridge MA USA
Feedback during programming is desirable, but its usefulness depends on immediacy and relevance to the task. Unit and regression testing are practices to ensure programmers can obtain feedback on their changes;however... 详细信息
来源: 评论
Scaffolding Progress: How Structured Editors Shape Novice Errors When Transitioning from Blocks to Text  2023
Scaffolding Progress: How Structured Editors Shape Novice Er...
收藏 引用
54th Annual acm SIGCSE Technical symposium on Computer Science Education (SIGCSE TS)
作者: Kazemitabaar, Majeed Chyhir, Viktar Weintrop, David Grossman, Tovi Univ Toronto Dept Comp Sci Toronto ON Canada Univ Maryland Coll Educ Coll Informat Studies College Pk MD 20742 USA
Transitioning from block-based programming to text-based programming environments can be challenging as it requires students to learn new programming language concepts. In this paper, we identify and classify the issu... 详细信息
来源: 评论
Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees  25
Memory Safety Instrumentations in Practice: Usability, Perfo...
收藏 引用
23rd acm/IEEE International symposium on Code Generation and Optimization, CGO 2025
作者: Jung, Tina Ritter, Fabian Hack, Sebastian Saarland University Saarbrücken Germany
Memory safety violations due to C’s undefined behavior, although well researched, still cause security breaches year by year. The most dangerous reported violations are spatial safety violations, where objects are ac... 详细信息
来源: 评论
MTE4JNI: A Memory Tagging Method to Protect Java Heap Memory from Illicit Native Code Access  25
MTE4JNI: A Memory Tagging Method to Protect Java Heap Memory...
收藏 引用
23rd acm/IEEE International symposium on Code Generation and Optimization, CGO 2025
作者: Chen, Huinan Ma, Jiang Xue, Chun Jason Li, Qingan Wuhan University Wuhan China Guangdong OPPO Mobile Telecommunications Corp. Ltd. Dongguan China MBZUAI Masdar United Arab Emirates
With the proliferation of mobile devices in daily life, ensuring the security and performance of these devices has become crucial. On Android, the Java Native Interface (JNI) acts as a bridge, allowing native librarie... 详细信息
来源: 评论
Whither Problem-Solving environments
Whither Problem-Solving Environments
收藏 引用
2023 acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software, Onward! 2023, co-located with SPLASH 2023
作者: Dinmore, Matthew Johns Hopkins University Applied Physics Laboratory LaurelMD United States
During the 1990s and first decade of the 2000s, problem-solving environments (PSEs) were a topic of research among a community with the vision to create software systems "with all of the computational facilities ... 详细信息
来源: 评论