121. Zhenyu Qian Universit¤t Bremen Java security, extensions, and semantics; object-oriented, functional, concurrent, logic programming languages; specification languages; compiler construction; program specification, construction and transformation; object-oriented analyis and design; types; lambda-calculus; unification; algebraic semantics; and theorem proving systems. http://www.informatik.uni-bremen.de/~qian/qian.html

Zhenyu Qian Research Interests Projects Publications Lectures ... Hotlist Research Interests Java security, Java extensions, Java semantics, object-oriented, functional, concurrent, logic programming languages, specification languages, compiler construction, program specification, program construction, program transformation, object-oriented analyse and design, types, lambda-calculus, unification, algebraic semantics, theorem proving systems. I am now working at the Kestrel Institute . Click here to go to my new homepage. Zhenyu Qian, last update June 23, 2000

122. Napier88 programming system (language and persistent environment) from University of St Andrews. Features orthogonal persistence, type completeness, higherorder procedures, abstract (existential) data types, collections of bindings, strongly typed stable store, graphical data types, concurrent execution and data access, support for reflective programming. http://www-ppg.dcs.st-and.ac.uk/Languages/Napier88/

Napier88 is a programming language named after John Napier . Some on-line documentation is available. The Language The Napier88 persistent programming system provides the following facilities: Orthogonal persistence - models of data independent of longevity Type completeness - no restrictions on constructing types Higher-order procedures - procedures are data objects Parametric polymorphism - generic forms which may be specialised for use Abstract (existential) data types - for sophisticated protection and viewing Collections of bindings - for name space control, incremental system construction and system evolution A strongly typed stable store - a populated environment of typed data objects that may be updated atomically Graphical data types - for line drawings and raster images Concurrent execution and data access - using threads, semaphores and transactions Support for reflective programming - for system evolution The Napier88 system consists of the language and its persistent environment. The persistent store is populated and, indeed, the system uses objects within the persistent store to support itself. The implication of orthogonal persistence is that the user need never write code to move or convert data for long or short term storage [ABC+83] . The model of persistence in Napier88 is that of reachability from a root object. The persistent store is also stable, that is, it is transformed from one consistent state to the next. Stabilisation must be performed by the user to preserve data except that programs which terminate normally generate an automatic stabilise operation. Execution against the persistent store is always restarted from the last stabilised state.

123. GNU Tools For The HP3000 Online documentation for GNU programming tools for the HP 3000 standard with all HP 3000s with the MPE/iX POSIX shell. Tools include Make and CVS. CVS (concurrent Versions System) a version control/software configuration management utility used by a number of HP 3000 programmers. http://www.dis.com/gnu.html

Credits I would like to thank the support and suggestions I've received from Steve Elmer of HP and Jeff Law at the University of Utah while working on this port. There has recently been some significant interest in these activities by a number of companies, including HP. It looks like the only C++ compiler that will be available on the 3000 will be the GNU tools. Please refer to the GNU General Public License for terms under which this will be available. Ported Tools. These tools can be found on HP's Jazz server. Detailed instructions can be found in on Jazz through here GNU Online Documentation. Online documentation is available for the following: == User Documentation. == Internal Documentation. GCC Documentation GCC C Pre-processor GNU Assembler Pre-processor Documentation GNU Profiler Documentation ... Autoconf Configuration Documentation webmaster@dis.com

124. Sanjiva Prasad's Home Page Indian Institute of Technology, Delhi programming Languages, concurrent Systems http://www.cse.iitd.ernet.in/~sanjiva

Sanjiva Prasad's Home Page Sanjiva Prasad Department of Computer Science and Engineering Indian Institute of Technology, Delhi Hauz Khas, New Delhi 110016 INDIA Office : VI-126 E-mail sanjiva@cse.iitd.ernet.in PHONE : (+91 11) 659 1294 (Office) PHONE : (+91 11) 651 5652 (Res) PHONE : (+91 11) 659 1684 (Res) FAX Research Interests I am interested in the design and implementation of programming languages for mobile distributed computing. This includes an interest in process calculi for mobility security protocols , type systems and functional programming. I also am interested in verification of programs, protocols and systems. I occasionally dabble in very elementary proof theory. Recent Publications An Introduction to Operational Semantics Sanjiva Prasad and S. Arun-Kumar. In Y. N. Srikant and P. Shankar (eds), Compiler Design Handbook: Optimizations and Machine Code" , CRC Press, Boca Raton, 2002. Reflecting BDDs in Coq Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad and S. Arun-Kumar. Extended abstract appears in Proceedings of ASIAN'00

125. CMU CS Venari Project Home Page The thrust of the Venari project at Carnegie Mellon University is addressing the problem of search, hence the name. We touch upon areas in programming and specification language design, semantics, and implementation; concurrent and distributed systems; databases and persistent objects; and software development libraries and environments. http://www-2.cs.cmu.edu/afs/cs/project/venari/www/home.html

Venari Project Project Goals Venari means "to hunt" in Latin. The thrust of the Venari project at Carnegie Mellon University is addressing the problem of search , hence the name. We touch upon areas in programming and specification language design, semantics, and implementation; concurrent and distributed systems; databases and persistent objects; and software development libraries and environments. The primary goal of the Venari Project is to provide software support for storing, accessing, and retrieving objects based on their semantics. To support that goal, we have designed and implemented linguistic extensions to the Standard ML programming language to provide persistent data and transactions. A more complete statement of the project's goals is available here (in PostScript). Venari Papers Follow any of the links below to get the abstract and a pointer to the full text. Venari/ML: design and implementation of concurrent transactions for ML. Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott M. Nettles, and Jeannette M. Wing, Composing First-Class Transactions ACM Transactions on Programming Languages and Systems , Short Communication, November 1994.

126. Nissim Francez's Home Page The Technion Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming. http://www.cs.technion.ac.il/~francez/

CS home page Nissim Francez's Home Page Bank Leumi professor of computer science Head, Computational Linguistics Laboratory Department of Computer Science The Technion Haifa 32000, Israel +972-4-8294369 (voice) +972-4-8294353, or +972-4-8221128 (fax) e-mail: francez@cs.technion.ac.il Home address: 10B Hanita st., Nahariya 22385, Israel Tl. (+972)(4) 9928444 Research Interests: Main: Formal semantics of Natural language, Type-logical grammar, Computational linguistics, unification-based grammar formalisms (LFG, HPSG). Secondary: Semantics of programming languages, program verification. Concurrent and distributed programming. Logic programming. My research activity is within the Computational Linguistics Laboratory (LCL). My CV

127. Old Home Page Of Maurizio Gabbrielli, Professor Of Computer Science University of Udine Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming. http://www.dimi.uniud.it/~gabbri/

Old home page of Maurizio Gabbrielli Professor of Computer Science This page is obsolete since Maurizio Gabbrielli has moved to the University of Bologna Please find here his new page Professional Research interests Papers available on-line Publications Projects ... ALP , the Association of Logic Programming (member of the Executive Committee) EAPLS , the European Association for Programming Languages and Systems (member of the Board) PPDP , the ACM Conference Principles and Practice of Declarative Programming (member of the Steering Committee) GULP , the Italian Association of Logic Programming (president) Conferences CL 2000 (PC member, Stream on Theory and Extensions ), July 2000, London. PPDP 2000 The 2nd Int'l Conf. on Principles and Practice of Declarative Programming (Program co-chair) CP 98 Fourth International Conference on Constraint Programming (PC member) PLILP/ALP 98 and SAS 98 Joint International Symposia (Conference chair) Other links The 2000 International Summer School in Computational Logic , Maratea (Italy) (co-organizer) COTIC 98 Second workshop on concurrent constraint programming for time critical applications and multi-agent systems Teaching Informatica Documentale Informatica Applicata Disponibilita' di Tesi Other related pointers

128. Concurrency And Computation Practice And Experience (Journal) Peerreviewed articles covering concurrent solutions, algorithms, programming environments and applicatons. Published by Wiley InterScience. http://www.interscience.wiley.com/jpages/1532-0626/

129. Oz Programming System concurrent constraint programming language designed for applications needing complex symbolic computations, organization into multiple agents, and soft realtime control. The original Oz DFKI Oz 2.0; features, tools, documents, download. Predecessor of Mozart. http://www.ps.uni-sb.de/oz2/

