Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Structural Induction in Programming Language Semantics A Note for C S 386L Students
a structural approach to operational semantics .
Grammatical Inference in Software Engineering: an Overview of the State of the Art
Domain Ontology for Programming Languages
Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language
On the difficulty of benchmarking inductive program synthesis methods
SemFix: program repair via semantic analysis
Understanding Z: A Specification Language and its Formal Semantics
Script Induction as Language Modeling
Learning compiler design as a research activity
Essentials of Programming Languages
CoCaml: Functional Programming with Regular Coinductive Types
Teaching Programming Broadly and Deeply: The Kernel Language Approach
Context-theoretic Semantics for Natural Language: an Overview
Programming in Alma-0, or Imperative and Declarative Programming Reconciled
Idris, a general-purpose dependently typed programming language: Design and implementation
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
KIL: An Abstract Intermediate Language for Symbolic Execution and Test Generation of C++ Programs
Simple Type-Theoretic Foundations for Object-Oriented Programming
A differentiable approach to inductive logic programming
Guarded commands, nondeterminacy and formal derivation of programs
Different Brain Regions are Infected with Fungi in Alzheimer’s Disease
System Implementation Success Factors ; It ’ s not just the Technology
Parameterized types for Java
Error-Driven Incremental Learning in Deep Convolutional Neural Network for Large-Scale Image Classification
all shook up : fluctuations , maxwell ' s demon and the thermodynamics of computation .