咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
proceedings of the acm sigplan 85 symposium on language issues in programming environments.
PROCEEDINGS OF THE ACM SIGPLAN 85 SYMPOSIUM ON LANGUAGE ISSU...
收藏 引用
proceedings of the acm sigplan 85 symposium on language issues in programming environments.
作者: Anon
There are 25 papers presented in the symposium proceedings on language issues in programming environments. Topics discussed in these papers object based, rule-based, side-effect-free, Mesa, Cedar, and logic programmin... 详细信息
来源: 评论
acm sigplan '85: symposium on language issues in programming environments
收藏 引用
Computer 1985年 第5期18卷 111-113页
Provides a listing of upcoming conference events of interest to practitioners and researchers.
来源: 评论
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... 详细信息
来源: 评论
ADA debugging and testing support environments  80
ADA debugging and testing support environments
收藏 引用
1980 acm-sigplan symposium on Ada programming language, sigplan 1980
作者: Fairley, Richard E. Computer Science Department Colorado State University United States
来源: 评论
The Design of OWL a language for walking  83
The Design of OWL a language for walking
收藏 引用
1983 acm sigplan symposium on programming language issues in Software Systems, sigplan 1983
作者: Donner, Marc D. Carnegie-Mellon University United States
This paper describes the syntax, semantics, and design rationale for a programming language developed to provide real-time concurrent processes for the programming of a six legged walking robot. © 1983 acm.
来源: 评论
TOWARDS A THEORY OF PACKAGES.
TOWARDS A THEORY OF PACKAGES.
收藏 引用
proceedings of the acm sigplan 85 symposium on language issues in programming environments.
作者: Agnarsson, Snorri Krishnamoorthy, M.S. Rensselaer Polytechnic Inst Troy NY USA Rensselaer Polytechnic Inst Troy NY USA
A model for packages is introduced, along with operations for their manipulation. The model is based on the unifying principle that programs should be represented by trees, and packages by substitutions on trees. Oper... 详细信息
来源: 评论
MESA programming ENVIRONMENT.
MESA PROGRAMMING ENVIRONMENT.
收藏 引用
proceedings of the acm sigplan 85 symposium on language issues in programming environments.
作者: Sweet, Richard E. Xerox Palo Alto Research Cent Palo Alto CA USA Xerox Palo Alto Research Cent Palo Alto CA USA
People everywhere are developing multi-window, integrated programming environments for their favorite computers and languages. This paper describes the Mesa programming facilities of the Xerox Development Environment ... 详细信息
来源: 评论
DEBUGGING IN A SIDE EFFECT FREE programming ENVIRONMENT.
DEBUGGING IN A SIDE EFFECT FREE PROGRAMMING ENVIRONMENT.
收藏 引用
proceedings of the acm sigplan 85 symposium on language issues in programming environments.
作者: Hall, Cordelia V. O'Donnell, John T. Indiana Univ Bloomington IN USA Indiana Univ Bloomington IN USA
Lisp and its successors provide the programmer with a powerful single tool in which he can write, modify, debug and execute programs. Side effects play a crucial role in these programming environments. We propose an a... 详细信息
来源: 评论
PSG - programming SYSTEM GENERATOR.
PSG - PROGRAMMING SYSTEM GENERATOR.
收藏 引用
proceedings of the acm sigplan 85 symposium on language issues in programming environments.
作者: Bahlke, Rolf Snelting, Gregor Technische Hochschule Darmstadt Darmstadt West Ger Technische Hochschule Darmstadt Darmstadt West Ger
The programming system generator developed at the Technical University of Darmstadt generates sophisticated interactive programming environments from formal language definitions. From a formal, entirely non-procedural... 详细信息
来源: 评论