130. Baquero, Carlos Minho University Distributed systems and mobile computing, concurrent object-oriented programming. http://gsd.di.uminho.pt/cbm/

Carlos Baquero Main interest areas: Distributed Systems and Mobile Computing. Concurrent Object Oriented Programming. Position Assistant Professor in the Distributed Systems Group Computer Science Department Minho University EMail: cbm (at) di.uminho.pt Current Projects Working on Panasync: Dependency Tracking among File Copies Co-editor of GilDot , A slashdot like forum to promote Open Software in Portugal. Contributing to the Palm Pilot comunity with some Free Software Ongoing Projects External collaboration in the IST program of the European Commission. The Mobisnap project with a team from Universidade Nova de Lisboa, UNL. The RMenezes link. Past Projects Organizing Committee of the Portuguese Meeting on Mobile Computing, EPCM'99 , held in Tomar in November 1999. Organizing Committee of ECOOP'99 as Poster chair. Co-organization of the III Workshop on Mobility and Replication on ECOOP'98. Co-organization of the ECOOP'96 Workshop on Mobility and Replication Organizing Committee of the first Portuguese WWW Conference Co-organization of the ECOOP'95 Workshop on Mobility and Replication A Query of intended votes for the Portuguese Presidential elections.

131. The Scala Programming Language A general purpose programming language with a special focus on web services. It combines objectoriented, functional and concurrent elements. It is a successor of Funnel. Java-based implementation. http://lamp.epfl.ch/scala/

S c a l a Home Overview Documentation Downloads Examples Reporting a Bug ... Community The Scala Programming Language Scala is a modern multi-paradigm programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. Scala is object-oriented Scala is a pure object-oriented language in the sense that every value is an object . Types and behavior of objects are described by classes and traits . Class abstractions are extended by subclassing and a flexible mixin-based composition mechanism as a clean replacement for multiple inheritance. Scala is functional Scala is also a functional language in the sense that every function is a value . Scala provides a lightweight syntax for defining anonymous functions, it supports higher-order functions , it allows functions to be nested , and supports currying . Scala's case classes and its built-in support for pattern matching model algebraic types used in many functional programming languages. Furthermore, Scala's notion of pattern matching naturally extends to the

132. Cybele From Intelligent Automation Inc OpenCybele, the open source agent infrastructure, is a runtime environment built on the top of the Java(TM) 2 platform for control and execution of agents. Features include plugn-play capability of agent services, Activity Centric programming (ACP), multi-thread support for concurrent agent execution, location independent communication, publish-subscribe based messaging, synchronous, asynchronous, broadcast, and point-to-point messaging. http://www.opencybele.org

133. A Distributed Implementation Of The C-Linda Programming Language Language combining C and Linda, gives six functions for concurrent process coordination, can be added to any other sequential language, unlike many other parallel languages, programmers needn't learn a new language. Thesis with essay, bibliography, code samples. http://www.cs.oberlin.edu/~jbasney/honors/thesis.html

A Distributed Implementation of the C-Linda Programming Language Jim Basney Computer Science Program Oberlin College May 1995 Introduction Professor David Arnow (Brooklyn College, City University of New York) has developed a C library for distributed programming on Unix systems called DP. The DP project has three main goals: power, simplicity, and implementability. The DP functions should be powerful enough to implement most distributed applications. They should be a simplified interface to the facilities already present in Unix for process management and communication. Additionally, they should be implementable on most distributed computing platforms. DP provides the C programmer with reliable message passing between processes and simplified non-local process spawning. The C-Linda language is a natural continuation of the above goals. It provides a metaphor for concurrent programming that can serve as an abstraction of the functionality provided by DP. The C-Linda Language The C-Linda programming language is the combination of the C and the Linda languages. Linda, developed by Professor David Gelernter (Yale University), is a coordination language. It provides six functions for concurrent process coordination that can be added to any sequential programming language, conforming to that language's function call syntax. Thus, unlike with many other modern parallel languages, the Linda programmer does not need to learn an entirely new computational language, but rather only needs to learn the Linda primitives for adding concurrency to the language that the programmer is most familiar with.

