32e Conférence Francophone Sur l'Interaction Homme-Machine 2021
DOI: 10.1145/3451148.3458644
|View full text |Cite
|
Sign up to set email alerts
|

Vers la complétude interactive: exigences pour une machine abstraite orientée interaction

Abstract: Turing's work on computability served as the founding theoretical framework for computer science. It aimed at formalizing the intuitive notion of algorithm and gave birth to the concepts of logical automaton and abstract machine. The latter are used to evaluate the expressiveness of programming languages. However, current systems are difficult to model within an algorithmic framework and question the relevance of the classical model. The systems we know are indeed characterized by continuous interactions betwe… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2022
2022
2023
2023

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
references
References 31 publications
0
0
0
Order By: Relevance