Home

Publications

Projects

Software

Bibliographical Links

• ACM Digital Library
• ACM Computing Research Repository
• Computer Science Bibliographies
• DAEDALUS
• DBLP

Logic Programming

• COMPULOG,
• Complog USA
• Logic Programming Conferences
• WWW Virtual Library: Logic Programming
• Prolog FAQs
• Type Analysis for Logic Programs
• Object Oriented Logic Programming
• Interval Temporal Logic
• Library of Logic Programming Systems and Test Cases
• Reform Prolog
• Goedel
• ACE
• MUSE
• Mercury
• Oz
• Andorra-I
• Aquarius
• Mercury Project
• Chronolog
• UV System
• MOLOG
• Lucid
• Starlog
• Ciao Prolog
• SICStus Prolog
• AMZI! Prolog
• Applied Logic Systems Inc.
• ILOG

Formal Verification

• Microsoft SLAM Project
• Bandera
• CMU Model Checking Group
• SPIN
• VIS
• BANE
• PolySpace

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
• Bagnara
• Codish, Michael
• Comini
• Cortesi
• Dart
• Debray
• Demoen
• Drabent
• Ducasse
• Falaschi
• File
• Fruehwirth
• Gallagher
• Gelfond
• Giacobazzi
• Hermenegildo
• Hankin
• Heintze
• Hill
• Jaffar
• King
• Kowalski
• Lifschitz
• Jensen
• Jones
• Maher
• Maluszynski
• Manna
• Marriott
• Nilsson
• Nielson, F
• Odersky
• Orgun
• Palsberg
• Podelski
• Przymusinski
• Ranzato
• Reddy
• Reps
• Santos Costa
• Scozzari
• Schmidt
• Stuckeys
• Warren, David
• Dams,Dennis
• Lau, Kung-Kiu
• Le Charlier, Baudouin
• Maluszynski, Jan
• Marchiori,E.
• Manna, Zohar
• Masse, Damien
• Ryder, Barbara G.
• Seidl, Helmut
• Spoto,Fausto