http:^^www.cs.washington.edu^education^courses^505^fall94^definitions.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 59 行

HTML
59 行
字号 
Date: Wed, 08 Jan 1997 21:01:30 GMTServer: NCSA/1.4.2Content-type: text/html<html><head><title>Definitions</title></head><body><h1> CSE 505 -- Some Definitions </h1><P>So far this only has a few definitions of the concepts we've studied ...more will be added next time the course is offered, I hope.<P><DL><DT> <strong> Type safe </strong><DD> Type safe means that the language guarantees that one type can't beincorrectly used in place of another type, in other words, that allexpressions are guaranteed to be type consistent.  This can be checked atcompile time, run time, or a mixture.  Lisp, Ada, and Miranda are examplesof type safe languages.  Fortran and C are examples of languages thataren't type safe.<DT> <strong> Statically typed </strong><DD> Statically typed means that the type of every expression can bedetermined at compile time.  We also check at compile time that allfunctions and operations are applied to expressions of the correct type.Miranda and Ada are examples of statically typed languages.  (Lisp is notstatically typed though.)  "Statically typed" implies "type safe".<DT> <strong> Strongly typed  </strong><DD> There are two common definitions for strongly typed (sorry) -- one isstrongly typed = statically typed; the other is strongly typed = type safe.<DT> <strong> Weakly typed </strong><DD> Weakly typed means "not type safe".  Fortran and C are examples ofweakly typed languages.<DT> <strong> Aliasing </strong><DD> Aliasing arises when you have two or more variables referring to thesame storage location.  I'll add more to the definition after the homeworkis due...</DL></body></html>

http:^^www.cs.washington.edu^education^courses^505^fall94^definitions.html - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.washington.edu^education^courses^505^fall94^definitions.html 源码文件，采用 HTML 编程语言编写，共 59 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与universities相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?