
	Where results make sense

Topic: Lustre programming language

Related Topics

programming language

C programming language

Java programming language

Beijing Schmidt CCD Asteroid Program

BAO Schmidt CCD Asteroid Program

Python programming language

Apollo program

Space Shuttle program

object oriented programming

Lisp programming language

functional programming

In the News (Mon 6 Jul 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Encyclopedia: Declarative programming language
		Declarative programming is an approach to computer programming that involves the creation of a set of conditions that describe a solution space, but leaves the interpretation of the specific steps needed to arrive at that solution up to an unspecified interpreter.
		Declarative programming languages Declarative programming is an approach to computer programming that involves the creation of a set of conditions that describe a solution space, but leaves the interpretation of the specific steps needed to arrive at that solution up to an unspecified interpreter.
		Programming languages are not error tolerant; however, the burden of recognising and using the special vocabulary is reduced by help messages generated by the programming language implementation.
	www.nationmaster.com /encyclopedia/Declarative-programming-language (689 words)

	Lustre programming language - Wikipedia, the free encyclopedia
		Lustre is a formally defined, declarative, and synchronous data-flow programming language, for programming reactive systems.
		In 1993, it progressed to practical, industrial use, in a commercial product, as the core language of the industrial environment SCADE, developed by Esterel-Technologies.
		It is now used for critical control software in aircraft, helicopters, and nuclear power plants.
	en.wikipedia.org /wiki/Lustre_programming_language (123 words)

	[No title] (Site not responding. Last check: 2007-09-08)
		Though hackers are not afraid of high information density and complexity in language (indeed, they rather enjoy both), they share a deep and abiding loathing for legalese; they associate it with deception, {suit}s, and situations in which hackers generally get the short end of the stick.
		The program is sometimes marked to distinguish it from the text, rather than the other way around as in normal programs (the {inverse comment convention}).
		Loglan is apparently unrelated to the programming languages {Loglan'82} or {Loglan-88}.
	safariexamples.informit.com /0130320722/amazing/compdic2.html (18913 words)

	Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement (Site not responding. Last check: 2007-09-08)
		A process of incremental, user-guided program transformation is used to refine a Java program until it is consistent with the policy of use.
		General purpose languages such as C and C++ are usually used for the design of software, while hardware description languages, such as Verilog and VHDL, are used in the design of hardware.
		Program transformations may be applied automatically to the abstract syntax tree of the Java program, or manually if the tools are not able to provide a satisfactory transformation.
	www-cad.eecs.berkeley.edu /~jimy/research/dac98/dac98.html (3935 words)

	MIT Course 16.399: « Abstract Interpretation » Home Page
		Semantics of programming languages (abstract syntax, operational semantics, inductive definitions, example of a simple imperative language, grammar and interpretor of the language, trace semantics);
		Study the syntax and semantics of integer type declarations, the evaluation of integer arithmetic expressions, the evaluation of boolean expressions and the execution of assignments, tests and iterations for the C programming language either in the 1975 C Reference Manual by Brian W. Kernighan and Dennis M. Ritchie or in the
		Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints.
	web.mit.edu /16.399/www (1819 words)

	Computer Programming Languages - L (Site not responding. Last check: 2007-09-08)
		LIDO - Input language for the attribute evaluator generator LIGA (a successor of GAG and a subsystem of the Eli compiler-compiler).
		LISP70 - LISP dialect, a descendant of MLISP and MLISP2.
		Concurrent logic programming language based on "linear logic", an extension of Horn logic with a new kind of OR- concurrency.
	www.heuse.com /l.htm (2891 words)

	The synchronous dataflow programming language LUSTRE - Halbwachs, Caspi, Raymond, Pilaud (ResearchIndex)
		The synchronous dataflow programming language LUSTRE - Halbwachs, Caspi, Raymond, Pilaud (ResearchIndex)
		Abstract: This paper describes the language Lustre, which is a dataflow synchronous language, designed for programming reactive systems --- such as automatic control and monitoring systems --- as well as for describing hardware.
		77 the data-flow programming language (context) - Ashcroft, Wadge - 1985
	citeseer.ist.psu.edu /halbwachs91synchronous.html (735 words)

	[No title] (Site not responding. Last check: 2007-09-08)
		This paper describes the language Lustre, which is a dataflow synchronous language, designed for programming reactive systems -- such as automatic control and monitoring systems -- as well as for describing hardware.
		The dataflow aspect of Lustre makes it very close to usual description tools in these domains (block-diagrams, networks of operators, dynamical samples-systems, etc), and its synchronous interpretation makes it well suited for handling time in programs.
		This allows the language to be used for both writing programs and expressing program properties, which results in an original program verification methodology.
	www-verimag.imag.fr /~halbwach/lustre:ieee.html (143 words)

	a thread on the c programming language
		ModernRonin wrote a long "explanation" to where the flaws in the language C are, in his (first) diary entry.
		And if you're designing a language such as this, then leaving out pointers is no problem as long as you provide library or language support for the things people would otherwise be using them for.
		C is enough of an expression language that the compiler did not complain about a statement which evaluated an expression, had no side-effects, and simply threw away the result.
	advogato.org /article/230.html (7283 words)

	The Multi-Paradigm Synchronous Programming Language - Holenderski, Poign'e (ResearchIndex) (Site not responding. Last check: 2007-09-08)
		Abstract: We present uniform translation rules for three synchronous programming languages Lustre, Esterel and Argos, to a common intermediate format called Boolean automata.
		Such a uniform translation allows to smoothly combine the languages into one multi-paradigm language for programming synchronous reactive systems.
		It is obtained by integrating three existing synchronous programming languages: Lustre...
	citeseer.csail.mit.edu /278125.html (440 words)

	Pascal Raymond (Site not responding. Last check: 2007-09-08)
		The Lustre/Lesar distribution provides a compiler and a model checker for the Lustre programming language.
		Reglo is a compiler which translates regular expressions into either a set of language equations, or into a Lustre program.
		I obtained a "3rd Cycle Thesis" in 1991, at "Institut National Polytechnique de Grenoble", on the compilation of the synchronous dataflow programming language Lustre.
	www-verimag.imag.fr /PEOPLE/Pascal.Raymond/index-english.html (101 words)

	Related: Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre - ... (Site not responding. Last check: 2007-09-08)
		Related: Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre - Ratel, Halbwachs, Raymond (ResearchIndex)
		Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre.
		10: The synchronous data-flow programming language LUSTRE - Halbwachs, Caspi et al.
	citeseer.lcs.mit.edu /nrelatedgid/351461 (320 words)

	Technology - History (Site not responding. Last check: 2007-09-08)
		Synchronous programming was also introduced in the framework of concurrent constraint programming by V. Saraswat et.
		The synchronous model and languages caught on quite easily in the automatic control community, where they did not fundamentally depart from models implicitly already in use in these areas.
		The interest for synchronous languages in industry has grown steadily, and today, industrial uses of these languages are deployed worldwide.
	www.esterel-technologies.com /technology/history/history.html (735 words)

	Other IMAG tools : Lustre (Site not responding. Last check: 2007-09-08)
		Compilers: a set of tools for producing C code from Lustre programs.
		Verification tool: LESAR is dedicated to the formal verification of safety properties on Lustre programs.
		The Lustre V4 distribution is submitted to a free Licence.
	www-lsr.imag.fr /users/Yves.Ledru/IMAGatFM99/LustreFM99.html (156 words)

	2003/04 Project Proposals by Dr. Gerald Luettgen
		This can be done in any programming or scripting language of the project student's choice, but requires basic knowledge in topics of compiler construction, including parsing and code generation.
		It should additionally be noted that the specification language of PVS is essentially a higher-order logic and reminds of a functional programming language.
		In order to allow this integration, it is highly desirable that the tool be written in the functional programming language Haskell and that the internal representation of systems, as they are constructed and persisted, should be achieved via a provided data structure which already encapsulates the link to external components, written in other programming languages.
	www-users.cs.york.ac.uk /~luettgen/projects2003.html (3388 words)

	Citations: The synchronous dataflow programming language lustre - Halbwachs, Caspi, Raymond, Pilaud (SMEALSearch) - ...
		Citations: The synchronous dataflow programming language lustre - Halbwachs, Caspi, Raymond, Pilaud (SMEALSearch) - Pal,Rangaswamy,Giles,Debnath
		Ludic [MG00] a Lustre debugger that lets one, among other tasks, execute Lustre programs step by step and inspect program....
		....computes the outputs is hard to write in a sequential language, because it often has a natural parallel structure.
	smealsearch.psu.edu /context/22364/0 (536 words)

	SYNALP - Bibliography (Site not responding. Last check: 2007-09-08)
		Official means that these are the references given by the inventors of the languages themselves.
		Synchronous Programming of Reactive Systems, by Nicolas Halbwachs, is a book surveying the four synchronous languages Lustre, Esterel, Argos, and Signal.
		The Synchronous Data-Flow Programming Language Lustre, by Nicolas Halbwachs, Paul Caspi, Pascal Raymond, and Daniel Pilaud. In Proceedings of the IEEE, 79:9, September 1991.
	www.inrialpes.fr /synalp/Biblio (330 words)

	Citations: LUSTRE, a Declarative Language for RealTime Programming - Caspi, Pilaud, Halbwachs, Plaice (ResearchIndex) (Site not responding. Last check: 2007-09-08)
		In Proceedings of Conference on Principles of Programming Languages (Munich, 1987).
		This assumption leads to notations that are well suited for specifying the behaviour of a reactive system [3] 11] Although all synchronous languages rely on the synchrony hypothesis they may come in different flavours.
		Some particular benefits from the use of synchronous languages for programming reactive systems are: They support high level constructs allowing a....
	citeseer.ifi.unizh.ch /context/155649/0 (309 words)

	Building Lustre Control Systems from B Abstract Machines: A case study (ResearchIndex)
		Abstract: Through the case study of a lift control system, this paper tries to compare the capabilities of two styles of formal specification languages, namely the abstract machine formalism of the language B and the synchronous dataflow programming language lustre.
		234 The synchronous dataflow programming language Lustre - Halbwachs, Caspi et al.
		23 The esterel synchronous programming language (context) - Berry, Gonthier - 1992 ACM
	citeseer.ist.psu.edu /bert97building.html (360 words)

	14. POPL 1987: Munich, Germany (Site not responding. Last check: 2007-09-08)
		Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 1987.
		Vijay A. Saraswat: The Concurrent Logic Programming Language CP: Definition and Operational Semantics.
		Matthias Felleisen, Daniel P. Friedman: A Calculus for Assignments in Higher-Order Languages.
	www.informatik.uni-trier.de /~ley/db/conf/popl/popl87.html (369 words)

	Synchronous programming language (Site not responding. Last check: 2007-09-08)
		A synchronous programming language is a programming language optimized for programming reactive systems, systems that are often interrupted and must respond quickly.
		Many such systems are also called Real-time computings, and are found often in Embedded system.
		-- Proposes parallel language based on C programming language, lets programmers specify and manage parallelism on a broad range of computer architectures.
	www.1stcustomsoftware.com /Synchronous_programming_language-535.html (198 words)

	Technology - Scientific Papers
		This extension is fully conservative in the sense that all the programs from the basic language still make sense in the extended language and their semantics is preserved.
		One of the benefits of the synchronous data-flow approach is that a program defines a perfectly deterministic behavior.
		But the use of the delay primitive leads to undefined values at the first cycle; thus a data-flow program is really deterministic only if it can be shown that such undefined values do not affect the behavior of the system.
	www.esterel-technologies.com /technology/scientific-papers/overview.html (767 words)

	[No title]
		Strigini and L. Simoncini, Data Flow-like languages for real-time systems: Issues of computational models and notations, Proceedings of the International Symposium on Reliable Distributed Systems, SRDS-11 (Houston, Texas, 1992).
		Halbwachs, P. Caspi, P. Raymond and D. Pilaud, The synchronous data flow programming language LUSTRE, IEEE Proceedings (1991) 1305--1320.
		Kahn, The semantics of a simple language for parallel programming, Proceedings of the IFIP '74 (North Holland, 1974) 471--475.
	bonda.cnuce.cnr.it /Documentation/Reports/Doc1998/abstract98/Bernardeschi98-Automatica (965 words)

	[No title]
		DSP32 Assembly Language - A high-level assembly language for the DSP32
		FAP - Assembly language for Sperry-Rand 1103 and 1103A.
		GMAP - GCOS Macro Assembler Program - Macro assembler for the GCOS-8
	oop.rosweb.ru /Other (6597 words)

	Formal Methods Talks in 2004
		JCSP (Communicating Sequential Processes for Java) is a library for the Java programming language that enables the development of concurrent programs based on the CSP/occam process model.
		The native communication primitives of Java (like shared memory and monitors) are in this framework replaced with means of communication based on channels and the transmission of messages between processes, which are regarded as an appropriate foundation for the development of complex concurrent systems.
		Based on the KeY system, which is a tool for the interactive verification of Java programs (at the time restricted to sequential programs), a method for proving properties of JCSP systems is developed and presented.
	www.cs.chalmers.se /Cs/Research/FormalMethods/Talks/2004 (1900 words)

	Citations: The Synchronous Data ow Programming Language Lustre - Halbwachs, Caspi, Raymond, Pilaud (ResearchIndex) (Site not responding. Last check: 2007-09-08)
		Halbwachs, N., Caspi, P., Raymond, P. and Pilaud D. The Synchronous Data ow Programming Language Lustre.
		Languages and Methods for Specifying Real-Time Systems - Carlson (2002)
		A PVS Proof Obligation Generator for Lustre Programs - Canovas-Dumas, Caspi
	citeseer.ifi.unizh.ch /contextsummary/1201673/0 (388 words)

	Related: The Synchronous Data ow Programming Language Lustre - Halbwachs, Caspi, Raymond, Pilaud (ResearchIndex) (Site not responding. Last check: 2007-09-08)
		Related: The Synchronous Data ow Programming Language Lustre - Halbwachs, Caspi, Raymond, Pilaud (ResearchIndex)
		CiteSeer Home Related articles for: Halbwachs, N., Caspi, P., Raymond, P. and Pilaud D. The Synchronous Data ow Programming Language Lustre.
		10: Synchronous programming with events and relations: the Signal language and its s..
	citeseer.lcs.mit.edu /nrelatedgid/1201673 (271 words)

Try your search on: Qwika (all wikis)