Program Synthesis Program Synthesis Sumit Gulwani Microsoft Research

Source URL: rishabhmit.bitbucket.io

• Software engineering
• Computing
• Computer programming
• Notation
• Programming language
• Benjamin C. Pierce
• P
• Oz

大健康生态 智能区块链网络 目录 01 摘要

Source URL: allive.io

Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang Yuyin Sun

Source URL: zhang-sai.github.io

• Data management
• Information retrieval
• Computing
• SQL keywords
• SQL
• Query languages
• Database management systems
• Database theory
• Select
• Null
• Update
• Join

How to Build the jobCent Application Using Our Developer Tools This walkthrough will guide how to build your own ​jobCent Application​. You can use this to recreate our app, or modify these steps as needed to accommo

Source URL: ncent.io

• Software
• Computing
• Computer programming
• Cross-platform software
• JavaScript libraries
• Npm
• Node.js
• PostgreSQL
• JavaScript
• Amber Smalltalk

    http://kadena.io  

Source URL: kadena.io

• Cryptocurrencies
• Blockchains
• Alternative currencies
• Bitcoin
• Computing
• Economy
• Concurrent computing
• Decentralization
• Ethereum
• Joseph Lubin
• RootStock
• ternity

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

Source URL: zhang-sai.github.io

• Logic
• Mathematical logic
• Non-classical logic
• Markov logic network
• Software testing
• Probabilistic logic
• Software bug
• Code coverage
• Debugging
• Inference
• First-order logic
• Buggy

Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France

Source URL: pxtp.github.io

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Computability theory
• Models of computation
• First-order logic
• Lambda calculus
• Term
• Quantifier
• Natural deduction
• CurryHoward correspondence

A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´

Source URL: mebsout.github.io

• Mathematics
• Algebra
• Theoretical computer science
• Logic in computer science
• Satisfiability modulo theories
• Alt-Ergo
• Modular arithmetic
• Ring
• Rewriting
• Linear programming
• First-order logic
• Interval arithmetic

From Open Citation Data to Linked Open Data: a prototype at the ERC Diego Chialva ERC Executive Agency Unit A1

Source URL: workshop-oc.github.io

• Semantic Web
• Information science
• Computing
• Information
• Knowledge representation
• Technical communication
• Knowledge engineering
• Ontology
• Geographic information system
• Linked data
• Open data
• Web Ontology Language

JMIR MHEALTH AND UHEALTH Selter et al Original Paper

Source URL: destrin.smalldata.io

• Health
• Health informatics
• Technology
• Telehealth
• Appropriate technology
• MHealth
• Medical terminology
• Journal of Medical Internet Research
• Telemedicine
• Activities of daily living
• Educational technology