
	Where results make sense

Topic: SML

Related Topics

Taijutsu

Cemento Cruz Azul

1651

Quintessa

	EETimes.com - Inside network programming with SML
		Further, SML provides the means to address advanced protocols in which application flows traverse more than a single network connection and bundles these flows in a single simplified context.
		SML code is executed in the context of a flow and concerns itself with the traffic stream rather than requiring logical code for each individual packet.
		SML is the vehicle that enables P-Cube to succeed in quickly developing a variety of applications.
	www.eetimes.com /story/OEG20030818S0077 (1529 words)

	The SML.NET compiler
		SML.NET extends the SML language to support safe, convenient use of the.NET Framework libraries and code written in other languages for the CLR, such as C# or VB.
		For programs that make no use of the language extensions it is possible to develop and test them using a compiler such as Moscow ML or Standard ML of New Jersey and then to use SML.NET to produce final executables.
		In particular, this restriction means that one cannot compile an arbitrary SML module into a DLL for consumption even by other SML.NET programs: the module must be either linked into the client program at compile-time or use only CLR types at its interface.
	www.cl.cam.ac.uk /research/tsg/SMLNET (641 words)

	Service Modeling Language - HP Dev Resource Central
		SML uses a profile of XML Schema 1.0 [2,3] as the schema language.
		SML uses a profile of W3C XML Schema 1.0 to define constraints on the structure of data in a model.
		An SML validator is free to provide implementation-specific mechanisms to support the targeting of constraints that are authored in a separate document, i.e., not embedded in schema definitions, to a set of instance documents.
	devresource.hp.com /drc/resources/sml/index.jsp (6662 words)

	Speeding Limits -red light cameras, red light tickets, illegal cell phone use, cell phone bans
		SML’s research has been used in establishing interstate speed limits in Montana, determining speed reductions in work and school zones, and leading decision makers to make decisions on fact, not fiction.
		SML logo is a registered trademark with the United States Trademark and Patent Office, Reg.
		SML provides expert witness testimony for courts and investigates radar guns, laser guns, radar detectors, red light cameras, speed limits, cell phone use, cell phone bans, radar speed displays, optical-pre-emption systems, radar drones, and conducts radar and laser operator and instructor classes at law enforcement agencies.
	www.speedlabs.com (311 words)

	Speed Zones - The Impartial Field Testing Authority
		SML mandates its field evaluations be conducted by certified police officers.
		SML tests retail samples of the same models brought to the test to insure retail sample performance matches.
		SML testifies as a paid expert witness for states in radar and laser trials and publishes numerous articles each year.
	www.speedzones.com (457 words)

	MlLanguage - The Fellowship of Hobbyist Programmers
		SML takes advantage of the availability of a garbage collector to allow you to write complicated expressions that perform several memory allocations without your needing to worry about the details.
		SML also has records, which are similar to tuples but have names for each of their elements instead of numbered positions.
		SML has a module system centered around structures and signatures, which are analagous to Java classes and interfaces, respectively.
	www.hprog.org /fhp/MlLanguage (2658 words)

	SML '97
		The name of the revised language remains "Standard ML", but we also refer to it as "Standard ML '97" or "SML '97" to distinguish it from the 1990 version, which can be referred to as "SML '90".
		At the same time, the new SML Basis Library is added to the specification of the language.
		The role of imperative type variables in constraining polymorphism in the presence of effects is now played by the value restriction, which allows the type of a val binding to be generalized only when the right hand side is an expression in a restricted form called a value expression.
	www.smlnj.org /sml97.html (503 words)

	SML Part I
		The three most important syntactic categories of the SML language are: expressions, declarations, and types.
		Parentheses are often required in SML in order to group elements in the manner desired by the programmer, but they are not part of the syntax of function application.
		Operations in SML are grouped according to the ``usual'' rules of association.
	www.cs.fit.edu /~ryan/sml/sml1.html (1443 words)

	SML information
		When you open a structure, SML spits out a long list of type declarations -- this is the signature of the structure : the type declarations of all the members of the structure.
		During an interactive session with SML, you may have defined several functions or structures which are present in the current environment and which you might want to save for future sessions.
		SML does provide you with references which are pointers (and hence dangerous :)) but their use is deprecated as not being in the functional style.
	www.cs.wisc.edu /~fischer/538/sml/sml.larus.html (1430 words)

	Local Modification of LC Call Numbers at SML
		In general, works for locations filing into the SML Union Shelf are kept together by using the same call number, with the editions differentiated by the date of the edition or by the date and a work letter if 2 different editions have the same date (e.g.
		If a translation is received for cataloging and SML has already cataloged the original, the translation will be assigned the same call number as the original with the addition of the appropriate translation digits.
		The 4th edition is received for cataloging for SML stacks; because Engineering files in the SML Union Shelf, the Engineering call number is used with the date of publication of the 4th edition.
	www.library.yale.edu /cataloging/Orbis2Manual/LClocalmod.htm (2139 words)

	SML Hints
		This is a collection of tips on using sml, the ML compiler we'll be using, and a short introductions to some helpful library functions.
		Documentation is available for the base, or standard, environment, the system-dependent library, and for sml's extended library.
		Typing expressions at the prompt is a great way to test code and develop small functions, but if you're writing something larger, you'll probably want to put it in a file and import the file.
	www.cs.wisc.edu /~fischer/538/sml/sml-hints.html (923 words)

	Meet the specs: SML models complex IT systems
		One of the effects of SML is to increase the automation of management tasks, thereby reducing the need for a human to intervene in necessary adjustments.
		You can use SML to capture knowledge about the different parts of complex IT systems and the constraints that these parts must satisfy in order for the IT system to function properly.
		SML uses a profile of XML Schema 1.0 as the schema language.
	www.ibm.com /developerworks/autonomic/library/ac-mts1.html?ca=drs- (1007 words)

	[No title]
		SML began making saxophones when the company was founded -- two years before Selmer introduced its revolutionary Balanced Action saxophone.
		SML ceased production of saxes in 1982; at the time, the company was making 400 saxes a year.
		SML plated other instruments in silver, so, I presume there are some silver saxes somewhere.
	www.saxophone.org /sml.html (1629 words)

	SML improves management automation - Network World
		SML provides rich support for capturing constraints that are part of the model (for example, the fact that a certain operating system runs on only a certain type of CPU) and excellent alignment with an existing Web services infrastructure.
		The primary goal of SML is to increase the level of automation in IT systems management.
		SML takes automation one step further than previous modeling languages by offering powerful support for constraints with Schematron, a language to describe conditions that XML documents must respect.
	www.networkworld.com /news/tech/2006/090406-tech-update.html (785 words)

	SML World · simple smiley design
		SML World is a tiny smiley design studio, which creates simple, small and animated smileys.
		The zombie here is very hungry, can he catch his meal, or is the little dude fast enough to escape from this monster.
		Smile up your life by buying SML Wear products.
	www.sml-world.com (233 words)

	Soldat Mappers League
		Made the SML title, set up the original, easy to modify, sleek web layout, and now spends his days drinking mountain dew and eating burritoes.
		SML has a list of members assigned to their requested positions.
		SML looks foward to proving well developed maps for the community.
	sml.u13.net /index.php?p=info (401 words)

	XML.com: SML: Simplifying XML (Site not responding. Last check: )
		A challenge to authority coming from a groundswell of outsiders is also seldom welcome: William of Ockham was forced to flee the papal court at Avignon for Germany because of his calls to simplify the accepted philosophy of "scholasticism" and his opposition to the temporal authority of the Pope.
		This is a point of general agreement among the supporters of SML, who go on to point out that SML is evolving into a very well-defined and quite specific subset of XML.
		The SML perspective is not that SML is a watered-down SGML, despite its origins, but that it is an enabling technology for a vast array of applications, many of which are not even yet on the horizon.
	www.xml.com /pub/a/1999/11/sml (1782 words)

	SML mode - The Emacs SML editing mode: Introduction
		SML mode is a major mode for Emacs for editing Standard ML.
		SML mode can be easily configured to work with a number of Standard ML compilers, and other SML based tools.
		Only the most useful SML mode commands are documented in the info tree: to find out more use Emacs' help facilities.
	www.xemacs.org /Documentation/packages/html/sml-mode_3.html (783 words)

	Standard ML Basis Library (Site not responding. Last check: )
		The SML Basis Library provides interfaces and operations for basic types, such as integers and strings, support for input and output (I/O), interfaces to basic operating system interfaces, and support for standard datatypes, such as options and lists.
		The design philosophy of the SML Basis Library is to use the SML module system as an organizing tool.
		These webpages are organized as follows: the overview page describes the different kinds of interfaces provided by the SML Basis Library as well as which components are required and optional.
	sml.sourceforge.net /Basis/index.html (386 words)

	SML Short Reference
		Here are examples of the major syntactic categories in the SML programming language.
		The interactive dialog is terminated by typing control-D at the SML prompt.
		Actually the SML system uses these symbols to indicate that some portion of the value's representation has been omitted.
	www.cs.fit.edu /~ryan/sml/short.html (510 words)

	Service Modeling Language - insight and other views
		SML is intended to be used for building management models of IT services and systems that can be used throughout their lifecycles, from development to deployment, operations and maintenance.
		An SML model is an IT service or system consisting of a set of interrelated XML documents with information about the various aspets of the entity, and constraints each aspect must satisfy for the system/service to function properly.
		SML models can be used by Architects to capture and communicate their intent to developers and operations, ensuring architectural integrity of the systm is preserved through all product lifecycle phases.
	blogs.msdn.com /sml_insight/default.aspx (5237 words)

	SML: Blogs, Photos, Videos and more on Technorati
		SML Love :)[IMG SML Flickr: 10K]10K, originally uploaded by twisesq.SML Copyright Notice ©2007 See-ming Lee 李思明 SML / SML Love / SML Universe.
		[IMG SML Flickr: iPhone / 2007 / SML]iPhone / 2007 / SML, originally uploaded by See-ming Lee 李思明 SML.
		Related SML SML Wiki: iPhone SML Copyright Notice © 2007 See-ming Lee (Blog / Facebook / Flickr / Google / LinkedIn / YouTube)SML Copyright Notice ©2007 See-ming Lee 李思明 SML / SML Ideas Blog / SML Universe.
	www.technorati.com /tag/SML (423 words)

	Using the SML/NJ System
		Each set of standard basis functions is encapsulated in an SML module, and each such module has a signature, or "interface", whose name is written entirely in uppercase and refers to the type of values for which the module provides functionality.
		The problem is compounded by the fact that SML supports polymorphic type inference, which makes it very difficult for the compiler to figure out precisely the real source of a type error.
		The SML language encourages modularity, and in practice separate modules tend to be placed into separate files.
	www-2.cs.cmu.edu /~petel/smlguide/smlnj.htm (3317 words)

	CSE 428: Standard ML (Site not responding. Last check: )
		The SML libraries are already loaded, but, if you want to use them, you need to open them, with the command
		Unfortunately, the print command of SML works only on strings; for other data, you need to convert them to strings.
		You can use the SML libraries for the various conversions on predefined types.
	www.cse.psu.edu /~catuscia/teaching/sml/sml.html (717 words)

	Nabble - SML vs Ocaml for ECMA script spec.
		SML has actually be used to define itself
		SML compiler technology is far superior to OCaml in terms of the
		P.S. You guys obviously have enough taste to be thinking of using any ML for the language spec.
	www.nabble.com /SML-vs-Ocaml-for-ECMA-script-spec.-t3294479.html (1523 words)

	Dynamic Systems Initiative: Service Modeling Language Specification (Site not responding. Last check: )
		The workshop is a forum for companies who have implementations of an SML validator based on the published specifications and who want to test their implementations with other company's implementations.
		The SML Workgroup welcomes feedback from the community on the SML Specification, provided that the feedback complies with the terms and conditions of the SML Feedback Agreement.
		In accordance with the SML Feedback Agreement, any feedback will be deemed non-confidential information and will be licensed to the workgroup on a royalty free basis.
	www.microsoft.com /windowsserversystem/dsi/serviceml.mspx (460 words)

	Sax on the Web > SML Picture Gallery
		SML alto 4xxx, Unique vintage sax, 60 years old
		His initial SML story made this site the "SML on the Web", because Strasser-Marigaux did not have a web site of their own.
		In 2000 SML established their web presence, including a brief company history.
	www.saxontheweb.net /SML/gallery.html (235 words)

	SML mode - The Emacs SML editing mode: SML Mode
		Principal goodies are the `electric pipe' feature, and the ability to insert common SML forms (macros or templates).
		A hook is a variable: if the variable is non-nil it binds a list of Emacs Lisp functions to be run in some order (usually left to right).
		Electric keys are generally pretty irritating, so those provided by SML mode are fairly muted.
	www.xemacs.org /Documentation/packages/html/sml-mode_4.html (612 words)

	MicroImages Downloads: SML Scripts
		If want to develop your skills in writing SML scripts, you will find some helpful examples here.
		Automates the complex sequence of processing steps required to adjust a time-series of Landsat scenes to a common quantitative scale for use in monitoring change in surface conditions.
		SML scripts use Microsoft Windows AcitveX technology to launch and communicate with Visual Basic, C++, or Java.
	www.microimages.com /downloads/smlscripts.htm (508 words)

	Comp.Lang.ML FAQ [Monthly Posting]
		The Edinburgh SML Library The Edinburgh SML Library provides a consistent set of functions on the built-in types of the language and on vectors and arrays, and a few extras.
		The value restriction is a feature of SML '97 which was introduced to address some issues with polymorphism in the presence of effects.
		The basic idea is that when a variable is bound to a polymorphic expression, it must be the case that the expression is tantamount to a value: that is, that it is guaranteed not to raise an exception or allocate memory.
	www.faqs.org /faqs/meta-lang-faq (4974 words)

	Programming in SML
		Some of the online tutorials are out-of-date and describe the old version, now called SML 90, while others have been updated to SML 97.
		If you still want to use an SML 90 tutorial, you can refer to this top-level environment comparison that relates old and new versions of basic functions in the top-level environment.
		In this example "simplebool.grm" and "simplebool.lex" are grammer and lexer specifications that will automatically be processed by the appropriate tools, ml-yacc and ml-lex, resulting in SML source files which will also be compiled.
	www.classes.cs.uchicago.edu /archive/2003/spring/22600-1/smlnj.html (962 words)

	Shoals Marine Laboratory
		The Shoals Marine Laboratory is jointly operated by the Division of Biological Sciences at Cornell University and the Marine Program at the University of New Hampshire.
		SML offers over 20 summer credit courses designed especially for undergraduate students.
		Shoals courses give you a chance to study marine biology in the marine environment, enjoy small, intense classes of equally dedicated students, learn with students and faculty from across the country, and live on a beautiful Maine island while you're doing it.
	marine.unh.edu /sml (354 words)

Try your search on: Qwika (all wikis)