
	Where results make sense

Topic: Larch family

	Larch family - Wikipedia, the free encyclopedia
		The Larch family of formal specification languages are intended for the precise specification of computing systems.
		The Larch family was developed primarily in the United States in the 1980s and 1990s, involving researchers at Xerox PARC, DEC/SRC, MIT, and other places.
		Unlike the Z notation, the Larch family has one language for algebraic specification of abstract data types (LSL, the Larch Shared Language), and a separate interface language tailored to each language in which programs are to be written (Modula-3, C, Smalltalk, etc.).
	en.wikipedia.org /wiki/Larch_family (159 words)

	Larch Frequently Asked Questions (comp.specification.larch FAQ) FAQ
		The Larch family of specification languages [Guttag-Horning-Wing85b] consists of all the BISLs that use LSL for specification of mathematical vocabulary.
		The main difference between LSL and a Larch BISL is that in LSL one specifies mathematical theories of the operators that are used in the pre- and postcondition specifications of a Larch BISL.
		In comparison to Larch family BISLs, the first thing to note is that VDM-SL is not a BISL itself, as it is not tailored to the specification of interfaces for some particular programming language.
	www.non.com /news.answers/larch-faq.html (17902 words)

	ACS :: Larch
		Larch resin is available in ointments, lotions, and oils, often in blends with other herbs and oils to be applied to the skin.
		Larch arabinogalactan was first isolated from the bark of the larch tree in 1992, although this fiber is also available from other plant sources.
		The larch extract arabinogalactan is generally recognized as safe and is approved by the FDA as a food additive and a fiber supplement.
	cancer.org /docroot/ETO/content/ETO_5_3X_Larch.asp?...&viewmode=print (1119 words)

	Floridata: Larix kaempferi
		Japanese larch is a large, deciduous, needle bearing conifer with reddish exfoliating bark and horizontal spreading branches.
		The Japanese larch is a most handsome tree, tall and symmetrically cone shaped, with brilliant glowing yellow foliage in fall.
		The Japanese larch is considered the finest of all the larches in cultivation.
	www.floridata.com /ref/L/lari_kae.cfm (515 words)

	Docs.Rage.Net: /faq/larch-faq (Site not responding. Last check: 2007-10-25)
		Larch and the Larch Family of Languages In this chapter, we discuss global questions about Larch.
		Another problem with this comparison is that Larch has two tiers, but VDM-SL [Jones90] [ISO-VDM96] [Fitzgerald-Larsen98], Z [Hayes93] [Spivey92], and COLD-K [Feijs-Jonkers92] are all integrated languages, which mix aspects of both of the tiers of the Larch family.
		Although you can use the Larch languages and tools without subscribing to any particular view on the utility of formal methods, there is an emerging view of this question in the Larch community.
	docs.rage.net /faq/larch-faq (15792 words)

	Re: Where to get FAQ??
		The Larch family of languages The Larch family of languages supports a two-tiered, definitional style of specification.
		The former kind are Larch interface languages, and the latter is the Larch Shared Language (LSL).
		At that time, we proposed a combination of algebraic and operational specifications which we referred to as "dyadic specification." By 1980 we had evolved the essence of the two-tiered style of specification; the term "two-tiered" was introduced by Jeannette Wing in her 1983 Ph.D. thesis (MIT).
	nms.lcs.mit.edu /larch/archive/msg00260.html (720 words)

	Whiskey-Jack: The Balcony Birdwatcher's Bailiwick! - The Tamarack Larch
		The Tamarack belongs to the "Larch" family and is native to Canada.
		Another species of Larch, the Siberian Larch (Larix sibiric), appears to be used in Alberta for various purposes such as windbreaks and this species has merited an agricultural bulletin (see the reference links).
		Larches are quite different from other conifers because they shed their needles each fall.
	www.pathcom.com /~wgbz/larch.htm (1025 words)

	Auxiliaries : LARCH (Leukaemia Auxiliary at the Royal Children’s Hospital)
		LARCH looks forward to continuing its support of research projects and of families in need during 2007.
		LARCH has had another successful year of fundraising for research into childhood cancer and support of oncology patients and their families.
		This year LARCH has concentrated their fundraising efforts on RCH craft stalls run by Mrs Jean Powell and weekly suburban craft markets run by Noelene Hammond with the support of her dedicated band of knitters.
	www.rch.org.au /rchaux/auxiliaries.cfm?doc_id=4038 (447 words)

	Introduction to Larch
		Larch is a family of Languages that supports a two tiered, definitional style of specification.
		The lectures on Larch are based on Larch: Language And Tools for Formal Specification by John V. Guttag and James J Horning, Springer-Verlag.
		The underlying formalism of the Larch family of Languages is Multisorted first-order logic.
	www.cs.binghamton.edu /~lander/cs380f/cs380fn.html (1994 words)

	larch - definition by dict.die.net
		larch n 1: wood of a larch tree 2: any of numerous conifers of the genus Larix all having deciduous needlelike leaves [syn: larch tree]
		Each Larch specification has two components: an interface containing predicates written in the LIL (Larch Interface Language) designed for the target language and a 'trait' containing assertions about the predicates written in LSL, the Larch Shared Language common to all.
		["The Larch Family of Specification Languages", J. Guttag et al, IEEE Trans Soft Eng 2(5):24-365 (Sep 1985)].
	dict.die.net /larch (122 words)

	Larch Family Photography (Site not responding. Last check: 2007-10-25)
		Larch Family Photography has 50 years combined experience.
		Producing high quality senior portraits, family portraits, and many others, our business seeks to deliver your memories captured in a moment of time.
		We would love to photograph your family, please call us for an appointment at (405) 350-0070.
	www.larchfamilyphotography.com (71 words)

	CD-1 Rezoning - 5338-5490 Larch Street
		The massing is broken into clusters, alternately parallel and perpendicular to Larch Street, presenting two rowhouse facades interspersed with narrow house-like end facades, maintaining a rhythm started with retention of the heritage house at 5338 Larch Street.
		This project would demonstrate the viability of an intermediate scale and density of development, with ground access for families, in an area of the city offering immediate access to local commercial services, transit, and a recreation centre and having a higher than average supply of parkland.
		Two of the new structures would front Larch Street, one would front West 39th Avenue and two would be set to the rear of an interior courtyard.
	www.city.vancouver.bc.ca /CTYCLERK/cclerk/970513/p1.htm (1880 words)

	Software Prototyping and Requirements Engineering - SOFTWARE REQUIREMENTS AND SPECIFICATIONS TECHNIQUES AND TOOLS FOR ... (Site not responding. Last check: 2007-10-25)
		The Larch specification languages were developed as part of a project at MIT's Laboratory for Computer Science and DEC's Systems Research Center [Guttag85].
		In addition, the Larch interface languages have three parts for specifying procedural abstraction: header, traits with theory of operators, and a body of routine effects.
		The Larch family of languages is a powerful set of specification languages for software reuse of abstract data types.
	www.dacs.dtic.mil /techs/prototype/tools2.shtml (4832 words)

	[No title] (Site not responding. Last check: 2007-10-25)
		Par 1 is a formal Request for Discussion on the creation of an unmoderated newsgroup for discussion of issues related to the Larch family of formal specification languages, and related methodologies.
		Discussions on the Larch mailing list are most frequently technical in nature, specific to Larch, and uninteresting to the other comp.specification readers.
		Hence, to put this on the general newsgroup would be unfair to other participants in the general newsgroup, as well as being unfair to other specification methodologies (and their proponents) that might be lost among the Larch discussion.
	faqs.org /usenet/news.announce.newgroups/comp/comp.specification.larch (2173 words)

	The Cider House Rules: On-Line Review by Christian Leopold Shea.
		It is this last (extremely illegal) activity which Homer learns of as he grows up, and in which he refuses to participate, although his assistance at the deliveries of countless babies makes him, by the time he is seventeen, an accomplished (but unlicensed) obstetrician.
		Dr. Larch's parting words to the orphan boys each night are: "Good night, you Princes of Maine, you Kings of New England." The abortionist's love for the children under his care is obvious.
		The family atmosphere of St. Cloud's orphanage is inadvertantly turned upside-down by the arrival of Candy Kendall (Theron) and her pilot boyfriend, Lt. Wally Worthington (Rudd), who come to the orphanage so that Candy may have an abortion.
	members.tripod.com /the-grand-panjandrum/ciderhouse.html (1123 words)

	THE TREE COUNCIL OF IRELAND - Family Tree Scheme
		The Family Tree Scheme enables you to commemorate an important event or to remember a loved one, by giving you the opportunity to have a tree or trees planted in their name.
		The Tree Council of Ireland has initiated a Family Tree Scheme with Scouting Ireland in Larch Hill giving people the opportunity of having trees planted in their names and ensuring the continuity of one of our most precious national assets.
		The Family Tree Scheme enables you to commemorate an important event, or to remember a loved one.
	www.treecouncil.ie /family.html (360 words)

	Report on the Larch Shared Language Version 2.3 - Guttag, Horning, Modet (ResearchIndex)
		Abstract: The Larch family of languages is used to specify program interfaces in a two-tiered definitional style.
		Each Larch specification has components written in two languages: one that is designed for a specific programming language and another that is independent of any programming language.
		The former are the Larch interface languages, and the latter is the Larch Shared Language (LSL).
	citeseer.ist.psu.edu /219108.html (405 words)

	Larch Frequently Asked Questions
		This document is a list of frequently asked questions (FAQ) and their answers for the Larch family of specification languages.
		Something that might seem to be a disadvantage of the Larch approach is that one sometimes finds oneself writing out a very similar specifications in both LSL and a BISL.
		The "Larch" is the common name of a species of fir tree.
	www.cs.iastate.edu /~leavens/larch-faq.html (15434 words)

	Shady Larch Farm
		Our cattle have remained at Shady Larch Farm, which is a blessing, because we had put up over a thousand bales of hay to make it through the winter.
		I am impressed by Shady Larch Farms and have gained much insight on what is going on with animals in the factory farms.
		Thank you for your time, and God bless your family and what you are trying to do out there on your farm.
	www.angelfire.com /ia2/jcutler/slfblog (4904 words)

	[No title] (Site not responding. Last check: 2007-10-25)
		Apparently, some people who had corresponded with us earlier about their interest in Larch are not on that mailing list.
		The Larch Tool Set MIT/LCS Distribution Site March 26, 1993 The Larch family of specification languages supports a two-tiered, definitional style of specification for program module interfaces.
		The former kind are called Larch interface languages, and the latter is the Larch Shared Language (LSL).
	www-formal.stanford.edu /clt/ARS/ExtendedInfo/larch-toolset (806 words)

	3 Preliminary design of Larch/Java
		The peculiarity of Larch with respect to design specifications is the ``two tiers'' (or layers) approach it uses.
		The lower tier is the Larch Shared Language, an algebraic specification language which defines the mathematical abstractions used in the other tier, which is the behavior interface language in which predicate on pre and post condition over the execution of the operations are defined [
		For common data structures like integers, sets, etc, Larch provides a collection of library traits, which can be reused to specify new objects or abstract values of some data type.
	www.cs.iastate.edu /~leavens/FoCBS/ciancarini-node3.html (569 words)

	Keen: Psychic Readings: Family: Larch
		Until you sign in, the rate you see does not include international long distance charges.
		Larch Helping you to file your Tax Return accurately.
		Advisors are not employees of Keen or Ingenio, Inc. Keen is for entertainment purposes only.
	www.keen.com /listingdetails/Family/Larch/0-0-0-5202583 (216 words)

	Larch (Site not responding. Last check: 2007-10-25)
		The Larch Project develops aids for formal specifications.
		Each Larch specification has two components: an interface containing predicates written in the LIL[1] (Larch Interface Language) designed for the target language, and a 'trait' containing assertions about the predicates written in LSL[1], the Larch Shared Language common to all.
		"Larch: Languages and Tools for Formal Specification", John V. Guttag and James J. Horning, Springer-Verlag, 1993.
	people.ku.edu /~nkinners/LangList/Langs/L/Larch.htm (83 words)

	Larch Hill Campsite
		Larch Hill is the National Campsite and Training Centre of
		Larch Hill is also situated near the start of the
		Contact the Tree Council of Ireland for details of the Larch Hill Family Tree Scheme.
	www.iol.ie /~csilarch/index1.htm (121 words)

	The Larch Project (Site not responding. Last check: 2007-10-25)
		Scott Nettles, A Larch Specification of Copying Garbage Collection, CMU-CS-92-219, December 1992.
		Work related to the Larch family of specification is available via anonymous FTP from ftp.cs.cmu.edu in the directory /afs/cs/project/larch/ftp or by contacting wing@cs.cmu.edu directly for copies of papers and technical reports.
		The Larch tools available from MIT through FTP are in the distribution directory.
	www.cs.cmu.edu /afs/cs.cmu.edu/project/larch/www/home.html (124 words)

	Caterpillars on the Foliage of Conifers in the Northeastern United States
		This identification guide is dedicated to Annette F. Braun and T.N. Freeman, who did so much to improve our understanding of tiny moths and their caterpillars.
		The caterpillars shown on the cover are (in clockwise order, from upper left): the spruce budworm (Choristoneura fumiferana), the festive pine looper (Nepytia species [undescribed]), the Comstock’s sallow (Feralia comstocki), and the larch silkworm (Hyalophora columbia columbia).
		The U.S. Department of Agriculture (USDA) prohibits discrimination in all its programs and activities on the basis of race, color, national origin, sex, religion, age, disability, political beliefs, sexual orientation, or marital or family status.
	www.forestpests.org /caterpillars (311 words)

	LARCH Genealogy and LARCH Family History Search (Site not responding. Last check: 2007-10-25)
		Larch Genealogy Larch Family History and Genealogy Research
		Larcher Genealogy Larcher Family History and Genealogy Research
		Larcheveque Genealogy Larcheveque Family History and Genealogy Research
	www.familyhistory.com /surnames.asp?surname=Larch&d=Larch+genealogy (175 words)

	j wing - ResearchIndex document query (Site not responding. Last check: 2007-10-25)
		Family Values: A Semantic Notion of Subtyping - Barbara Liskov And (1992)
		GHW85# Guttag, J. V.Horning, J. J.and Wing, J. The Larch family of speci#cation
		Family Values: A Behavioral Notion of Subtyping - Liskov, Wing (1994)
	citeseer.ist.psu.edu /cis?q=J.+Wing (458 words)

Try your search on: Qwika (all wikis)