134. Jeannette M. Wing Professor in the School of Computer Science Associate Dean of Doctoral Programs, Software specification and verification, security, concurrent and distributed systems, programming languages, programming methodology. http://www-2.cs.cmu.edu/~wing/

Jeannette M. Wing Professor of Computer Science Head, Computer Science Department Contact Information Address: Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213 Phone: 412-268-3068 (office) 412-260-8926 (cell) Fax: 412-268-5577 Email: wing@cs.cmu.edu Research Interests Software specification and verification security , concurrent and distributed systems programming languages programming methodology Publications (complete list, page still under construction). Selected Recent Publications Security Measuring A System's Attack Surface , Pratyusa Manadhata and Jeannette Wing, submitted to USENIX Security 2004 , available as CMU-TR-04-102 , January 2004. Tools for Generating and Analyzing Attack Graphs , Oleg Sheyner and Jeannette Wing, to appear in Proceedings of Formal Methods for Components and Objects , Lecture Notes in Computer Science, 2005. Measuring Relative Attack Surfaces , Michael Howard, Jon Pincus, and Jeannette Wing, Proceedings of Workshop on Advanced Developments in Software and Systems Security , available as CMU-TR-03-169, August 2003.

135. Laboratorio De Fundamentos Da Computación E Intelixencia Artificial Affiliated with the University of Corunna. Does research in theoretical Computer Science, programming, distributed and concurrent functional environments and formal methods in Software Engineering. http://carpanta.dc.fi.udc.es/

Main Page Contact Info Staff Projects ... Internal LABORATORY OF FOUNDATIONS IN COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE LFCIA is a laboratory affiliated to the Department of Computer Science of the Faculty of Informatics of the University of Corunna Interesting Links Models and Applications of Distributed Systems Group ( MADS Group VoDKA Project: Video on Demand Kernel Architecture Vision Artificial y Reconocimiento de Patrones ( VARPA Group web@lfcia.org Main Page Contact Info ... Internal

136. Distributed Haskell Extension for parallel and distributed programming, with combinators from concurrent constraint programming; computational parts of programs are expressed functionally, development was first for tightly coupled multiprocessors, evolved from Goffin. http://www.cse.unsw.edu.au/~chak/goffin/

Distributed Haskell aka Goffin Parallel and Distributed Programming in Haskell Haskell is the most popular lazy, functional programming language. It includes a polymophic type system that supports overloading, a powerful standard library, and a convenient, purely functional I/O system. Currently, there are three mature implementations . There is even some poetry about it. Distributed Haskell extends plain Haskell with support for concurrent computations, distribution, reactive behaviour, soft-real time constraints, and inter-application communication. The resulting language facilitates the implementation of co-ordinative structures required in applications from parallel computing as well as distributed and Internet programming. High-performance SMP servers, clustered workstations, and modern supercomputers increasingly share the same architectures; at the same time, we see that distributed computing and parallel computing are converging. It is clear that this development has a strong impact on programming models and language design for networked and high-performance machines. Distributed Haskell is designed to allow implementin many parallel and distributed applications in the same framework. Distributed Haskell evolved from Goffin, an extension of Haskell with combinators from concurrent constraint programming. These combinators constitute a co-ordination sublanguage that allows the specification of the co-ordination portion of parallel and distributed programs. The computational portions of these programs are expressed purely functional. The distinguished feature of Goffin is that the semantic properties of the functional base language Haskell are preserved; in particular, the extension retains referential transparency. Although, the development of Goffin initially focused on tightly-coupled multiprocessors, some extensions that are required for applications executing on loosely-coupled systems have been proposed recently, which inspired the change of the name into Distributed Haskell

137. Scsh - The Scheme Shell A broadspectrum systems-programming environment for Unix embedded in R5RS Scheme (actually within version 0.53 of Scheme48). Support for concurrent system programming, sophisticated I/O and automatic garbage collection for process resources. http://www.scsh.net/

What is scsh? News Who wrote scsh? Scsh on SourceForge ... Praise scsh .net all about scsh Scsh is an open-source Unix shell embedded within Scheme , running on all major Unix platforms including AIX, Cygwin, Linux, FreeBSD, GNU Hurd, HP-UX, Irix, Mac OS X, Solaris, and some others. Scsh is a variant of Scheme 48 (an R RS Scsh has two main components: a process notation for running programs and setting up pipelines and redirections, and a complete syscall library for low-level access to the operating system, i.e. to POSIX , the least common denominator of more or less all Unices, plus widely supported extensions such as symbolic links and BSD sockets. Moreover, scsh provides an awk facility for pattern-directed computation over streams of records, a rich facility for matching regular-expression patterns in strings, event-based interrupt handling, user-level threads, a futuristic module system, and an interactive environment. Scsh comes with extensive documentation describing these and other features. The latest version of scsh is 0.6.6, released March 29, 2004. You may

138. Programming Java Threads In The Real World, Part 1 programming Java threads isn't nearly as easy (or as platformindependent) as most books would have you believe, and all Java programs that use the AWT are multithreaded. This article is the first http://www.javaworld.com/javaworld/jw-09-1998/jw-09-threads.html

Advertisement: Support JavaWorld, click here! September 1998 HOME FEATURED TUTORIALS COLUMNS FORUM ... JAVA BOOK INDEX JavaWorld Services Newsletters Special Offers ProductFinder Education Resources ... White Paper Library Programming Java threads in the real world, Part 1 A Java programmer's guide to threading architectures Summary Programming Java threads isn't nearly as easy (or as platform-independent) as most books would have you believe, and all Java programs that use the AWT are multithreaded. This article is the first in a series that discusses the things you need to know to program threads in the real world. The article assumes you understand the language-level support for threads (the synchronized keyword, how monitors work, the and methods, and so on) and focuses on the legion of problems that arise when you try to use these language features. (3,400 words) By Allen Holub Printer-friendly version Mail this to a friend Page 1 of 3 Advertisement ll Java programs other than simple console-based applications are multithreaded, whether you like it or not. The problem is that the Abstract Windowing Toolkit (AWT) processes operating system (OS) events on its own thread, so your listener methods actually run on the AWT thread. These same listener methods typically access objects that are also accessed from the main thread. It may be tempting, at this point, to bury your head in the sand and pretend you don't have to worry about threading issues, but you can't usually get away with it. And, unfortunately, virtually none of the books on Java addresses threading issues in sufficient depth. (For a list of helpful books on the topic, see

139. Concurrency - State Models & Java Programs Concurrency State Models Java Programs. http://www.doc.ic.ac.uk/~jnm/book/

Jeff Magee Jeff Kramer The following resources are available: Slides Demonstration Programs The set of demonstration programs in the book may be run as applets in a Java enabled browser from here. The program source is also included. Labelled Transition System Analyzer The LTS Analyzer can be run as an Applet from here in browsers which support Java 1.1 or later. Labelled Transition System Analyzer V2.2 This version also runs as an applet. It requires Java 1.3 Plugin published by Wiley New LTSA V2.2 - release(1/9/01) DOWNLOAD - LTS Analyzer Tool and Example Applets (3409KB) LTSA - bug fix release (14/4/99) Supplement on Program Verification (17/9/99) Errata (1/2/00) Solutions Comments, bugs, problems etc. - email jnm@doc.ic.ac.uk or jk@doc.ic.ac.uk

140. Index Of /classes/cs522 Parent Directory 02Mar-2004 1416 - 1997/ 12-Jan-2000 1113 - 1998/ 12......Index of /classes/cs522. Name Last modified Size http://www.cs.arizona.edu/classes/cs522/

Index of /classes/cs522 Name Last modified Size Description ... Parent Directory 02-Mar-2004 14:16 - 12-Jan-2000 11:13 - 12-Jan-2000 11:13 - 12-Jan-2000 11:12 - 21-Mar-2001 14:05 - 25-Oct-2003 09:26 - 30-Oct-2002 16:26 - 06-Mar-2002 17:00 - 02-Oct-2001 14:09 - 30-Oct-2002 16:26 - 30-Oct-2002 16:26 - 30-Oct-2002 16:26 - 30-Oct-2002 16:26 - Apache/1.3.31 Server at www.cs.arizona.edu Port 80

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 7     121-140 of 140    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7