Quinlan, Ross

algebraic compiler

oriented specification

quinlan transformation

www.informatik.uni-bremen.de/~qian/qian.html

extensions proving

theorem unification

Qian, Zhenyu

lambda logic

object functional

specification quinlan

Quaglia, Francesco

www.dis.uniroma1.it/~quaglia/

q calculus

proving specification

www.rulequest.com/Personal/

semantics quaglia

quaglia specification

oriented quinlan

parallel tolerant

specification francesco

transformation quaglia

University of New South Wales - Machine learning and data mining.

compiler quinlan

quinlan quaglia

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 analysis and design; types; lambda-calculus; unification; algebraic semantics; and theorem proving systems.

functional compiler

Universit di Roma - Fault-tolerant distributed computing, parallel simulation and performance evaluation .