yusuke1997/dblp-id-title huggingface dataset:
A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication
A Framework for Architecture-Level Lifetime Reliability Modeling
False Data Injection Attack Detection for Secure Distributed Demand Response in Smart Grids
A Distributed Avionics Communication Network
Activating Protection and Exercising Recovery Against Large-Scale Outages on the Cloud
An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets
Scalable RFID systems: a privacy-preserving protocol with constant-time identification
Model Checking Safety Properties of Servo-Loop Control Systems
Robustness Testing of Data and Knowledge Driven Anomaly Detection in Cyber-Physical Systems
Testing the Dependability and Performance of Group Communication Based Database Replication Protocols
Towards a Security Benchmark for Database Management Systems
SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems
The Scale Factor: A New Degree of Freedom in Phase Type Approximation
Multi-authoritative Users Assured Data Deletion Scheme in Cloud Computing
Statistical guarantees of performance for MIMO designs
FORISK: Formalizing information security risk and compliance management
Learning to Reliably Deliver Streaming Data with Apache Kafka
Secure Ranked Multi-keyword Search for Multiple Data Owners in Cloud Computing
Secure and Efficient Multi-Variant Execution Using Hardware-Assisted Process Virtualization
Developing a Heterogeneous Intrusion Tolerant CORBA System
A Human Study of Automatically Generated Decompiler Annotations
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models
Functional and Logic Programming, Proceedings of the Fuji International Workshop, Susono, Japan, 17-19 July 1995
Lazy Set-Sharing Analysis
An SMT-Based Concolic Testing Tool for Logic Programs
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Cheap Remarks About Concurrent Programs
Implementing, and Keeping in Check, a DSL Used in E-Learning
Zipping Strategies and Attribute Grammars
The Head Condition and Polymorphic Recursion
Two-Stage Programming
Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl
Declarative Debugging of Wrong and Missing Answers for SQL Views
Automated Generalisation of Function Definitions
Normalization by Evaluation for lambda -2
Rewriting Logic for Cyclic Sharing Structures (extended abstract)
Equivalence Checking of Non-deterministic Operations
Proof Relevant Corecursive Resolution
Derivation of Deterministic Inverse Programs Based on LR Parsing
Online Type-Directed Partial Evaluation
Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement
Towards Manipulation of Mutually Recursive Functions
iData for the World Wide Web - Programming Interconnected Web Forms
Explanations as Programs in Probabilistic Logic Programming
Executable Relational Specifications of Polymorphic Type Systems Using Prolog
A Functional View of Rewriting and Strategies for a Semantics of ELAN
A Brief Survey of Quantum Programming Languages
Extending the TOY System with the ECLiPSe Solver over Sets of Integers
Postponing Redex Contractions in Equational Programs
Semantics and Types in Functional Logic Programming
Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
From Proposition to Program - Embedding the Refinement Calculus in Coq
Complexity Analysis by Rewriting
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine
POSIX Regular Expression Parsing with Derivatives
Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
Program Extraction for Mutable Arrays
Model-Based Knowledge Representation and Reasoning Via Answer Set Programming
The Design and Implementation of BER MetaOCaml - System Description
Type Soundness and Race Freedom for Mezzo
Partial Evaluation and Non-interference for Object Calculi
Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG
Abstract Compilation for Sharing Analysis
A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom
Higher Order Matching for Program Transformation
Polymorphic Types in Erlang Function Specifications
PrologCheck - Property-Based Testing in Prolog
A Simple Take on Typed Abstract Syntax in Haskell-like Languages
From Sets to Bits in Coq
A Scalable Architecture for Proof-Carrying Code
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data
Lazy Lexing is Fast
Being Lazy When It Counts - Practical Constant-Time Memory Management for Functional Programming
Well-Typed Logic Programs Are not Wrong
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
An Abstract Machine Based System for a Lazy Narrowing Calculus
Basic Pattern Matching Calculi: a Fresh View on Matching Failure
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
Model Checking Parameterized by the Semantics in Maude
Functional Pearl: The Distributive λ-Calculus
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework
Breaking Symmetries with Lex Implications
Set-Sharing Is Not Always Redundant for Pair-Sharing
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming
Polytypic Programming With Ease (Extended Abstract)
Dynamic-Cut with Definitional Trees
Functional Pearl: Folding Polynomials of Polynomials
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages
A Functional Perspective on Machine Learning via Programmable Induction and Abduction
Defunctionalized Interpreters for Call-by-Need Evaluation
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description
Quantitative Logic Programming Revisited
Inferring Non-failure Conditions for Declarative Programs
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl
Substructural Type Systems for Program Analysis
Backward Pair Sharing Analysis
Type-Based Amortized Resource Analysis with Integers and Arrays
Translation Certification for Smart Contracts
Type Inference for Overloading without Restrictions, Declarations or Annotations
Dynamic Programming via Thinning and Incrementalization
Declarative Programming with Algebra
A Common Framework Using Expected Types for Several Type Debugging Approaches
Scheduling Complexity of Interleaving Search
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)
Applying Constraint Logic Programming to SQL Test Case Generation
Parallel Computation Skeletons with Premature Termination Property
Standardization and Böhm Trees for Lambda µ -Calculus
A New Translation for Semi-classical Theories - Backtracking without CPS
Descendants and Head Normalization of Higher-Order Rewrite Systems
Termination of Narrowing in Left-Linear Constructor Systems
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
Prological Features in a Functional Setting Axioms and Implementation
Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic
Polynomial Time over the Reals with Parsimony
Towards Normalization by Evaluation for the betaeta -Calculus of Constructions
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings
Functional and Logic Programming, Proceedings of the Second Fuji International Workshop, Shonan Village Center, Japan, 1-4 November 1996
AC-KBO Revisited
The Essence of XML (Preliminary Version)
Type-free Equational Reasoning in the Theeory of Inductively Defined Types
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs
A Functional Framework for Result Checking
On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs
A Pearl on SAT Solving in Prolog
A Higher-Order Colon Translation
Solving Constraint Satisfaction Problems with SAT Technology
System Description: DeepLLM, Casting Dialog Threads into Logic Programs
Tabulation with Zippers
EasyCheck - Test Data for Free
Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings
A Higher-Order Logic Programming Language with Constraints
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers
Declarative Pearl: Deriving Monadic Quicksort
Typed Dynamic Control Operators for Delimited Continuations
Semantics of Linear Continuation-Passing in Call-by-Name
To the Gates of HAL: A HAL Tutorial
Contracts as Pairs of Projections
Narrowing Failure in Functional Logic Programming
CauDEr: A Causal-Consistent Reversible Debugger for Erlang
Formal Methods in CafeOBJ
Integrating Answer Set Reasoning with Constraint Solving Techniques
PiSigma: Dependent Types without the Sugar
Automatically Generating Counterexamples to Naive Free Theorems
Computing with Abstract Böhm Trees
System Description: Lang-n-Change - A Tool for Transforming Languages
Proving Correctness of Compilers Using Structured Graphs
Termination Analysis of Tabled Logic Programs Using Mode and Type Information
Exact Flow Analysis by Higher-Order Model Checking
Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming - System Description
A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
Automatic Verification Based on Abstract Interpretation
A Generalization of the Folding Rule for the Clark-Kunen Semantics
DDT: a Declarative Debugging Tool for Functional-Logic Languages
Typed Higher-Order Narrowing without Higher-Order Strategies
Automated Amortised Resource Analysis for Term Rewrite Systems
Enhancing Expressivity of Checked Corecursive Streams
\lambda λ to SKI, Semantically - Declarative Pearl
Constructive Intensional Negation
Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings
On-Demand Refinement of Dependent Types
Semantics and Pragmatics of New Shortcut Fusion Rules
Proving Injectivity of Functions via Program Inversion in Term Rewriting
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
MetaOCaml: Ten Years Later - System Description
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic
Generic Programming with Multiple Parameters
Implementing Natural Rewriting and Narrowing Efficiently
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings
Semantics for Prolog with Cut - Revisited
The Metalanguage lambda-Prolog and Its Implementation
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms
Soutei, a Logic-Based Trust-Management System
On the Semantics of GAEA
Asynchronous Unfold/Fold Transformation for Fixpoint Logic
Analysing Definitional Trees: Looking for Determinism
Language-parameterized Proofs for Functional Languages with Subtyping
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
Generating C - System Description
On Reducing the Search Space of Higher-Order Lazy Narrowing
Coinductive Constraint Logic Programming
Automatic Parallelization of Recursive Functions Using Quantifier Elimination
Refining the Barendregt Cube Using Parameters
A Transformation System for Lazy Functional Logic Programs
Incremental Computing with Abstract Data Structures
Types for Hereditary Head Normalizing Terms
Language-Integrated Query with Nested Data Structures and Grouping
A Coq Library for Internal Verification of Running-Times
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework
A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Distributed Haskell: Goffin on the Internet
Probabilistic Inference by Program Transformation in Hakaru (System Description)
Ruler: Programming Type Rules
Declarative Pearl: Rigged Contracts
Restriction on Cut in Cyclic Proof System for Symbolic Heaps
Incremental Learning of Functional Logic Programs
The Well-Founded Semantics in Normal Logic Programs with Uncertainty
Automated Verification of Higher-Order Functional Programs
Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL
Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings
Delimited Control in OCaml, Abstractly and Concretely: System Description
Parameterized Logic Programs where Computing Meets Learning
Categorial Model Construction for Proving Syntactic Properties
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
Improving Type Error Reporting for Type Classes
A Lazy Desugaring System for Evaluating Programs with Sugars
Third Fuji International Symposium on Functional and Logic Programming, FLOPS 1998, Kyoto, Japan, Apil 2-4, 1998
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata
Session Types Without Sophistry - System Description
Call-by-Value Solvability, Revisited
Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract)
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs
Dependently-Typed Programming in GHC
A Data Flow Language for Hybrid Query and Programming Languages
Code Generation via Higher-Order Rewrite Systems
A Framework for Analysis of Typed Logic Programs
Using Types as Approximations for Type Checking Prolog Programs
A Simply Typed Context Calculus with First-Class Environments
"Scrap Your Boilerplate" Reloaded
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place
Guided Type Debugging
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update
A Call-by-Name CPS Hierarchy
Mutual Exclusion by Interpolation
Undoing Dynamic Typing (Declarative Pearl)
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
WASH Server Pages
Compiling a Functional Logic Language: The Basic Scheme
The Boolean Constraint Solver of SWI-Prolog (System Description)
Rigid Mixin Modules
Rewriting and Call-Time Choice: The HO Case
Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
Lightweight Higher-Kinded Polymorphism
Sub-Birkhoff
Lock Free Data Structures Using STM in Haskell
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems
Structural Abstraction and Application in Logic Programming
An Integrated Distance for Atoms
Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
LIX: an Effective Self-applicable Partial Evaluator for Prolog
Relaxing the Value Restriction
Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)
Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell
Coinductive Interpreters for Process Calculi
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages
A Transformational Approach to Parametric Accumulated-Cost Static Profiling
Generating Constrained Random Data with Uniform Distribution
Optimizing Compilation of CHR with Rule Priorities
Size-Change Termination and Bound Analysis
A New Formalization of Subtyping to Match Subclasses to Subtypes
Internal Normalization, Compilation and Decompilation for System F bh
Complete Axiomatization of an Algebraic Construction of Graphs
On Probabilistic Term Rewriting
Normal Form Bisimulations for Delimited-Control Operators
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda -Calculus
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts
On Cross-Stage Persistence in Multi-Stage Programming
An Interaction Net Encoding of Gödel's System T - Declarative Pearl
A Complete Selection Function for Lazy Conditional Narrowing
The Finite Domain Constraint Solver of SWI-Prolog
A Complete Axiomatization of Strict Equality
Lambda-representable Functions over Free Structures Revisited
A General Implementation Framework for Tabled CLP
A Church-Style Intermediate Language for ML F
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code
Resource Analysis by Sup-interpretation
Declarative Foreign Function Binding Through Generic Programming
Multivariant Non-failure Analysis via Standard Abstract Interpretation
An Interval Lattice-Based Constraint Solving Framework for Lattices
Functional Logic Design Patterns
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project
Lambda-Lifting in Quadratic Time
A Framework for Extended Algebraic Data Types
A Functional-Logic Perspective on Parsing
The Bang Calculus Revisited
Proving Properties about Lists Using Containers
Computing in Cantor's Paradise with λ ZFC
Linear Sized Types in the Calculus of Constructions
Implementing Encapsulated Search for a Lazy Functional Logic Language
Typed Contracts for Functional Programming
A General Type Inference Framework for Hindley/Milner Style Systems
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging
Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
Constraint Logic Programming for Hedges: A Semantic Reconstruction
On the Correctness of the Factoring Transformation
A Computational Approach to Pocklington Certificates in Type Theory
System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby
Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation
A Type Theory for Cyclic Strcture
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation
VM lambda: A Functional Calculusfor Scientific Discovery
Explicit Binds: Effortless Efficiency with and without Trees
A Skeleton for Distributed Work Pools in Eden
ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
Haskell Type Constraints Unleashed
How Many Numbers Can a Lambda-Term Contain?
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers
Programming with Boolean Satisfaction
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Improving the Performance of FD Constraint Solving in a CFLP System
XML Type Checking Using High-Level Tree Transducer
Complexity Analysis by Graph Rewriting
Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages
Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming - System Description
Monadic Encapsulation with Stack of Regions
Onboard weather situation awareness system: a human-systems integration approach
Initial assessment of the impact of modern taxiing techniques on airport ground control
Iterative designs of onboard context-sensitive information system (OCSIS)
Cognitive workload classification using eye-tracking and EEG data
Designing touch-enabled electronic flight bags in SAR helicopter operations
The acceptance of different perspectives in a synthetic vision navigation display
Future flight decks: impact of +Gz on touchscreen usability
Pilot flying vs. pilot monitoring during the approach phase: an eye-tracking study
Modelling distributed crewing with STAMP
Proceedings of the International Conference on Human-Computer Interaction in Aerospace, HCI-Aero 2016, Paris, France, September 14-16, 2016
Extending MBSE methodology and SysML formalism to integrate human considerations
The aircraft of the future: towards the tangible cockpit
Exploratory study with eye tracking devices to build interactive systems for air traffic controllers
Could tangibility improve the safety of touch-based interaction?: exploring a new physical design space for pilot-system interfaces
A systems engineering method for analysis and simulation of standard operating procedures
The accident of flight 447 Rio-Paris: a case study for HCI research
Affordant guidance for in-flight loss of control: the trajectory recovery system (TRS)
A user-centered approach of complexity: toward development of a method to support simplex systems design
A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study
To look and (not) see: predicting the detection of automation failures based on the eye movements of human operators
Establishing trust in remotely reprogrammable systems
The evaluation of military pilot's attention distributions on the flight deck
Modeling the monitoring inherent within aviation function allocations
MRAM Write Error Categorization with QCKB
Software based in-system memory test for highly available systems
12th IEEE International Workshop on Memory Technology, Design, and Testing (MTDT 2004), 9-10 August 2004, San Jose, CA, USA
Tutorial: Characterizing SDRAMS
Embedded OTP fuse in CMOS logic process
Built In Self Test for Ring Addressed FIFOs with Transparent Latches
A systematic approach to reducing semiconductor memory test time in mass production
Design Validation of .18 um 1 Ghz Cache and Register Arrays
Redundancy & It's Not Just for Defects Anymore
A Tribute to Graphics Drams
Novel Memory Organization and Circuit Designs for Efficient Data Access in Applications of 3D Graphics and Multimedia Coding
A Simulator for Evaluating Redundancy Analysis Algorithms of Repairable Embedded Memories
Equivalence Checking a 256MB SDRAM
Low-Power SRAM Circuit Design
Systematic Memory Test Generation for DRAM Defects Causing Two Floating Nodes
Low Power SRAMs for Battery Operation
A Comparative Simulation Study of Four Multilevel DRAMs
A New 1T DRAM Cell With Enhanced Floating Body Ef
Adder Merged DRAM Architecture
Transient Faults in DRAMs: Concepts, Analysis and Impact on Tests
DDR2 DRAM Output Timing Optimization
Design of Embedded System for Video Coding with Logic-Enhanced DRAM and Configurable Process
Computing in Memory Architectures for Digital Image Processing
Design Techniques for Embedded EEPROM Memories in Portable ASIC and ASSP Solutions
Tutorial on Magnetic Tunnel Junction Magnetoresistive Random-Access Memory
Dynamic Data Stability in SRAM Cells and Its Implications on Data Stability Tests