程序语义学

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 / 阅读(174) / 评论(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 / 阅读(167) / 评论(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 / 阅读(173) / 评论(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 / 阅读(215) / 评论(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 / 阅读(168) / 评论(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 / 阅读(218) / 评论(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 / 阅读(451) / 评论(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 / 阅读(186) / 评论(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 / 阅读(163) / 评论(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 / 阅读(211) / 评论(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 / 阅读(200) / 评论(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 / 阅读(189) / 评论(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 / 阅读(190) / 评论(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 / 阅读(195) / 评论(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 / 阅读(227) / 评论(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 / 阅读(158) / 评论(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 / 阅读(143) / 评论(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 / 阅读(168) / 评论(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 / 阅读(187) / 评论(0) 分类 英语新闻

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

发表于:2019-02-19 / 阅读(143) / 评论(0) 分类 大学四六级阅读
学英语单词
a clay doll
administratively
almond oils
alveololingual
application parameter
badonkadonks
baker's chocolates
bazilles
Ben Gurion
Besse
bias-to-window ratio
bioluminescent probe
body-sensing
bunga
carbon reactor
carterly
chain-store game
chiang chung-chengs
coaxial heli copter
communicating device
compressor stall
cubboard
defiance campaign
diesel hydraulic winch
drive backwards
dust-freer
effective radium content
ethesdanine
exposure control lever
extensive farm
fancied those
feel contempt for
force along
forked lightnings
forthlead
foyn
gastric emptying time
GLOBCOM
goes belly up
Himmelberg
HIV-antibody-negative
hour mechanism support banking ring
hybrid systems
ice-swimming
idiomorphic pore
internal axis of eye
Kaimon-dake
Kaplan Group
lasering
Lentrat
limited distribution
linkup load trolley
lumpus
macrobicyclic diamine cryptand
Maxmo(Maksamaa)
Melilotus albus
network model database
non-conforming product
non-foaming detergent
nonsingular normal distribution
Nostochopsis
only-begotten
overflow with internal chaining
pentafluorides
PFSP
Phakospora
phenomenologist
phobias
physiognomical
pitapat
pre-owneds
precipitation recorder
premium reducing
prima inter pares
prong hoe
Prospecting costs
ptilopaedic
pulse, dialing
pyogenous
ratio calibrator
regulatory agency
rehberger
resettlement
retroperitoneal organs
Riemann integral
roller caption
Rosice
saddlest
Second Adventist
snudge
Sohyo
solvent tank
sopped up
throwaway
to get with it
tripping device for plankton net
unaccelerated conditions
United Nations
vitomir
viva
wire terminal clamp