搜索结果: 76-90 共查到“知识库 计算机软件”相关记录5793条 . 查询时间(3.731 秒)
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
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
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...
Cool: A Portable Project for Teaching Compiler Construction
Cool Portable Project Teaching Compiler Construction
2016/5/25
The compiler course is a xture of undergraduate computer science education. Most CS programs o er a course on compilers that includes a substantial pro ject where students write a compiler for a smal...
A Development Environment for Horizontal Microcode
Development Environment Horizontal Microcode
2016/5/25
A Development Environment for Horizontal Microcode.
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.
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...
This paper reports on user experience with Tioga, a DBMScentric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct manipulation system that is mor...
Tioga-2: A Direct Manipulation Database Visualization Environment.
Tioga-2 Direct Manipulation Database Visualization Environment.
2016/5/24
This paper reports on user experience with Tioga, a DBMS-centric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct manipulation system that is mo...
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
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 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
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...
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...
Video-Based Document Tracking: Unifying Your Physical and Electronic Desktops
Your Physical Electronic Desktops
2016/5/24
This paper presents an approach for tracking paper documents
on the desk over time and automatically linking them
to the corresponding electronic documents using an overhead
video camera. We demons...