咨询与建议

限定检索结果

文献类型

  • 75 篇 会议
  • 10 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 86 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 72 篇 工学
    • 68 篇 计算机科学与技术...
    • 62 篇 软件工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 信息与通信工程
    • 4 篇 电气工程
    • 3 篇 力学(可授工学、理...
    • 3 篇 材料科学与工程(可...
    • 3 篇 控制科学与工程
    • 3 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 农业工程
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 化学工程与技术
    • 1 篇 石油与天然气工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
  • 29 篇 理学
    • 25 篇 数学
    • 3 篇 物理学
    • 2 篇 系统科学
    • 1 篇 化学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 5 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 2 篇 图书情报与档案管...
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 军事学

主题

  • 14 篇 computer program...
  • 8 篇 functional progr...
  • 8 篇 computer softwar...
  • 4 篇 semantics
  • 4 篇 computer program...
  • 3 篇 computer archite...
  • 2 篇 computer systems...
  • 2 篇 computational co...
  • 2 篇 set theory
  • 2 篇 calculations
  • 2 篇 computer metathe...
  • 2 篇 data structures
  • 1 篇 object oriented ...
  • 1 篇 computer circuit...
  • 1 篇 parallel archite...
  • 1 篇 function evaluat...
  • 1 篇 libraries
  • 1 篇 modeling languag...
  • 1 篇 data-flow langua...
  • 1 篇 program interpre...

机构

  • 4 篇 department of co...
  • 3 篇 department of co...
  • 2 篇 yale university ...
  • 1 篇 western electric...
  • 1 篇 computer systems...
  • 1 篇 univ of york yor...
  • 1 篇 computer science...
  • 1 篇 univ of glasgow ...
  • 1 篇 department of co...
  • 1 篇 canon inc kanaga...
  • 1 篇 department of co...
  • 1 篇 department of co...
  • 1 篇 univ of amsterda...
  • 1 篇 icad inc. 1000 m...
  • 1 篇 university colle...
  • 1 篇 department of co...
  • 1 篇 hewlett-packard ...
  • 1 篇 massachusetts in...
  • 1 篇 department of in...
  • 1 篇 oldenburg univer...

作者

  • 5 篇 anon
  • 3 篇 arvind
  • 2 篇 kathail vinod
  • 2 篇 smoliar stephen ...
  • 2 篇 runciman colin
  • 2 篇 keller robert m.
  • 2 篇 frankel robert e...
  • 2 篇 hudak paul
  • 2 篇 raghavendra c.s.
  • 2 篇 ercegovac m.d.
  • 2 篇 ariola zena
  • 2 篇 manwaring mark l...
  • 2 篇 meador jack l.
  • 1 篇 mishra prateek
  • 1 篇 musser d.r.
  • 1 篇 seaman jill
  • 1 篇 ang boon seong
  • 1 篇 spillinger ilan
  • 1 篇 frankel robert
  • 1 篇 maritsas d.g.

语言

  • 76 篇 英文
  • 10 篇 其他
检索条件"任意字段=1981 Conference on Functional Programming Languages and Computer Architecture, FPCA 1981"
86 条 记 录,以下是61-70 订阅
排序:
Polling efficiently on stock hardware  93
Polling efficiently on stock hardware
收藏 引用
Proceedings of the 6th International conference on functional programming languages and computer architecture (fpca '93)
作者: Feeley, Marc Universite de Montreal Montreal Que Canada
Two strategies for supporting asynchronous interrupts are: the use of the processor's hardware interrupt system and the use of polling. The advantages of polling include: portability, simplicity, and low cost for ... 详细信息
来源: 评论
System of constructor classes: Overloading and implicit higher-order polymorphism
System of constructor classes: Overloading and implicit high...
收藏 引用
Proceedings of the 6th International conference on functional programming languages and computer architecture (fpca '93)
作者: Jones, Mark P. Yale Univ New Haven United States
This paper describes a flexible type system which combines overloading and higher-order polymorphism in an implicitly typed language using a system of constructor classes - a natural generalization of type classes in ... 详细信息
来源: 评论
PROCEEDINGS - IEEE computer SOCIETY INTERNATIONAL conference, 23RD FALL COMPCON 81: PRODUCTIVITY AN URGENT PRIORITY, 1981.
PROCEEDINGS - IEEE COMPUTER SOCIETY INTERNATIONAL CONFERENCE...
收藏 引用
Proc IEEE Comput Soc Int Conf 23rd, FALL COMPCON 81, Prod on Urgent Priority, Sep 15-17 1981
作者: Anon
Proceedings includes 53 papers (4 appear in abstract form only) presented in 25 sessions dealing with various aspects of productivity and its associated measures, human factors quality assurance, experience with tools... 详细信息
来源: 评论
Para-functional programming: A paradigm for programming multiprocessor systems  86
Para-functional programming: A paradigm for programming mult...
收藏 引用
13th AnnuaJ ACM Symposium on the Principles of programming languages, POPL 1986
作者: Hudak, Paul Smith, Lauren Yale University Department of Computer Science United States
One of the most important pragmatic advantages of functional languages is that concurrency in a program is implicit-there is no need for special constructs to express parallelism as is required in most conventional la... 详细信息
来源: 评论
From operational definitions to abstract semantics  93
From operational definitions to abstract semantics
收藏 引用
Proceedings of the 6th International conference on functional programming languages and computer architecture (fpca '93)
作者: Purushothaman, S. Seaman, Jill NC State Univ Raleigh NC United States
When the technique of abstract interpretation is used to analyze properties of programs that only depend upon their input/output behavior, the fact that the analysis holds for all implementations is generally obvious.... 详细信息
来源: 评论
Laboratory activities for studying the formal semantics of programming languages
Laboratory activities for studying the formal semantics of p...
收藏 引用
Eastern Joint computer conference, AIEE-IRE 1954
作者: Kurtz, Barry L. Computer Science New Mexico State University Box 3CU Las CrucesNM88003 United States
The current thrust in undergraduate computer science education is to emphasize the laboratory nature of the discipline, but little has been done to introduce laboratories at the graduate level. Teaching techniques for... 详细信息
来源: 评论
DIRECT HARDWARE EXECUTION OF A HIGH LEVEL LANGUAGE: SOME FUNDAMENTAL OBSERVATIONS.
DIRECT HARDWARE EXECUTION OF A HIGH LEVEL LANGUAGE: SOME FUN...
收藏 引用
Conf Rec Asilomar Conf Circuits Syst Comput 14th
作者: Manwaring, Mark L. Meador, Jack L.
A new view of the high level computer architecture is introduced. Language theoretical concepts are applied to digital systems engineering in a manner which allows for more complete understanding of the direct executi... 详细信息
来源: 评论
Data sharing in an FFP machine  82
Data sharing in an FFP machine
收藏 引用
1982 ACM Symposium on LISP and functional programming, LFP 1982
作者: Magó, Gyula Department of Computer Science University of North Carolina Chapel Hill United States
The possibility of expressing data sharing in FPs is discussed. The Paterson-Wegman unification algorithm is considered, in which data sharing is indispensable to achieve efficient (linear time) execution. An FP imple...
来源: 评论
DIGITAL SYSTEMS AS MATHEMATICAL EXPRESSIONS.
DIGITAL SYSTEMS AS MATHEMATICAL EXPRESSIONS.
收藏 引用
作者: Frankel, Robert E. Smoliar, Stephen W.
Register transfer languages are inadequate as a convenient mathematical formalism which will facilitate the description, analysis, and synthesis of digital systems at various levels of complexity. functional programmi... 详细信息
来源: 评论
SPECIFYING TARGET RESOURCES IN A MACHINE INDEPENDENT HIGHER LEVEL LANGUAGE.  81
SPECIFYING TARGET RESOURCES IN A MACHINE INDEPENDENT HIGHER ...
收藏 引用
AFIPS conference Proceedings - 1981 National computer conference.
作者: Davidson, Scott Shriver, Bruce D. Western Electric Engineering Research Center Princeton New Jersey University of Southwestern Louisiana Lafayette Louisiana
Each Higher Level Language (HLL) defines a virtual machine. A compiler for a HLL translates a program written for this virtual machine into a program for a lower level target virtual machine, which could be at the ope... 详细信息
来源: 评论