程序语义学

program semantics的用法和样例:

例句

  1. Semantics is a subject studying the meaning of language.语义学是研究语言意义的一门学科。
  2. The two systems are both sound and complete in this semantics.这两个系统相对于这种语义学有可靠性和完全性。

Sing Sing Correctional Facility is a high-security prison about an hour by car north of New York City. Sing Sing holds 1,600 prisoners. As the men serve their sentences, prison officials are planning for the time those detainees will be released. One

发表于:2018-12-08 / 阅读(200) / 评论(0) 分类 2018年VOA慢速英语(三)月

By Meredith Buel Washington 30 May 2008 U.S. National Security Advisor Stephen Hadley says the world cannot let down future generations by allowing Iran to develop a nuclear bomb, saying such a development would be a disaster for the Middle East and

发表于:2018-12-08 / 阅读(205) / 评论(0) 分类 VOA标准英语2008年(五月)

The US House of Representatives has narrowly voted to continue collecting data on US phone calls. Lawmakers rejected the amendment that would have blocked funding for the National Security Agency's program, which gathers details of every call made by

发表于:2018-12-19 / 阅读(209) / 评论(0) 分类 世界各地新闻集锦

After-School Program May Hold Secret to Success In Washington, DC, only 69 percent of public school students graduate from high school on time. Many factors influence that low rate. One of the most important ones is whether the people around the stud

发表于:2019-01-02 / 阅读(256) / 评论(0) 分类 2017年VOA慢速英语(二)月

Imer still has pieces of a bullet in his back. The 43-year-old Mexican immigrant fled the Mexican state of Guerrero more than 20 years ago after he was shot in the back by drug dealers. Imer asked VOA to use only his first name in this story. He ente

发表于:2019-01-03 / 阅读(202) / 评论(0) 分类 2018年VOA慢速英语(六)月

Program Offers Job Experience, Pay for High Schoolers At the start of the school year, Aelina Pogosian could not wait to tell her friends about the most interesting thing she had done over the summer. The 16-year-old did not want to talk about a trip

发表于:2019-01-03 / 阅读(249) / 评论(0) 分类 2017年VOA慢速英语(十一)月

A group in Italy is preparing immigrants, mostly from Africa, for jobs as beekeepers. The group then helps to set-up meetings between these migrants and honey producers who need employees. International aid groups say European Union (EU) efforts to r

发表于:2019-01-03 / 阅读(486) / 评论(0) 分类 2017年VOA慢速英语(九)月

By Cathy Majtenyi Nairobi 22 January 2008 An international agricultural research group recently announced a fellowship program to help African women who work in agricultural sciences to advance their careers. The program is based on two earlier pilo

发表于:2019-01-09 / 阅读(219) / 评论(0) 分类 VOA标准英语2008年(一月)

Former U.S. President Bill Clinton has agreed to lead a U.N. program that will offer jobs to Haitian youth as part of the clean-up and recovery following last week's earthquake. Last spring U.N. Secretary General Ban Ki-moon asked Mr. Clinton to beco

发表于:2019-01-11 / 阅读(193) / 评论(0) 分类 VOA标准英语2010年(一月)

DEVELOPMENT REPORT - DOTS Program Helps Reduce Tuberculosis Rates in China By Jill Moss Broadcast: Monday, August 09, 2004 This is Robert Cohen with the VOA Special English Development Report. The Wor

发表于:2019-01-30 / 阅读(254) / 评论(0) 分类 农业与发展

EDUCATION REPORT - International Education Program Aims for Worldly Students By Nancy Steinbach Broadcast: Thursday, September 15, 2005 I'm Shep O'Neal with the VOA Special English Education Report. I

发表于:2019-01-30 / 阅读(235) / 评论(0) 分类 教育与新闻

By Phillip Wellman Dakar 14 October 2007 The United States Agency for International Development and the U.S.-based World Cocoa Foundation have agreed to launch a multi-year partnership aimed at improving education and providing greater opportunities

发表于:2019-02-04 / 阅读(233) / 评论(0) 分类 2007年VOA常速英语(十月)

By Jessica Berman Washington 01 April 2008 For the past 50 years, the development of new drugs to treat tropical diseases that affect nearly one billion people has languished because it has not been profitable for drug manufacturers in the West. But

