搜索结果: 1-15 共查到“知识库 程序设计及其语言”相关记录1175条 . 查询时间(4.172 秒)
2024年上海市计算机程序设计员社会化职业技能等级认定指导手册。
天津科技大学人工智能学院天津市级精品课：《C语言程序设计》
天津市级 精品课 C语言 程序设计
font style='font-size:12px;'>
2024/8/11
C语言是一种被广泛学习、普遍使用的计算机程序设计语言。它的高级语言形式、低级语言功能具有特殊的魅力。由于C语言具有完整的编程语言特点，因而被大多数高等院校作为典型的计算机教学语言。《C语言程序设计》课程，面向全校非计算机专业的本科生开设，为限选课，总共52学时，讲课28，上机24学时。以C语言为平台，介绍程序设计的思想和方法。此课程不仅使学生掌握高级编程语言的知识、编程技术和基本算法，更重要的是掌...
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第十七期）（图）
哈尔滨工程大学计算机科学与技术学院 科研成果 第十七期 Linux操作系统 兼容性 指纹采集
font style='font-size:12px;'>
2022/8/20
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第十七期）。
The FL Project: The Design of a Functional Language
FL Project Design Functional Language
font style='font-size:12px;'>
2016/5/25
FL is the result of an eort to design a practical functional programming language based on Backus FP This paper provides an introduction to and critique of the FL language The language eort is analy...
Tracking Down Exceptions in Standard ML Programs
Tracking Down Exceptions Standard ML Programs
font style='font-size:12px;'>
2016/5/25
We describe our experiences with an exception analysis tool for Standard ML. Information about exceptions gathered by the analysis is visualized using pam,a program visualization tool for emacs. We st...
Building a Better Backtrace: Techniques for Postmortem Program Analysis
Building Better Backtrace Techniques Postmortem Program Analysis
font style='font-size:12px;'>
2016/5/25
After a program has crashed, it can be difficult to reconstruct why the failure occurred, or what actions led to the error. We propose a family of analysis techniques that use the evidence left behind...
Program Transformation in the Presence of Errors
Program Transformation Presence Errors
font style='font-size:12px;'>
2016/5/25
A laudable trend of the past two decades has been the increased use of denotational semantics to guide the design and implementation of programming languages.Semantics-driven language design has produ...
Better Static Memory Management: Improvements to Region-Based Analysis of Higher-Order Languages.
Memory Management Region-Based Analysis Higher-Order Languages.
font style='font-size:12px;'>
2016/5/24
Static memory management replaces runtime garbage collection with compile-time annotations that make all memory allocation and deallocation explicit in a program. We improve upon the Tofte/Talpin regi...
Making Set-Constraint Program Analyses Scale
Making Set-Constraint Program Analyses Scale
font style='font-size:12px;'>
2016/5/24
Constraint-based program analyses are appealing because elaborate analyses can be described with a concise and simple set of constraint generation rules. Constraint resolution algorithms have been dev...
Program Analysis Using Mixed Term and Set Constraints
Program Analysis Mixed Term Set Constraints
font style='font-size:12px;'>
2016/5/24
There is a tension in program analysis between precision and eciency. In constraint-based program analysis, at one extreme methods based on uni cation of equality constraints over terms are very fast...
Titanium: A High-Performance Java Dialect
Titanium High-Performance Java Dialect
font style='font-size:12px;'>
2016/5/24
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allowing us to focus attent...
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Constructing Type Constraint-Based Program Analyses
font style='font-size:12px;'>
2016/5/24
BANE (the Berkeley Analysis Engine) is a publicly available toolkit for constructing type- and constraint-based program analyses.1 We describe the goals of the pro ject, the rationale for BANE's overa...
Language Support for Regions
Language Support Regions
font style='font-size:12px;'>
2016/5/24
Region-based memory management systems structure memory by grouping objects in regions under program control.Memory is reclaimed by deleting regions, freeing all objects stored therein. Our compiler f...
Bug Isolation via Remote Program Sampling
bug isolation random sampling assertions feature selection statistical debugging logistic regression
font style='font-size:12px;'>
2016/5/24
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrate ways to use sampled i...
Relational Queries Over Program Traces
Partiqle PTQL program trace query language relational
font style='font-size:12px;'>
2016/5/24
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by programmers, or automaticall...