程序语义学

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 / 阅读(180) / 评论(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 / 阅读(177) / 评论(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 / 阅读(180) / 评论(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 / 阅读(227) / 评论(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 / 阅读(179) / 评论(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 / 阅读(223) / 评论(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 / 阅读(459) / 评论(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 / 阅读(193) / 评论(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 / 阅读(166) / 评论(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 / 阅读(220) / 评论(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 / 阅读(209) / 评论(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 / 阅读(196) / 评论(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 / 阅读(196) / 评论(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 / 阅读(199) / 评论(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 / 阅读(231) / 评论(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 / 阅读(165) / 评论(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 / 阅读(152) / 评论(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 / 阅读(172) / 评论(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 / 阅读(199) / 评论(0) 分类 英语新闻

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

发表于:2019-02-19 / 阅读(148) / 评论(0) 分类 大学四六级阅读
学英语单词
abstractifying
affinized
african-borns
alexiterial
anchoral
anti-tank
apomorphine methylbromide
Arteria inferior medialis genus
bathing towel
bihonazol
breakpoint cluster region
bronchocavernous
carbon-graphite impregnated with phosphate
change chart
chaser tooth
choos-choos
Coligni
contributing editor
cyclic di-ester
Dar'inskoye
datura
depthfinder
digitated leaf
diphenyl ester
direct dialing system
double grab
dravas
drive sb out of his mind
educational library
Egyptian cotton
EMCF
faith healer
fibrous sheath
filiform papillae
filling-up method
furnace-door
galipeine
Gordon riots
Hodson
hydraulic-shock absorber
hydroxyphenylhydrazinouracil
hypotonic
i-washe
imaginacin
incisura intercondyloidea
instinct
intra-cardial
litharch sere
Man City
marginal oilwell
Mekong, Mouths of the
mini-Palestinian
mone
Mossbauer effect
mud cat
null measurement of transconductance
OCTN
paraselectivity (sedlmayr 1956)
paved
pen writing recording instrument
pigeon retina
plane seats
planer type milling machine,gantry type milling machine
precognitively
propulsion bay
Q-switch
rainbow holography
reimplementing
return flow
right arrow
Russell Flint
s acre
sand mold
Sant'Elia, C.
satellite Doppler navigation
scalded flour
seecatch
shanghai bund
sheargraph
shonkinitic
single sideband suppressed carrier
solid beam efficiency
soundlessness
subgelisol
sudermo
suppressed-zero meter
Thamesford
total hydraulic head on damaged part
tractor-hauled
tungstenic acid
turbogrid tower
two-out
uk day
ultradolichocephalic
unmasculate
unsamen
unsoundness of mind
unsupervisedly
Walgaon
wood-containing paper
wowsers
ZtheoryZ