Travel Support for U.S. Participants at an International Workshop; Wadern, Germany; March 9-13, 1992
Travel Support for U.S. Participants at an International Workshop; Wadern, Germany; March 9-13, 1992
批准号:
9122095
负责人:
Thomas Reps
金额:
$1.65万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1992
资助国家:
美国
项目状态:
已结题
起止时间:
1992-04-15 至 1992-09-30
中文摘要
编程环境研究的目标是通过为创建、操作和理解程序提供更好的工具来提高软件开发过程的生产率。在1992年3月9日至13日的一周内,将在最近在德国瓦德恩达格斯图尔城堡成立的国际计算机科学会议和研究中心(IBFI)举行一次关于编程环境的讲习班。研讨会将汇集该地区约40名活跃的研究人员。它将重点关注新的和最近的发展,重点介绍以下主题:o基于语言的单程序员环境O生成工具集成机制的编程环境O系统的调试、合并和重组O对增量计算系统的预测和理解研讨会的目的是在参与者中激发智力的发酵。讲习班的形式将使与会者有可能作比会议惯例更深入的介绍。将鼓励包括工作系统或原型演示在内的演示。该奖项提供资金,用于支付来自美国的参赛者的跨大西洋机票费用。
英文摘要
The goal of research on programming environments is to increase the productivity of the software-development process by providing better tools for creating, manipulating, and understanding programs. During the week of March 9-13,1992, a workshop on programming environments will be held at the recently established International Conference and Research Center for Computer Science (IBFI) at Dagstuhl Castle in Wadern, Germany. The workshop will bring together about forty active researchers in the area. It will focus on new and recent developments, with emphasis on the following topics: o Single-programmer language-based environments o Generation of programming environments o Tool-integration mechanisms o Debugging o Merging and restructuring of systems o Projection and understanding of systems o Incremental computation The intention of the workshop is to stimulate intellectual ferment among the participants. The workshop's format will make it possible for participants to give more in-depth presentations than is customary at conferences. Presentations that include demonstrations of working systems or prototypes will be encouraged. This award provides funds to cover the transatlantic airfare of the participants from the United States.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of Code
-
批准号:2212558
-
项目类别:Standard Grant
-
资助金额:$20.92万
-
财政年份:2022
-
负责人:Thomas Reps
-
依托单位:
SHF:Small: Crash Scene Investigation - Debugging Programs that Fail Unexpectedly
-
批准号:1420866
-
项目类别:Standard Grant
-
资助金额:$47.78万
-
财政年份:2014
-
负责人:Thomas Reps
-
依托单位:
SHF: Medium: MACANTOK -- a MAchine-Code-ANalysis TOol Kit -- and its Applications
-
批准号:0904371
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2009
-
负责人:Thomas Reps
-
依托单位:
Advanced Methods for Performing Static Analysis of Machine Code
-
批准号:0810053
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2008
-
负责人:Thomas Reps
-
依托单位:
Collaborative Research: Advanced Static-Analysis Techniques for Ensuring Reliable Software
-
批准号:0540955
-
项目类别:Continuing Grant
-
资助金额:$27.5万
-
财政年份:2006
-
负责人:Thomas Reps
-
依托单位:
CT-ISG: Advanced Methods for Checking Information-Security Properties
-
批准号:0524051
-
项目类别:Standard Grant
-
资助金额:$46.0万
-
财政年份:2005
-
负责人:Thomas Reps
-
依托单位:
Investigation of a New Compressed Representation of Boolean Functions
-
批准号:9986308
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2000
-
负责人:Thomas Reps
-
依托单位:
Shape-Analysis for Languages with Destructive Updating
-
批准号:9619219
-
项目类别:Standard Grant
-
资助金额:$14.99万
-
财政年份:1997
-
负责人:Thomas Reps
-
依托单位:
Semantics-Based Program Manipulation
-
批准号:9625667
-
项目类别:Standard Grant
-
资助金额:$16.04万
-
财政年份:1996
-
负责人:Thomas Reps
-
依托单位:
Semantics-Based Program Integration
-
批准号:9100424
-
项目类别:Continuing Grant
-
资助金额:$33.12万
-
财政年份:1991
-
负责人:Thomas Reps
-
依托单位:
Presidential Young Investigator Award: Language-Based Program Development Tools
-
批准号:8552602
-
项目类别:Continuing Grant
-
资助金额:$31.2万
-
财政年份:1986
-
负责人:Thomas Reps
-
依托单位:
国内基金
海外基金
两性离子载体(zwitterionic support)作为可溶性支载体在液相有机合成中的应用
-
批准号:21002080
-
项目类别:青年科学基金项目
-
资助金额:19.0万元
-
批准年份:2010
-
负责人:霍聪德
-
依托单位:
基于Support Vector Machines(SVMs)算法的智能型期权定价模型的研究
-
批准号:70501008
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2005
-
负责人:曹丽娟
-
依托单位: