Miscellaneous Information
Bibliographical Links
Logic Programming
Formal Verification
People and Groups
- Cousot's Links
- Giacobazzi's links
- Semantics
People
- Language
People
- LPNMR
- Set-Based Analysis
- Semantics-Based
Program Analysis and Manipulation
- Programming
Language Research
- Leuven,
- IC-Parc
- TOPPS Group
- Fox
Project @ CMU
- Bristol
- XSB
Group
- Pisa
- L.L.D.A.P
- New Mexico State University
- CLIP -
Technical University of Madrid
- LIACC
- Universidade do Porto
- COMPOSE
Project
- Programmer
Productivity Research Center
- Logical Frameworks
Research @ CMU
- Swedish
Institute for Computer Science
- Imperial
College
- Bagnara
- Barklund
- Beeri
- Benhamou
- Boye
- Bry
- Cartwright,
Robert
- Charatonik,
Witold
- Cardelli
- Chambers
- Chomicki, J.
- Codish, Michael
- Codognet,
Philippe
- Colby
- Comini
- Cortesi
- Cousot,
Patrick
- Cousot,
Rahdia
- Dart
- Debray
- Demoen
- Diaz
- Drabent
- Ducasse
- Dutra
- Etalle
- Falaschi
- File
- Fisher
- Fitting
- Freese
- Fruehwirth
- Gallagher
- Gelfond
- Giacobazzi
- Gregory
- Griswold
- Hermenegildo
- Hale
- Hankin
- Heintze
- Hill
- Jaffar
- King
- Kifer
- Kono
- Kowalski
- Kunen
- Launchbury
- Lifschitz
- Liu
- Lloyd
- Lobo
- Jay
- Jensen
- Jones
- Maher
- Maluszynski
- Manna
- Marriott
- McAllester
- Minker
- Mislove
- Naish
- Nilsson
- Nielson, F
- Older
- Odersky
- Orgun
- Palsberg
- Pfenning
- Podelski
- Przymusinski
- Ranzato
- Reddy
- Reps
- Sands
- Santos Costa
- Scozzari
- Schaerf
- Schmidt
- Smith
- Somogyi
- Søndergaard
- Srivastava
- Stroustrup
- Steinby
- Stuckeys
- Subrahmanian
- Tommasi
- Tarau
- Tick
- Topor
- Ueda
- Utting
- Van Hentenryck
- Van
Roy
- Volpe
- Wand
- Warren
- Weise
- Wells
- Cormen,T.H.
- Dams,Dennis
- Lau,
Kung-Kiu
- Le Charlier,
Baudouin
- Maluszynski,
Jan
- Marchiori,E.
- Manna, Zohar
- Masse,
Damien
- Mitchell,John
- Naumovich, Gleb
- Reddy,U.S.
- Ryder,
Barbara G.
- Seidl,
Helmut
- Spoto,Fausto
- Theiling,
Henrik
- Tiuryn,
Jerzy
- Pfenning,
Frank
- Yahav, Eran
Last modified: March 5, 2006