An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language.
Pier Giorgio BoscoLaura FerrariElio GiovannettiCorrado MoisoPublished in: IFIP Congress (1) (1992)
Keyphrases
- object oriented
- lambda calculus
- higher order
- programming language
- concurrent programming
- higher order logic
- object oriented programming
- object oriented languages
- definition language
- constraint language
- logic programming
- object oriented databases
- object oriented concepts
- formal language
- dynamic logic
- conditional logic
- relational databases
- formal logic
- formal theory
- high order
- conceptual models
- classical logic
- operational semantics
- database query languages
- proof theory
- database applications
- programming environment
- database design
- predicate calculus
- modal logic
- pairwise
- modal operators
- programming interface
- intuitionistic logic
- natural language
- object oriented database systems
- natural images
- software engineering
- data model
- database systems
- predicate logic
- database schema
- language learning
- database languages
- conceptual model
- rule engine
- markov random field
- query language
- order sorted