发表于:2019-02-05 / 阅读(225) / 评论(0) 分类 VOA常速英语2008年(四月)

Manned space program's Meridian Project operational BEIJING, Oct. 23 (Xinhua) -- The Meridian Project, a massive scientific research project that will monitor weather in space, became fully operational on Tuesday. The Meridian Space Weather Monitorin

发表于:2019-02-07 / 阅读(220) / 评论(0) 分类 英语新闻

Japan and the EU have urged North Korea to abandon its nuclear and missile program, despite its willingness to return to the six-party talks. Japanese Defence Minister Itsunori Onodera says his country would never tolerate North Korea's nuclear progr

发表于:2019-02-14 / 阅读(260) / 评论(0) 分类 世界各地新闻集锦

US Senate Passes Resolution Against Iran's Nuclear Program The U.S. Senate has overwhelmingly approved a resolution that reaffirms U.S. efforts to stop Iran from developing a nuclear weapon. The senators on Saturday voted 90-to-1 in favor of the non-

发表于:2019-02-17 / 阅读(186) / 评论(0) 分类 英语新闻

As crew members of the upcoming NASA space shuttle mission prepare for the final flight of the shuttle program, they say they are inspired by NASA's accomplishments, but also about the retirement of the shuttle fleet and lay-offs among the NASA commu

发表于:2019-02-18 / 阅读(184) / 评论(0) 分类 英语新闻

The weak economy in the United States has made it tough for many people to find work. The Starbucks coffee company, based in Seattle, Washington, is trying to promote job growth through its new Create Jobs for USA program. This month, the company beg

发表于:2019-02-18 / 阅读(198) / 评论(0) 分类 英语新闻

Every school day, about 7,000 students drop out of school(退学) in the United Stars. That's a total of 1.2 million students each year and only about 70 percent of entering high school freshman graduate each year. The problem is especially serious i

发表于:2019-02-18 / 阅读(234) / 评论(0) 分类 英语新闻

在英语学习中,我们自然会遇到许多生词。这时,许多人立即翻阅字典,查找词义。其实,这种做法是不科学的。它不但费时费力,而且影响阅读速度。事实上,阅读材 料中的每个词与它前后

发表于:2019-02-19 / 阅读(166) / 评论(0) 分类 大学四六级阅读
学英语单词
address processing
air-conditioning pump
Alexandra kingpalm
American Council of Learned Societies
Andringitra
anthochlor
askolis
brittle silver ore
brulzies
bunky
cats eye ratio
come to the rescue
corruptionists
degasity
diastem
diluted acid
double minimal surface
engineering change plane
enthelial tumor
epigrammist
epithermal neutron absorption
Eurya pseudocerasifera
exhaust steam preheater
extraction mechanism
foodsheds
forefences
four-thirty
full traffic-actuated controller
genus synchytriums
green manure crop pest
guind
gummed label
horseshoe curve
in undertones
integrated transport
inverse telecine
isametrics
large-scale circulation
magnitude distribution
manganese-Autunite
manufacturing's working curve
maritime distress maneuvering
mckey
Meyssac
microaneurism
network former
neutron camera
nuptial structures
o/w emulsion mud
optogenetically
out or keeping
overcute
peep sights
photonic signal
postsphygmic period
pressure kier
principle of moment of momentum
product algebraic variety
production possibility
protector of respiration
Pseudoraphis longipaleacea
Psytomin
radiophone transmitter
ratle
Raumanon
read only file
rebrews
rheumatoid nodules
Rhododendron hemitrichotum
rhomboid prism
Rolfshagen
rosts
rubber-tyred rapid transit
sales contest
saturate record
sea-face
sedikides
Sedum truncatistigmum
sell on commission
spade-iron
sphygmomanometre
square cut stern
standard air leak rate
T SQL
tamers
technical economical computation
temperature-efficiency ratio
tetrahydroisoquinoline alkaloid
TGW
three-score
time-and-distances
transfixion amputation
trehalosamine
unidirectional freezing
v-tail
video assist
whirl-about
whiz through
with full mouth
yarn withdrawal force
Youth Employment Service
zirconium bromide