Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing

Hendrik Winkelmann; Herbert Kuchen

doi:10.5220/0011849200003464

ScienceGate Book Chapters

JOURNAL ARTICLE

Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing

Hendrik Winkelmann Herbert Kuchen

Year: 2023 Pages: 412-419

DOI: 10.5220/0011849200003464

Get Full-Text PDF Get Analytical Report

Keywords:

Aliasing Computer science Constraint (computer-aided design) Programming language Theoretical computer science Algorithm Mathematics Artificial intelligence

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.04

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

Model-Driven Software Engineering Techniques

Physical Sciences → Computer Science → Software

Constraint Satisfaction and Optimization

Physical Sciences → Computer Science → Computer Networks and Communications

Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing

Metrics

Topics

Related Documents

Constraint-Logic Object-Oriented Programming with Free Arrays

Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming

Free Objects in Constraint-logic Object-oriented Programming

Solving logic problems with object-oriented constraint logic programming

Constraint-driven programming in strongly-typed object-oriented languages