Results 31 to 40 of about 6,127,131 (339)
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory [PDF]
Foundations of Software Science and Computation Structure, 2019 Inductive datatypes in programming languages allow users to define useful data structures such as natural numbers, lists, trees, and others. In this paper we show how inductive datatypes may be added to the quantum programming language QPL.
Romain Péchoux +3 more
semanticscholar +1 more source
Induction by Coinduction and Control Operators in Call-by-Name [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper studies emulation of induction by coinduction in a call-by-name language with control operators. Since it is known that call-by-name programming languages with control operators cannot have general initial algebras, interaction of induction ...
Yoshihiko Kakutani, Daisuke Kimura
doaj +1 more source
Active Inductive Logic Programming for Code Search [PDF]
International Conference on Software Engineering, 2018 Modern search techniques either cannot efficiently incorporate human feedback to refine search results or cannot express structural or semantic properties of desired code.
Aishwarya Sivaraman +3 more
semanticscholar +1 more source
Knowledge Refactoring for Inductive Program Synthesis [PDF]
Proceedings of the AAAI Conference on Artificial Intelligence, 2021 Humans constantly restructure knowledge to use it more efficiently. Our goal is to give a machine learning system similar abilities so that it can learn more efficiently. We introduce the knowledge refactoring problem, where the goal is to restructure a learner's knowledge base to reduce its size and to minimise redundancy in it.
Dumancic, Sebastijan +2 more
openaire +3 more sources
Inductive Data Types Based on Fibrations Theory in Programming
Journal of Computing and Information Technology, 2016 Traditional methods including algebra and category theory have some deficiencies in analyzing semantics properties and describing inductive rules of inductive data types, we present a method based on Fibrations theory aiming at those questions above.
Decheng Miao +3 more
doaj +1 more source
Information, 2022 This paper focuses on the study of automated process discovery using the Inductive visual Miner (IvM) and Directly Follows visual Miner (DFvM) algorithms to produce a valid process model for educational process mining in order to understand and predict ...
Hameed AlQaheri, Mrutyunjaya Panda
doaj +1 more source
Learning Weak Constraints in Answer Set Programming [PDF]
, 2015 This paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set Programming (ASP).
Broda, Krysia +2 more
core +2 more sources
A weak HOAS approach to the POPLmark Challenge [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Capitalizing on previous encodings and formal developments about nominal calculi and type systems, we propose a weak Higher-Order Abstract Syntax formalization of the type language of pure System ...
Alberto Ciaffaglione, Ivan Scagnetto
doaj +1 more source
Business Model Transformation of a Service Provider on a Sharing Economy Platform
Journal of Business Models, 2021 The study investigates a business model transformation of a service provider on a sharing economy platform (Airbnb) using a dynamic business model perspective.
Olga Novikova
doaj +1 more source
Program logics for homogeneous meta-programming. [PDF]
, 2010 A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself.
C.A. Gunter +8 more
core +3 more sources