|
| |
| | Programming language - Wikipédia |
 | | The development of programming languages, unsurprisingly, follows closely the development of the physical and electronic processes used in today's computers. | | | Type-inferred languages superficially treat all data as not having a type, but actually do sophisticated analysis of the way the program uses the data to determine which elementary operations are performed on the data, and therefore deduce what type the variables have at compile-time. | | | The rigorous definition of the meaning of programming languages is the subject of Formal semantics. |
|
http://su.wikipedia.org/wiki/Programming_language
(1603 words)
|
|
| |
| | Concurrent programming language - Wikipedia, the free encyclopedia |
| | Concurrent programming languages are programming languages that use language constructs for concurrency. | | | SALSA – actor language with token-passing, join, and first-class continuations for distributed computing over the internet | | | Many other languages provide support for concurency in the form of libraries (on level roughly comparable with the above list). |
|
http://en.wikipedia.org/wiki/Concurrent_programming
(483 words)
|
|
| |
| | Tempo: a declarative concurrent programming language |
| | Concurrent logic programming languages (e.g., Parlog, KL1, etc.) are declarative in the sense that a program explicitly describes the final result (if any) that it computes. | | | Unfortunately, even "declarative" languages tend to resort to imperative ("non-logical") features for some purposes, particularly for interaction with their environment, e.g., I/O. This is perhaps especially true in concurrent programming, where a lot of programming effort goes into ensuring that processes correctly interact with each other. | | | It improves on traditional concurrent logic programming languages in that a program can explicitly specify its safety properties, not just the final result computed (which is a special case of a safety property). |
|
http://www.cs.bris.ac.uk/~steve/research/projects/tempo.html
(300 words)
|
|
| |
| | Designing a Concurrent Programming Language - Ueda (ResearchIndex) |
| | 3 Programming Language Doc and Its Self-Description or (context) - Hirata - 1986 | | | GHC was born from a study of parallelism in logic programming, but turned out to be a simple and flexible concurrent programming language with a number of nice properties. | | | 25 Parallel Logic Programming in PARLOG: The Language and its I.. |
|
http://citeseer.ist.psu.edu/ueda90designing.html
(654 words)
|
|
| |
| | Biography |
| | Per Brinch Hansen is one of a handful of computer pioneers who was responsible for advancing both operating systems development and concurrent programming from ad hoc techniques to systematic engineering disciplines. | | | Since then his main contribution has been the development of secure programming language concepts for parallel computing. | | | He wrote the first book on parallel programming, The Architecture of Concurrent Programs (1977), which includes the complete program text of the Solo operating system. |
|
http://web.syr.edu/~pbhansen/html/biography.html
(522 words)
|
|
| |
| | Open Directory - Computers: Programming: Languages: Comparison and Review |
| | The Computer Language Shootout Benchmarks - Performance measurements and source code for ~25 benchmark programs in ~25 languages; with side-by-side comparisons for any 2 programming languages, and an interactive weighted ranking for all the languages. | | | Programming language benchmarks - Benchmark of the same program in some recent languages aims to support language choice decision for implementing computation-intensive web apps. | | | Programming Languages Table - Table showing the approximate number of logical source statements (not physical lines of code) that roughly correlate with a single function point. |
|
http://dmoz.org/Computers/Programming/Languages/Comparison_and_Review
(1950 words)
|
|
| |
| | LtU Classic Archives |
| | Concurrent constraint programming is a synthesis of concurrent logic programming and constraint logic programming. | | | The ironic thing is that children use ToonTalk to program in a higher-order concurrent and distributed dataflow language and if this gets them interested in programming then they "move up" to languages such as Java which have a much more restricted computation model. | | | Professional software engineering requires the ability to reason about programs (whether formally or unformally) and this is one reason why restricted models can be useful. |
|
http://lambda-the-ultimate.org/classic/message12609.html
(590 words)
|
|
| |
| | The SR Programming Language |
| | It has been used in concurrent programming courses to reinforce concepts with small programming projects and with larger projects such as experiments with parallel algorithms, replicated databases, distributed simulations, and parts of distributed operating systems such as file systems and command interpreters. | | | SR has also been used as a tool in several masters theses and doctoral dissertations to conduct experiments in parallel and distributed programming and to implement larger systems such as a system for mixed language programming, one for distributed implementation of graph algorithms, experiments with load balancing algorithms, and experiments with upcall program structures. | | | SR has been used at a number of universities and labs for course work and research projects involving concurrent programming. |
|
http://www.cs.arizona.edu/sr
(208 words)
|
|
| |
| | pRETS: A parallel Reverse Engineering ToolSet |
| | Early attempts at implementing and applying concurrent logic programming languages, while providing a convenient method for specifying algorithms, proved to be too complex, inefficient and difficult to implement on parallel architectures. | | | Strand, a concurrent logic programming language based on Edinburgh Prolog, is intended to exploit concurrency in both parallel and distributed environments, while offering portability across a variety of platforms and topologies. | | | A PROLOG program consists of a collection of information which is called a knowledge base which in turn consist of rules which allow the user to infer information based on other rules or information and facts which are the atomic level of information. |
|
http://www.cs.pdx.edu/~warren/Papers/pRETS.htm
(4053 words)
|
|
| |
| | CTO : Janus |
| | Janus is an instance of a concurrent constraints programming language due to Saraswat et al.: these languages are an elegant generalization of concurrent logic programming languages and constraint logic programming languages. | | | This project is concerned with the development of program analysis, optimization, and implementation techniques for such languages. | | | A central idea is to maintain a close connection between the logical and operational semantics of programs by using logical entailment for synchronization purposes. |
|
http://cliki.tunes.org/Janus
(155 words)
|
|
| |
| | Amazon.com: Books: Concurrent Programming in Erlang (2nd Edition) |
| | The language is untyped and has a pattern matching syntax. | | | Written in a tutorial style, the emphasis is on learning through example and a number of well known problems in designing and programming concurrent fault-tolerant real-time systems are illstrated.New chapters on Distributed Programming, Distributed Programming Techniques and Distributed Data. | | | This book explains the Erlang language and distributed programming system, which is now an open source system. |
|
http://www.amazon.com/exec/obidos/tg/detail/-/013508301X?v=glance
(562 words)
|
|
| |
| | The MPD Programming Language |
| | MPD is implemented as a variant of the SR programming language. | | | MPD is a new programming language that has a syntax very close to the one used in the book | | | These words also capture a distinguishing aspect of the language, namely that it supports all three of these concurrent programming techniques. |
|
http://www.cs.arizona.edu/mpd
(174 words)
|
|
| |
| | Theory Seminar, P.Sewell, 97 06 27 |
| | In this work I consider an example application of the pi-calculus, the programming language Pict of Pierce and Turner, primarily in order to see how far it is possible to argue, from facts about the application, that some model is the most appropriate. | | | An operational model can be given, reflecting this discussion, of the interactions between a Pict implementation (considered as the abstract behaviour of a C program) and its environment (modelling an operating system and user). | | | On Implementations and Semantics of a Concurrent Programming Language |
|
http://www.cl.cam.ac.uk/Research/TSG/Seminars/PSewell2.html
(223 words)
|
|
| |
| | Java Programming Language |
| | This leads to a "declarative" programming style where the programmer says what should be done and tools emit the code to do it. | | | Assertion Facility - Assertions are boolean expressions that the programmer believes to be true concerning the state of a computer program. | | | New Language Features for Ease of Development in J2SE 5.0: A Conversation with Joshua Bloch |
|
http://java.sun.com/j2se/1.5.0/docs/guide/language
(457 words)
|
|
| |
| | Foundations of Distributed Languages |
| | On Implementations and Semantics of a Concurrent Programming Language. | | | Pict: A Programming Language Based on the Pi-Calculus, Benjamin C. Pierce and David N. Turner. | | | In the other part I will discuss how concurrent calculi and semantics can be used in the design of mobile agent infrastructure algorithms. |
|
http://www.cl.cam.ac.uk/~pes20/mathfit.html
(286 words)
|
|
| |
| | CTO : Constraints |
| | The term for a paradigm related to logic or declarative programming, where information is specified as a constraint on the result, and the evaluator's task is to use this information to limit the search space that some base set of algorithms would ordinarily have traversed to find the answer. | | | Constraints-based programming languages are not as common as constraints-solving libraries, since in the general case there is no systematically-reliable approach to this kind of evaluation style. | | | Morphe - A constraints-based object-oriented programming language supporting situated knowledge |
|
http://cliki.tunes.org/Constraints?v=1
(198 words)
|
|
| |
| | Erlang programming language: Information From Answers.com |
| | Distribution of the language together with libraries and real-time distributed database is known as Open Telecom Platform, OTP. | | | However, it didn't and hasn't yet become a wide-spread mainstream programming language. | | | as it is not a mainstream language there are not many tools, books, libraries or skilled developers. |
|
http://www.answers.com/topic/erlang-programming-language
(584 words)
|
|
| |
| | Amazon.com: Books: Concurrent Programming: The Java Programming Language |
| | He writes "The best way to debug a Java program is with the System.out.println statement, as is the case with any high-level programming language." Inexcusable language for a professor in computer science. | | | Subjects > Computers & Internet > Programming > General | | | Concepts of Programming Languages, Sixth Edition by Robert W. Sebesta |
|
http://www.amazon.com/exec/obidos/tg/detail/-/0195113152?v=glance
(981 words)
|
|
| |
| | Concurrent Programming Using the Java Language |
| | These example programs were developed and tested using Sun Microsystem's JDK version 1.0.2 and 1.1 for Solaris 2.x and Windows 95/NT (1996--97). | | | Java is designed to be a platform-independent language, so all of these examples, including the animated ones, will run without change on Sun's Solaris 2.x UNIX for Sparc and Microsoft Windows 95/NT for Intel-based PCs. | | | Some of the animation examples can be viewed as applets. |
|
http://cricket.cs.drexel.edu/~shartley/ConcProgJava
(348 words)
|
|
| |
| | Concurrent Programming Using the Java Language |
| | An algorithm animation package, written in Java, is used in several of the example programs. | | | In February 1998, Oxford University Press published Concurrent Programming: The Java Programming Language, ISBN 0-19-511315-2, by Stephen J. Hartley of Drexel University. | | | All program and library class source code is available over the Internet using the following URLs. |
|
http://www.mcs.drexel.edu/~shartley/ConcProgJava/bookInfo.html
(393 words)
|
|
| |
| | Concurrent Programming in Erlang |
| | Erlang is a concurrent functional programming language designed for programming large industrial real-time systems. | | | Distributed Erlang programs can run transparently on cross-platform multi-vendor systems. | | | Here we build on the programming techniques of Part I to construct complete programs. |
|
http://www.erlang.org/erlang_book_toc.html
(598 words)
|
|
| |
| | The linear concurrent constraint programming language Euler |
| | The operational semantics of the language is specified by the general lcc framework, specialized to permit reasoning about additional operations. | | | Rules may match and replace arbitrary (finite) subgraphs, while adding new nodes and edges. | | | @techreport{ccm-machines title = {Euler: an applied lcc language for graph rewriting}, author = {Vijay Saraswat}, institution= {IBM {TJ} {W}atson {R}esearch {C}enter}, month = mar, year = "2004" } |
|
http://www.saraswat.org/euler.html
(157 words)
|
|
| |
| | The JR Concurrent Programming Language |
| | The JR Programming Language: Concurrent Programming in an Extended Java | | | JR: Flexible Distributed Programming in an Extended Java. | | | Adding Support for Parameterized Virtual Machines to the JR Concurrent Programming Language. |
|
http://www.cs.ucdavis.edu/~olsson/research/jr
(1198 words)
|
|
| |
| | IEEE Transactions on Software Engineering (TSE), Volume 1 |
| | Michael R. Paige: Program Graphs, an Algebra, and Their Implication for Programming. | | | Albert Endres: An Analysis of Errors and Their Causes in System Programs. | | | Susan Voigt: Program Design by a Multidisciplinary Team. |
|
http://www.informatik.uni-trier.de/~ley/db/journals/tse/tse1.html
(438 words)
|
|
| |
| | Tempo: a declarative concurrent programming language |
| | Tempo is sufficiently high-level to simulate practical concurrent programming paradigms, and can act as a common framework in which algorithms for a variety of paradigms may be expressed, compared, and manipulated. | | | Tempo is a declarative concurrent programming language based on classical first-order logic. | | | The language has a procedural interpretation that allows the specification to be executed, also concurrently. |
|
http://www.cs.bris.ac.uk/Publications/pub_info.jsp?id=1000070
(136 words)
|
|
| |
| | Find in a Library: The Concurrent C programming language |
| | WorldCat is provided by OCLC Online Computer Library Center, Inc. on behalf of its member libraries. | | | Find in a Library: The Concurrent C programming language |
|
http://worldcatlibraries.org/wcpa/ow/d8dab53f09baa595a19afeb4da09e526.html
(46 words)
|
|
| |
| | Concurrent Constraint Programming |
| | Concurrent constraint programming arose as a synthesis of the ideas of concurrent logic programming and constraint logic programming. | | | Watch this space for a fuller account of the development of this topic, links to the work of other authors in this field, and a summary of current work being done in this field. | | | The basic idea is due to Michael Maher, who suggested that the synchronization primitive in a specific concurrent logic programming language (ALPS) could be understood in terms of general semantic notions of entailment. |
|
http://www.cse.psu.edu/~saraswat/ccp.html
(131 words)
|
|
| |
| | The Pict Programming Language |
| | The core language - an asynchronous variant of Milner, Parrow, and Walker's pi-calculus - has been used as a theoretical foundation for a broad class of concurrent computations. | | | The goal in Pict is to identify high-level idioms that arise naturally when these primitives are used to build working programs - idioms such as basic data structures, protocols for returning results, higher-order programming, selective communication, and concurrent objects. | | | The current release includes a Pict-to-C compiler, reference manual, language tutorial, numerous libraries, and example programs. |
|
http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html
(276 words)
|
|
| |
| | A monadic language for concurrent programming |
| | Moggi has proposed "strong monads" as an appropriate notion for the description of computations such as side effects and nondeterminism. | | | The monadic type system makes it much easier to present a semantics for the language. | | | This talk describes an extension of Moggi's monadic meta-language with higher-order concurrent features. |
|
http://www.inrialpes.fr/vasy/pub/COST247/cost24.html
(83 words)
|
|
| |
| | TyCO - Typed Concurrent Objects |
| | There are several reasons why you should want to try TyCO, namely: for programming in the pi-calculus with primitive objects (and no obligation to specify types at identifier declaration), for teaching purposes and to study language design and implementation (by experimenting with the code for the compiler and for the virtual machine). | | | 09/03/2005 - Version 0.4.1 of the TyCO Programming Language and Virtual Machine has been released | | | Get the TyCO Development Tool for Eclipse 3.0 and 3.1 |
|
http://www.ncc.up.pt/tyco
(233 words)
|
|
| |
| | Energy Citations Database (ECD) - Energy and Energy-Related Bibliographic Citations |
| | Availability information may be found in the Availability, Publisher, Research Organization, Resource Relation and/or Author (affiliation information) fields and/or via the "Full-text Availability" link. | | | Energy Citations Database (ECD) Document #6093108 - The coordinator and coordinator programming language (COPL) | | | 990200 -- Mathematics & Computers; COMPUTER ARCHITECTURE-- PROGRAMMING LANGUAGES;PARALLEL PROCESSING-- COMPUTER ARCHITECTURE; IMPLEMENTATION;MEMORY MANAGEMENT;TASK SCHEDULING |
|
http://www.osti.gov/energycitations/product.biblio.jsp?osti_id=6093108
(84 words)
|
|
| |
| | Lyric Concurrent Programming Language |
| | Lyric is a concurrent programming language, which is under development at Myricom for use on multicomputers based on Myricom's LANai chipset. | | | The lyric runtime system source and example programs. | | | Some simple programming examples are provided in a |
|
http://www.myri.com/lyric
(477 words)
|
|
| |
| | Erlang |
| | May 27, 2004: A new version of the Erlang/OTP Test Server has been released. | | | It features a callback oriented single-threaded programming model. | | | July 28, 2004: Tomas Abrahamsson has released a new version (0.92) of the user contribution py_interface (minor improvements and bugfixes). |
|
http://www.erlang.org
(235 words)
|
|
| |
| | archives: Executing Formal Specifications with Concurrent Constraint Programming |
| | While there are, of course, expressible assertions that are not executable, our technique is amenable to any formal specification language based on a finite number of intrinsic types and pre- and postcondition assertions. | | | Our approach is based on translating specifications to the concurrent constraint programming language AKL. | | | The specification abstractions supported by our execution technique include using quantified assertions to to directly construct post-state values, and indirect definitions of post-state values (definitions that do not use equality). |
|
http://archives.cs.iastate.edu/documents/disk0/00/00/02/26
(201 words)
|
|
| |
| | CAKES TALK |
| | In 1998 we were invited by a manufacturer of telephone exchange equipment and services to design a service specification language which would address some of the severe problems of expressive power of their then-current design and implementation languages. | | | The result of our effort was ECSP (Eclectic CSP) --- a higher-order concurrent programming language with data types based on those of ML, and concurrency and communication facilities which generalise those of occam. | | | In this talk we will sketch the history of the ECSP, and outline its most important new features by means of a case study. |
|
http://web.comlab.ox.ac.uk/oucl/seminars-tt00/extra/sufrin.html
(132 words)
|
|
| |
| | [No title] |
| | "The Concurrent Logic Programming Language CP": Definition and Operational Semantics", V. Saraswat, 14th POPL, ACM 1987, pp.49-62. |
|
http://oop.rosweb.ru/Other/427.html
(17 words)
|
|
| |
| | 'twURLed World' Thumbnail: PPXT Concurrent Programming VT03 |
| | PPVT - Concurrent Programming VT03 Latest News and General Information 2003-05-08 Tentagranskning Tuesday 20 May at 12.00 in room G7 2003-03-31 The exam correction has been somewhat delayed because of Prasads hospitalization. | | | An Investigation of the Therac - 25 Accidents (The risks of incorrect concurrent programming). | | | "An Investigation of the Therac-25 Accidents (The risks of incorrect concurrent programming)" |
|
http://www.twurl.com/twurled_world/therac/URL_Details/URL_294.htm
(129 words)
|
|
| |
| | [No title] |
| | "The Concurrent C Programming Language", N. Gehani et al, Silicon Press 1989. | | | [NOT the same as above] "Concurrent C: A Language for Distributed Systems", Y. Tsujino et al, Soft Prac & Exp 14(11):1061-1078 (Nov 1984). | | | "Concurrent C", N.H. Gehani et al, Soft Prac & Exp 16(9):821-844 (1986). |
|
http://oop.rosweb.ru/Other/397.html
(63 words)
|
|
|
