Search Results - programming language theory
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 66
- Software Engineering 51
- Artificial intelligence 48
- Computer programming / software development 30
- Software engineering 23
- Programming & scripting languages: general 19
- Computer networking & communications 18
- Artificial Intelligence 16
- Mathematical theory of computation 16
- Computer Science Logic and Foundations of Programming 15
- Formal Languages and Automata Theory 15
- Machine theory 15
- Algorithms & data structures 14
- Theory of Computation 11
- Compilers (Computer programs) 9
- Compilers and Interpreters 9
- Computer networks 9
- Education 9
- Computer Engineering and Networks 8
- Computer engineering 8
- Systems analysis & design 8
- Computer Modelling 7
- Computer simulation 7
- Computers 7
- Discrete mathematics 7
- Mathematics 7
- Computer modelling & simulation 6
- Computer programming 6
- Electronic digital computers 6
- Evaluation 6
-
21
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Published 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
22
Recommendations to Implement in Language Programs
Published 2016Connect to this object online.
Book -
23
-
24
-
25
-
26
Behavioural Types From Theory to Tools
Published 2017DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
27
Behavioural Types From Theory to Tools
Published 2017OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
28
-
29
-
30
Computational Cognitive Modeling and Linguistic Theory
Published 2020Link to Metadata
Electronic eBook -
31
-
32
Introduction to Scientific Programming with Python
Published 2020Subjects: “…Programming Language…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
33
Introduction to Scientific Programming with Python
Published 2020Subjects: “…Programming Language…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
34
-
35
-
36
-
37
-
38
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to Metadata
Electronic eBook -
39
-
40