Travel Support for U.S. Participants at an International Workshop; Wadern, Germany; March 9-13, 1992
为参加国际研讨会的美国参与者提供差旅支持;
基本信息
- 批准号:9122095
- 负责人:
- 金额:$ 1.65万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1992
- 资助国家:美国
- 起止时间:1992-04-15 至 1992-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
编程环境研究的目标是增加 软件开发过程的生产力, 更好的工具来创建、操作和理解程序。 在1992年3月9日至13日的一周内, 环境将在最近成立的国际 计算机科学会议和研究中心(IBFI)在Dagstuhl 城堡在瓦登,德国。 研讨会将汇集约 40名活跃在该地区的研究人员。 它将侧重于新的和最近的 发展情况,重点是以下专题: o基于单程序员语言的环境 生成编程环境 o工具集成机制 奥里 o系统的合并和重组 o预测和理解系统 o增量计算 研讨会的目的是激发智力 在参与者中引起骚动。 研讨会的形式将使其 参与者可以提供更深入的介绍, 会议上的惯例。 包括演示的演示文稿 工作系统或原型将受到鼓励。 这个奖项 提供资金支付与会者的跨大西洋机票 从美国
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Thomas Reps其他文献
Symbolic analysis via semantic reinterpretation
- DOI:
10.1007/s10009-010-0158-6 - 发表时间:
2010-05-15 - 期刊:
- 影响因子:1.400
- 作者:
Junghee Lim;Akash Lal;Thomas Reps - 通讯作者:
Thomas Reps
The SemGuS Toolkit
SemGuS 工具包
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Keith J.C. Johnson;Andrew Reynolds;Thomas Reps;Loris D'antoni - 通讯作者:
Loris D'antoni
On the sequential nature of interprocedural program-analysis problems
- DOI:
10.1007/s002360050068 - 发表时间:
1996-11-01 - 期刊:
- 影响因子:0.500
- 作者:
Thomas Reps - 通讯作者:
Thomas Reps
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs
自动化不可实现逻辑:无限程序集的霍尔式证明综合
- DOI:
10.48550/arxiv.2401.13244 - 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Shaan Nagy;Jinwoo Kim;Loris D'antoni;Thomas Reps - 通讯作者:
Thomas Reps
Efficient comparison of program slices
- DOI:
10.1007/bf01261653 - 发表时间:
1991-08-01 - 期刊:
- 影响因子:0.500
- 作者:
Susan Horwitz;Thomas Reps - 通讯作者:
Thomas Reps
Thomas Reps的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Thomas Reps', 18)}}的其他基金
Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of Code
合作研究:SHF:媒介:代码的语义感知神经模型
- 批准号:
2212558 - 财政年份:2022
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
SHF:Small: Crash Scene Investigation - Debugging Programs that Fail Unexpectedly
SHF:Small:崩溃现场调查 - 调试意外失败的程序
- 批准号:
1420866 - 财政年份:2014
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
SHF: Medium: MACANTOK -- a MAchine-Code-ANalysis TOol Kit -- and its Applications
SHF:介质:MACANTOK——机器代码分析工具套件及其应用
- 批准号:
0904371 - 财政年份:2009
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
Advanced Methods for Performing Static Analysis of Machine Code
执行机器代码静态分析的高级方法
- 批准号:
0810053 - 财政年份:2008
- 资助金额:
$ 1.65万 - 项目类别:
Continuing Grant
Collaborative Research: Advanced Static-Analysis Techniques for Ensuring Reliable Software
协作研究:确保软件可靠的先进静态分析技术
- 批准号:
0540955 - 财政年份:2006
- 资助金额:
$ 1.65万 - 项目类别:
Continuing Grant
CT-ISG: Advanced Methods for Checking Information-Security Properties
CT-ISG:检查信息安全属性的高级方法
- 批准号:
0524051 - 财政年份:2005
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
Investigation of a New Compressed Representation of Boolean Functions
布尔函数新压缩表示的研究
- 批准号:
9986308 - 财政年份:2000
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
Shape-Analysis for Languages with Destructive Updating
具有破坏性更新的语言的形状分析
- 批准号:
9619219 - 财政年份:1997
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
相似国自然基金
两性离子载体(zwitterionic support)作为可溶性支载体在液相有机合成中的应用
- 批准号:21002080
- 批准年份:2010
- 资助金额:19.0 万元
- 项目类别:青年科学基金项目
基于Support Vector Machines(SVMs)算法的智能型期权定价模型的研究
- 批准号:70501008
- 批准年份:2005
- 资助金额:17.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Travel: Support for U.S. Students to Receive Training on Research Cyberinfrastructure at the 2024 Annual Modeling and Simulation Conference (ANNSIM)
旅行:支持美国学生在 2024 年年度建模与仿真会议 (ANNSIM) 上接受研究网络基础设施培训
- 批准号:
2425778 - 财政年份:2024
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
Travel: Support Participation in International Scientific Meetings by U.S. Astronomers
旅行:支持美国天文学家参加国际科学会议
- 批准号:
2342004 - 财政年份:2024
- 资助金额:
$ 1.65万 - 项目类别:
Continuing Grant
Travel: Support for U.S. Students to Receive Training on Research Cyberinfrastructure at the 2023 Annual Modeling and Simulation Conference (ANNSIM)
旅行:支持美国学生在 2023 年年度建模与仿真会议 (ANNSIM) 上接受研究网络基础设施培训
- 批准号:
2306961 - 财政年份:2023
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
Support for student travel to the 11th U.S. National Combustion Meeting, Pasadena, CA, March 24 - 27, 2019
支持学生前往参加 2019 年 3 月 24 日至 27 日在加利福尼亚州帕萨迪纳举行的第 11 届美国全国燃烧会议
- 批准号:
1848688 - 财政年份:2018
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
Travel Support for U.S. Participants Attending the Eighth Conference of the International Marangoni Association
为参加国际马兰戈尼协会第八届会议的美国与会者提供差旅支持
- 批准号:
1640677 - 财政年份:2016
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
Travel Support for U.S. Participants in the VarSITI Symposia/Meetings during 2016-2018
为 2016-2018 年 VarSITI 研讨会/会议的美国参与者提供差旅支持
- 批准号:
1606539 - 财政年份:2016
- 资助金额:
$ 1.65万 - 项目类别:
Continuing Grant
2016 Web Archiving Data Workshops: Travel Support for U.S. Students
2016 年网络存档数据研讨会:为美国学生提供旅行支持
- 批准号:
1624067 - 财政年份:2016
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
Travel Support for U.S. Participants Attending the 8th International Symposium on Stratified Flows (San Diego, August 29 - September 1, 2016)
为参加第八届分层流国际研讨会(圣地亚哥,2016 年 8 月 29 日至 9 月 1 日)的美国与会者提供差旅支持
- 批准号:
1630244 - 财政年份:2016
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
International Travel Support during 2016-17 for U.S.-Japan Research Collaboration on the Seismic Design and Testing of Mid-Rise Reinforced Concrete Buildings
2016-17 年美日中层钢筋混凝土建筑抗震设计和测试研究合作国际旅行支持
- 批准号:
1640616 - 财政年份:2016
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant
International Travel Grant to Support U.S. Researchers to Attend the International Statistical Institute Satellite Meeting on Small Area Estimation
国际旅行补助金支持美国研究人员参加国际统计研究所小区域估算卫星会议
- 批准号:
1532741 - 财政年份:2015
- 资助金额:
$ 1.65万 - 项目类别:
Standard Grant