the proceedings contain 8 papers. the special focus in this conference is on functional and constraintlogicprogramming. the topics include: On the Performance of Bytecode Interpreters in Prolog;memoized Pull-Tabbing...
ISBN:
(纸本)9783030753320
the proceedings contain 8 papers. the special focus in this conference is on functional and constraintlogicprogramming. the topics include: On the Performance of Bytecode Interpreters in Prolog;memoized Pull-Tabbing for functionallogicprogramming;effectiveness of Annotation-Based Static Type Inference;a Framework for Generating Diverse Haskell-I/O Exercise Tasks;formally Verified Transformation of Non-binary constraints into Binary constraints;constraint-logic Object-Oriented programming with Free Arrays.
the proceedings contain 18 papers. the special focus in this conference is on Applications of Declarative programming and Knowledge Management. the topics include: Facets of the PIE Environment for Proving, Interpolat...
ISBN:
(纸本)9783030467135
the proceedings contain 18 papers. the special focus in this conference is on Applications of Declarative programming and Knowledge Management. the topics include: Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order logic;KBSET – Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative Markup and a Core Written in SWI-Prolog;structured Traversal of Search Trees in constraint-logic Object-Oriented programming;performance Analysis of Zippers;adding Data to Curry;free theorems Simply, via Dinaturality;Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation;ICurry;a Process Calculus for Formally Verifying Blockchain Consensus Protocols;modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer programming;finding Maximal Non-redundant Association Rules in Tennis Data;from Textual Information Sources to Linked Data in the Agatha Project;allen’s Interval Algebra Makes the Difference;exploring Properties of Icosoku by constraint Satisfaction Approach;the Regularization of Small Sub-constraint Satisfaction Problems;declarative programming for Microcontrollers - Datalog on Arduino.
constraint-logic object-oriented programming is a young programming paradigm that aims to bring constraint-solving techniques to an audience more accustomed to imperative programming. A prototypical language of this p...
详细信息
ISBN:
(纸本)9789897586477
constraint-logic object-oriented programming is a young programming paradigm that aims to bring constraint-solving techniques to an audience more accustomed to imperative programming. A prototypical language of this paradigm, Muli, allows for the use not only of primitive-typed free variables, but also for free objects and free arrays of primitive-typed elements. In the work at hand, we extend the current version of Muli so that it supports free arrays of arrays and free arrays of objects. We do so by utilizing the concept of symbolic aliasing. Our evaluation shows that the presented approach can speed up program validation and test case generation, as well as solving complex constraint satisfaction problems.
constraintprogramming techniques are particularly successful at solving discrete optimization problems such as resource allocation, scheduling or transport problems which are ubiquitous in the industry. Although hist...
详细信息
the proceedings contain 10 papers. the special focus in this conference is on functional and constraintlogicprogramming. the topics include: Code Generation for Higher Inductive Types: A Study in Agda Metaprogrammin...
ISBN:
(纸本)9783030162016
the proceedings contain 10 papers. the special focus in this conference is on functional and constraintlogicprogramming. the topics include: Code Generation for Higher Inductive Types: A Study in Agda Metaprogramming;measuring Coverage of Prolog Programs Using Mutation Testing;runtime Verification in Erlang by Using Contracts;Enhancing POI Testing through the Use of Additional Information;synthesizing Set Functions;Towards a constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs;reference Type logic Variables in constraint-logic Object-Oriented programming;FMS: functionalprogramming as a Modelling Language.
Personalized approaches and tailored support have become increasingly significant in the field of online education, aiming to enhance the overall learning experiences of learners. this paper introduces a novel approac...
详细信息
Personalized approaches and tailored support have become increasingly significant in the field of online education, aiming to enhance the overall learning experiences of learners. this paper introduces a novel approac...
Personalized approaches and tailored support have become increasingly significant in the field of online education, aiming to enhance the overall learning experiences of learners. this paper introduces a novel approach for addressing challenges in providing tailored support by utilizing chatbot technology and the flexibility of fuzzy logic. the chatbot is responsible for delivering precise and tailored responses to learners, considering their input, typically in text form. this is accomplished through the utilization of a rule-based system that is capable of generating accurate answers according to predefined criteria. To augment this support, fuzzy logic is employed for modeling the learners' knowledge, thereby enhancing the chatbot's proficiency in accurately evaluating and responding to inquiries. Consequently, the provision of assistance can be tailored to the specific knowledge level of learners, aiding them in achieving their educational goals. this methodology is incorporated in an intelligent tutoring system designed to provide tutoring for the programming language Java. the evaluation findings demonstrated the effectiveness of our approach in delivering personalized assistance through a chatbot. the results indicated that the chatbot's responses were highly rated in terms of clarity, relevance, and usefulness. Additionally, the system was found to effectively address learners' needs with quality and adequacy.
constraint-logic object-oriented programming provides a useful symbiosis between object-oriented programming and constraint-logic search. the ability to use logic variables, constraints, non-deterministic search, and ...
详细信息
the proceedings contain 6 papers. the topics discussed include: MOLEGA: modeling language for educational card games;PrintTalk: a constraint-based imperative DSL for 3D printing;industrial experiences withthe evoluti...
ISBN:
(纸本)9781450391061
the proceedings contain 6 papers. the topics discussed include: MOLEGA: modeling language for educational card games;PrintTalk: a constraint-based imperative DSL for 3D printing;industrial experiences withthe evolution of a DSL;co-designing DSL quality assurance measures for and with non-programming experts;integration of modeling and verification for system model based on karma language;and differential-FORMULA: towards a semantic backplane for incremental modeling.
"Rules as Code"in this paper is used to refer to a proposed methodology of legislative and regulatory drafting.1 that legislation can be represented in declarative code for automation has long been recognize...
详细信息
暂无评论