Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing.
Hendrik WinkelmannHerbert KuchenPublished in: ENASE (2023)
Keyphrases
- object oriented programming
- programming language
- object oriented
- lambda calculus
- programming concepts
- key concepts
- object oriented languages
- exception handling
- higher order
- constraint language
- functional programming
- high frequency
- object oriented concepts
- logic programming
- high level
- web development
- learning perl
- databases
- modal logic
- high resolution
- predicate calculus
- binary decision diagrams
- learning tools
- frequency domain
- software engineering
- artificial intelligence