Breugel, Franck van - York University, Ontario - Concurrent programming languages, semantics, specification languages.


Home		Set as Homepage		Add to Favorite		Contact

27 November, 2009

search for

egories

New Addition

Polyester Bath Mats Manufacturers

Advanced Combustion Technology, Inc.

Indian Staffing Services

Carpet Cleaning Victoria

Color Guard Floors

San Francisco Caregiver

Baltimore Innovations- Desiccant and Moisture Control Experts

Griffin Construction Services

Hotel in Jodhpur - Hotel Sachdeva Excellency

Indian Institute of Alternative Medicine

Solar Panels Outlet

Kitchens

Door Architrave Manufacturers

Dynamic Website Designing

Kobe Motor Company Exports Japanese Used Cars

Bamboo Flooring

OmniCoil Spring Works Inc.

Affordable Used Cars

Australian Vets.

Mercator

Category: Main » Computers » Computer Science » People » B	UPDATE INFO \| REPORT BROKEN LINK
Breugel, Franck van	Popularity: Hit: 51

Details:

	York University, Ontario - Concurrent programming languages, semantics, specification languages. Sponsored Links:
URL:	http://www.cs.yorku.ca/~franck/
Title:	York University \| Franck van Breugel's home page
Description:	Computers, Computer Science, People, B - Breugel, Franck van. York University, Ontario - Concurrent programming languages, semantics, specification languages.
Specialized in:

Bruce, Kim B. (Popularity:

): Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes ...
Boisvert, Ronald F. (Popularity:

): NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
Blair, Michael R. (Popularity:

): MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
Blelloch, Guy (Popularity:

): Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
Hans J. Boehm (Popularity:

): HP Labs - Java, Garbage collection, language theory
Borning, Alan (Popularity:

): University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
Bryant, Barrett R. (Popularity:

): University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
Bernstein, D. J. (Popularity:

): University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
Brajnik, Giorgio (Popularity:

): University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.
Bultan, Tevfik (Popularity:

): University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.

Popular Sites

Blelloch, Guy (Popularity:

): Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
Bruce, Kim B. (Popularity:

): NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
Bradfield, Julian (Popularity:

): University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
Hans J. Boehm (Popularity:

): HP Labs - Java, Garbage collection, language theory

Related Press

Bank of America Exceeds $1 Billion in Lending and Investing to Community Lenders (Popularity:

): Bank of America today announced it surpassed the $1 billion mark in loans and investments to more than 120 Community ...
River Blindness (Onchocerciasis) Reduced By Nearly One-Third In At-Risk Populations In Six Countries (Popularity:

): A regional initiative launched in the 1990s to eliminate onchocerciasis (river blindness) in the Americas has substantially reduced the prevalence ...
ASTMH Symposium Showcases Efforts To Meet the Need for New Medicines to Treat Infectious Diseases in Developing Countries (Popularity:

): An urgent need for new medicines to treat neglected infectious diseases in the developing world has prompted a growing number ...
Increase in Shoplifting Has Retailers Turning to New Technologies to Combat Crime This Holiday Season (Popularity:

): The busiest shopping season of the year is upon us and more shoppers in stores mean more shoplifting and theft. ...
Newly Designed Swarovski Crystal Star Unveiled for the 2009 Rockefeller Center(R) Christmas Tree (Popularity:

): Swarovski, the leading producer of crystal stones and crystal fashion jewelry, today unveiled the newly refurbished crystal star that will ...

Related Articles

Unprecedented Performance Of IBM LTO 4 Media Tape (Popularity:

): IBM LTO-4 tape supports fast rate of 240 Mbps with compressed data. Voluminous 1.6Terabyte information can easily be backed on ...
Don't Say No to Christmas This Year, Make Money Online and Work From Home (Popularity:

): If you're in the same predicament as millions of Americans and people all over the world, you are probably wondering ...
Study abroad programs for better prospects. (Popularity:

): Making studies abroad is a dream of almost every student. Study abroad program is a very exciting idea for every ...
The Coverdell Education Savings Account - Is it Right For You? (Popularity:

): Most parents are dealing with daily battles from getting homework into backpacks to packing a healthy lunch, still long term ...
Make Money on Facebook Or Via iPhone - Here's a Sure Fire Way to Generate a Huge Income (Popularity:

): An area of Facebook which is making several companies huge amounts of money is the applications that run on Facebook. ...