What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Object-oriented programming
Frank S. de Boer mainly focuses on Programming language, Theoretical computer science, Programming paradigm, Object-oriented programming and Fifth-generation programming language.
His research links 3APL with Programming language.
The study incorporates disciplines such as Calculus, Predicate transformer semantics, Logical programming and Hoare logic in addition to Object-oriented programming.
Frank S. de Boer combines subjects such as Fourth-generation programming language and Artificial intelligence with his study of Fifth-generation programming language.
His Artificial intelligence study integrates concerns from other disciplines, such as Semantics of logic, Semantics, Programming language specification and Natural language processing.
Frank S. de Boer has included themes like Linear temporal logic, Complex system, Software system and Component in his Operational semantics study.
His most cited work include:
- Agent Programming in 3APL (361 citations)
- Stable magnetostructural coupling with tunable magnetoresponsive effects in hexagonal ferromagnets (264 citations)
- Concurrency Verification: Introduction to Compositional and Non-compositional Methods (197 citations)
What are the main themes of his work throughout his whole career to date?
Frank S. de Boer focuses on Programming language, Theoretical computer science, Operational semantics, Java and Distributed computing.
His Correctness, Object-oriented programming, Concurrency, Formal methods and Semantics investigations are all subjects of Programming language research.
His study looks at the relationship between Theoretical computer science and fields such as Concurrent constraint logic programming, as well as how they intersect with chemical problems.
In his study, which falls under the umbrella issue of Operational semantics, 3APL is strongly linked to Semantics.
Frank S. de Boer interconnects Cloud computing, Asynchronous communication, Component and Modular design in the investigation of issues within Distributed computing.
His studies in Inductive programming integrate themes in fields like Fifth-generation programming language and Constraint programming.
He most often published in these fields:
- Programming language (59.36%)
- Theoretical computer science (23.32%)
- Operational semantics (16.96%)
What were the highlights of his more recent work (between 2014-2021)?
- Programming language (59.36%)
- Java (15.90%)
- Correctness (15.19%)
In recent papers he was focusing on the following fields of study:
His primary scientific interests are in Programming language, Java, Correctness, Distributed computing and Operational semantics.
His study ties his expertise on Asynchronous method invocation together with the subject of Programming language.
His study in the field of Java Modeling Language is also linked to topics like Key.
His Correctness study combines topics in areas such as Recursion and Sorting algorithm.
The concepts of his Distributed computing study are interwoven with issues in Synchronization, Scalability and Computation.
His Operational semantics study integrates concerns from other disciplines, such as Functional programming, Haskell, Formal semantics and Transition system.
Between 2014 and 2021, his most popular works were:
- A Survey of Active Object Languages (47 citations)
- OpenJDK's Java.utils.Collection.sort() Is Broken : The Good, the Bad and the Worst Case (41 citations)
- OpenJDK's Java.utils.Collection.sort() Is Broken : The Good, the Bad and the Worst Case (41 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Object-oriented programming
Frank S. de Boer mostly deals with Programming language, Java, Distributed computing, Java Modeling Language and Functional verification.
Frank S. de Boer merges Programming language with Futures contract in his study.
In his study, Web service is strongly linked to Programming paradigm, which falls under the umbrella field of Java.
His Distributed computing research integrates issues from Automaton, Decidability and Theoretical computer science.
Frank S. de Boer has researched Java Modeling Language in several fields, including Algorithm, Correctness and Symbolic execution.
Frank S. de Boer combines subjects such as Timsort and Sorting algorithm with his study of Functional verification.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
