Interface-Oriented Programming
Interface-Oriented Programming
批准号:
0540818
负责人:
Matthias Felleisen
金额:
$0.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2006
资助国家:
美国
项目状态:
已结题
起止时间:
2006-07-01 至 2011-06-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Abstract--------CCF-0540818Matthias FelleisenNortheastern UniversityInterface-Oriented ProgrammingConventional wisdom in the software community demands that software engineers program to interfaces just like engineers in physical disciplines construct artifacts from off-the-rack components with well-defined interfaces. Empirical data shows, however, that programmers do not use interfaces even in programming languages (such as C# and Java) that support them with explicit syntax.The objective of this project is to investigate a radical approach to interface-oriented programming. The PI and his students will design and implement a programming language in which programmers must program to interfaces. Time permitting, they will also explore the construction of supportive software tools for refactoring existing programs into interface-oriented code. Based on these first steps, they will then explore how (student) programmers work in such a radically interface-oriented context and what effects it has on software design. The lessons learned from this investigation will have a broader impact than just the immediate academic research community. It will help the designers of programming languages with the nextgeneration of OOP languages; it will suggest how programming environments can assist programmers with software tools to achieve certain standards; and it will provide guidance to software engineering educators who wish to teach interface-oriented programming.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Programming, and Reasoning about, Actors that Share State
-
批准号:2315884
-
项目类别:Standard Grant
-
资助金额:$54.0万
-
财政年份:2023
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Beyond Behavioral Software Contracts
-
批准号:2116372
-
项目类别:Standard Grant
-
资助金额:$49.86万
-
财政年份:2021
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax
-
批准号:2007686
-
项目类别:Standard Grant
-
资助金额:$44.99万
-
财政年份:2020
-
负责人:Matthias Felleisen
-
依托单位:
CRI: CI-SUSTAIN: Racket on Alternative Platforms
-
批准号:1823244
-
项目类别:Continuing Grant
-
资助金额:$99.94万
-
财政年份:2018
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Large: Gradual Typing Across the Spectrum
-
批准号:1518844
-
项目类别:Standard Grant
-
资助金额:$220.0万
-
财政年份:2015
-
负责人:Matthias Felleisen
-
依托单位:
CI-EN: Collaborative: Run Your Research with Redex
-
批准号:1405881
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2014
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Collaborative Research: Compiler Coaching
-
批准号:1421412
-
项目类别:Standard Grant
-
资助金额:$31.64万
-
财政年份:2014
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages
-
批准号:1064922
-
项目类别:Standard Grant
-
资助金额:$40.65万
-
财政年份:2011
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Collaborative Research: Modular ACL2
-
批准号:1016418
-
项目类别:Standard Grant
-
资助金额:$29.94万
-
财政年份:2010
-
负责人:Matthias Felleisen
-
依托单位:
CI-ADDO-EN: Infrastructure for the Production of Languages
-
批准号:0855140
-
项目类别:Continuing Grant
-
资助金额:$66.0万
-
财政年份:2009
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Proposal: Integrating Theorem Proving into the Software Engineering Curriculum
-
批准号:0632872
-
项目类别:Standard Grant
-
资助金额:$7.55万
-
财政年份:2007
-
负责人:Matthias Felleisen
-
依托单位:
CRI: Language-Oriented Programming in PLT Scheme
-
批准号:0551486
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matthias Felleisen
-
依托单位:
SoD-HCER: Collaborative Research: Using Market Forces to Improve the Design of Software
-
批准号:0613805
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Research: Well-Founded Behavioral Software Contracts
-
批准号:0429595
-
项目类别:Standard Grant
-
资助金额:$16.94万
-
财政年份:2004
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Research: Robust Interactive Web Services
-
批准号:0306269
-
项目类别:Standard Grant
-
资助金额:$13.69万
-
财政年份:2003
-
负责人:Matthias Felleisen
-
依托单位:
Computing Education for Every Student in Secondary Schools
-
批准号:0010064
-
项目类别:Continuing Grant
-
资助金额:$189.6万
-
财政年份:2001
-
负责人:Matthias Felleisen
-
依托单位:
Modular Program Analyses for Higher-Order Programming Languages
-
批准号:9619756
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Matthias Felleisen
-
依托单位:
The Expressive Power of Programming Languages
-
批准号:8917022
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1990
-
负责人:Matthias Felleisen
-
依托单位:
A Semantic Foundation for Program Optimization
-
批准号:8807520
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1988
-
负责人:Matthias Felleisen
-
依托单位:
国内基金
海外基金
炭包覆纳米晶的"Oriented Attachment"生长及其多维结构构筑
-
批准号:51572015
-
项目类别:面上项目
-
资助金额:64.0万元
-
批准年份:2015
-
负责人:周继升
-
依托单位: