Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Hermenegildo M., Penjam J. — Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
Hermenegildo M., Penjam J. — Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings

Авторы: Hermenegildo M., Penjam J.

Аннотация:

This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among the topics covered are parallelism and concurrency; implementation techniques; partial evaluation, synthesis, and language issues; constraint programming; meta-programming and program transformation; functional-logic programming; and program analysis and abstract interpretation.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1994

Количество страниц: 481

Добавлена в каталог: 10.03.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Arenas-Sanchez, Puri      385
Barklund, Jonas      465
Belkhir, Abdelkader      463
Benevides, Mario      457
Bevemyr, Johan      88
Birkedal, Lars      198
Boulanger, Dmitri      432
Breitinger, Silvia      277
Brogi, Antonio      292
Bruynooghe, Maurice      400 432
Bsaies, Khaled      459
Bugliesi, Michele      215
Chiarelli, A.      292
Chikayama, Takashi      25
Codognet, Christian      308
Codognet, Philippe      244 308
Denecker, Marc      432
Diaz, Daniel      244
Englebert, Vincent      400
Fages, Francois      261
Field, John      415
Fowler, Julian      261
Fruehwirth, Thom      230
Fujise, Tetsuro      25
Gergatsoulis, Manolis      340
Giacobazzi, Roberto      57
Gil-Luezas, Ana      385
Glueck, Robert      165
Goguen, Joseph A.      132
Grivas, Georgios      455
Hamel, Lutz H.      132
Hans, W.      461
Hanus, Michael      370
Hundehege, J.-B.      453
Jamil, Hasan M.      215
Janssens, Gerda      400
Katzouraki, Maria      340
Kluzniak, Feliks      449
Leal, Jose Paulo      451
Levi, Giorgio      57
Lindgren, Thomas      88
Lippe, W.-M.      453
Lock, Hendrik C.R.      277
Loia, Vincenzo      308
Lopez-Fraguas, Francisco J.      385
Mancarella, Paolo      292
Mantsivoda, Andrei      467
Maraist, John      355
Mazzotta, V.      292
Metzemakers, Timo      324
Milkowska, Miroslawa      449
Miller, Dale      3
Miniussi, Alain      324
Moreau, Luc      182
Nemouche, Namick      463
Neumerkel, Ulrich      73
Paige, Robert      5
Palamidessi, Catuscia      1
Pedreschi, Dino      292
Pettersson, Mikael      117
Quaggetto, Michel      308
Queinnec, Christian      182
Renso, C.      292
Rodrigues, Odinaldo      457
Ruz, Jose Jaime      461
Saenz, Fernando      461
Schulte, Wolfram      102
Sekita, Daigo      25
Serrano, Manuel      447
Sherman, David      324
Silbermann, Frank S.K.      355
Smith, Donald A.      40
Sola, Thierry      261
Sprensen, Morten Heine      165
Strandh, Robert      324
Tarau, Paul      73
Tip, Frank      415
Turini, Franco      292
Voronkov, Andrei      147
Welinder, Morten      198
Winkler, Stephan      461
Xanten, U.      453
Zaffanella, Enea      57
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте