yusuke1997/dblp-id-title huggingface dataset:
Multiplatform and Mobile App Development in Scheme with Gambit/SchemeSpheres
Schema Recognition for Program Transformations
Early LISP History (1956-1959)
Type Inference and Semi-Unification
Space-Efficient Closure Representations
From Operational Semantics to Abstract Machines: Preliminary Results
Connection Graphs
Implementation Strategies for Continuations
Safe Fusion of Functional Expressions
Integrating the Scheme and C Languages
Building a commercial OWL reasoner with Lisp
Set-Based Analysis of ML Programs
Concurrent Replicating Garbage Collection
Desiderata for the Standardization of LISP
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994
HOPE: An Experimental Applicative Language
A Semantic Comparison of LISP and Scheme
Expansion-Passing Style: Beyond Conventional Macros
Semantics of Type Classes Revisited
Objects as Closures: Abstract Semantics of Object-Oriented Languages
Collecting More Garbage
Compiling Pattern Matching by Term Decomposition
Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor
Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme
Variations on Strictness Analysis
Complete Proof Systems for Algebraic Simply-Typed Terms
The Four-Stroke Reduction Engine
Debugging Standard ML Without Reverse Engineering
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems
The Apiary network architecture for knowledgeable systems
Special Forms in LISP
A Scheme-Based Closed-Loop Anesthesia System
A Protocol for Distributed Reference Counting
Parsers in ML
Talking About Modules and Delivery
Type Inference in the Presence of Overloading, Subtyping and Recursive Types
A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis
Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982
Partitioning Parallel Programs for Macro-Dataflow
Some Practical Methods for Rapid Combinator Reduction
Dynamic Program Parallelization
Data Sharing in an FFP Machine
ByteLisp and its Alto Implementation
Computational tools for the analysis of spatial patterns of gene expression in Common Lisp
Continuation-Based Partial Evaluation
T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool
Implementation of Multilisp: Lisp on a Multiprocessor
An Abstract Machine for Lambda-Terms Normalization
Modules for Standard ML
A metaobject protocol for CLforJava
An Architecture for Mostly Functional Languages
A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary)
Syntactic Closures
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps
Eager Evaluation Isn't Eager Enough A Transformation Based Approach to Semantics-Directed Code Generation
Computing with Text-Graphics Forms
Context Information for Lazy Code Generation
The CURRY Chip
Continuing into the Future: On the Interaction of Futures and First-Class Continuations
Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980
Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992
Locality, Causality and Continuations
On Compiling Embedded Languages in LISP
Exact Real Arithmetic: A Case Study in Higher Order Programming
Garbage Collection in a Large Lisp System
The next 700 programming libraries
Formes: an Object and Time Oriented System for Music Composition and Synthesis
From Naïve to Norvig On Deriving a PROLOG Compiler
DIALISP - A Lisp Machine
Analyzing Stores and References in a Parallel Symbolic Language
The Common Lisp Object System Metaobject Kernel: A Status Report
A Functional Programming Language Compiler for Massively Parallel Computers
A Parallel Virtual Machine for Efficient Scheme Compilation
Incremental Reduction in the lambda Calculus
LISP on a Reduced-Instruction-Set-Processor
An Equational Framework for the Flow Analysis of Higher Order Functional Programs
Connection Machine LISP: Fine-Grained Parallel Symbolic Processing
CL-HTTP: an open-source cross-platform environment for web application development and deployment
Caching Considerations for Generational Garbage Collection
Recursion is More Efficient than Iteration
Static Dependent Types for First Class Modules
Combinatory Foundation of Functional Programming
Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield
Reification: Reflection without Metaphysics
How to Define a Language Using PROLOG
Continuations May be Unreasonable
Proving Memory Management Invariants for a Language Based on Linear Logic
NORMA: A Graph Reduction Processor
Scalable Lisp applications
A Fixed-Program Machine for Combinator Expression Evaluation
Dynamic ADTs: a "don't ask, don't tell" policy for data abstraction
Discrete Polymorphism
Garbage Collection for Strongly-Typed Languages Using Run-Time Type Reconstruction
Binding Time Analysis for High Order Untyped Functional Languages
An Open-Ended Data Representation Model for EU_LISP
Fast Parallel Implementation of Lazy Languages - The EQUALS Experience
A Unified System of Parameterization for Programming Languages
Type Inference in a Database Programming Language
Finiteness Conditions for Fixed Point Iteration
Efficient Finite Permutation Groups and Homomesy Computation in Common Lisp
Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation
A Semantic Model of Types for Applicative Languages
The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower
Portable Common Lisp graphical user interfaces with LTk
DAUTI : automated universal traffic introspector
Characterization of Object Behaviour in Standard ML of New Jersey
Sweet Harmony: The Talk/C++ Connection
Using Projection Analysis of Evaluation-Order and Its Application
Parametric Type Classes
A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus
Constraint solving in common Lisp
ML with Extended Pattern Matching and Subtypes
A Critique of Common Lisp
Multiprocessing via Intercommunicating LISP Systems
Common Lisp's Predilection for Mathematical Programming
The Implementation of Procedurally Reflective Languages
An Efficient Implementation of Multiple Return Values in Scheme
Overview and Status of DoradoLISP
Analysis of Recursive Types in Lisp-Like Languages
A System of Communicating Residential Environments
Scheme86: A System for Interpreting Scheme
Constant Time Interpretation for Shallow-bound Variables in the Presence of Mixed SPECIAL/LOCAL Declarations
A Session with Tinker: Interleaving Program Testing with Program Writing
Starvation-free heap size for replication-based incremental compacting garbage collection
International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014
WCL: Delivering Efficient Common Lisp Applications Under Unix
Parallel Destructive Updating in Strict Functional Languages
A Simple Applicative Language: Mini-ML
muFP, A Language for VLSI Design
Signatures for a Network Protocol Stack: A Systems Application of Standard ML
Local Optimization in a Compiler for Stack-based LISP Machines
Tag-Free Garbage Collection Using Explicit Type Parameters
User-extensible sequences in common Lisp
Symbolic Computing with and without Lisp
Reasoning About Programs in Continuation-Passing Style
An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP
A Variable-Arity Procedural Interface
Back to Direct Style II: First-Class Continuations
Integrating Functional and Imperative Programming
MODLISP
Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs
International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007
lambda-V-CS: An Extended lambda-Calculus for Scheme
Continuation-Based Multiprocessing
Interactive Modular Programming in Scheme
A Scheme for Implementing Functional Values on a Stack Machine
A Foundation for an Efficient Multi-Threaded Scheme System
Parallel Execution of Sequential Scheme with ParaTran
Polymorphic Type Reconstruction for Garbage Collection Without Tags
MULTI - A LISP Based Multiprocessing System
Bounded Quantifiers Have Interval Models
Design of a Lisp Machine - FLATS
An Improved Replacement Strategy for Function Aaching
Graphinators and the Duality of SIMD and MIMD
Functional Specifications of a Text Editor
Global Analysis for Partitioning Non-Strict Programs into Sequential Threads
Validating low-level instructions for fixnums using BDDs
Making Control and Data Flow in Logic Programs Explicit
FREEDIUS: an open source Lisp-based image understanding environment
Global Tagging Optimization by Type Inference
Implementing Functional Languages in the Categorical Abstract Machine
Experience with SC: transformation-based implementation of various extensions to C
Compilation Techniques for a Control-Flow Concurrent LISP System
Compiling a Functional Language
A Practical Soft Type System for Scheme
NST: a unit testing system for common Lisp
Projective ML
Syntax and Semantics of a Persistent Common Lisp
Performance of Lisp Systems
A Gentle Introduction to Gendl®, a Common Lisp-based Knowledge Based Engineering Environment
Super Combinators: A New Implementation Method for Applicative Languages
An Overview of Common Lisp
Code Generation Techniques for Functional Languages
The Design of an Instruction Set for Common Lisp
Reification without Evaluation
Toward an Algebra of Nondeterministic Programs
The Semantics of Lazy (and Industrious) Evaluation
Reasoning with Continuations II: Full Abstraction for Models of Control
A Confluent Calculus of Macro Expansion and Evaluation
Queue-based Multi-processing Lisp
A Semantic Model of Reference Counting and its Abstraction (Detailed Summary)
Recent Developments in ISI-Interlisp
Nondeterministic Call by Need is Neither Lazy Nor by Name
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984
Logic Enhancement: A Metho for Extending Logic Programming Languages
A Syntactic Approach to Fixed Point Computation on Finite Domains
HOP: an environment for developing web 2.0 applications
Simple and efficient compilation of list comprehension in common Lisp
Expressions as Processes
Object-Oriented Programming in Scheme
Hygienic Macro Expansion
Lisp: themes and history
Proving the Correctness of Storage Representations
Using Hindley-Milner Type Inference to Optimise List Representation
Unify and Conquer
Computing with Coercions
Leadership Trait Analysis and Threat Assessment with Profiler Plus
Computing Cyclic List Structures
Trading Data Space for Reduced Time and Code Space in Real-Time Garbage Collection on Stock Hardware
A Compositional Analysis of Evaluation-Order and Its Application
A Semantic Basis for Quest
Expression Evaluation in the ICON Programming Language
Faster Combinator Reduction Using stock Hardware
Improved Effectiveness from a Real Time Lisp Garbage Collector
Continuation-Based Parallel Implementation of Functional Programming Languages
A Parallel Prolog: The Construction of a Data Driven Model
A domain-specific language for manipulation of binary data in Dylan
Extending Dylan's type system for better type inference and error detection
Address/Memory Management for a Gigantic LISP Environment
Evolving ASDF: more cooperation, less coordination
Engines Build Process Abstractions
Teaching CS to undergraduates at UPMC
Improving Binding Times Without Explicit CPS-Conversion
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988
PaGe: Portable LALR(1) Parser Generator
Partial Evaluation Applied to Numerical Computation
A LISP Compiler Producing Compact Code
Improving the Performance of SML Garbage Collection Using Application-Specific Virtual Memory Management
Extenting Object Oriented Programming in Smalltalk
Experience with an Uncommon LISP
Kilns: A Lisp Without Lambda
It's all about being right: lessons from the R 6 RS process
Experiments in Diffused Combinator Reduction
Resolving Metastability Issues During Bootstrapping
Compiling Lazy Pattern Matching
Dynamic memory management
Reconfigurable, Retargetable Bignums: A Case Study in Efficient, Portable Lisp System Building
Arctic: A Functional Language for Real-Time Control
A Constructive Alternative to Axiomatic Data Type Definitions
Prolog Compared with Lisp
Type Reconstruction for Variable-Arity Procedures
Preliminary Results with the Initial Implementation of Qlisp
Distributed Copying Garbage Collection
An Array and List Processing System
The Implementation of PC Scheme
Fast Generic Dispatch for Common Lisp
Partial Type Inference for Untyped Functional Programs
Busy and Lazy FP with Infinite Objects
An Implementation of Standard ML Modules
Tutorial: Abstraction in Numerical Methods
Static Dependent Costs for Estimating Execution Time
Implementation of Interlisp on the VAX
Reaching Python from Racket
Partial Polymorphic Type Inference and Higher-Order Unification
LISP - notes on its past and future
LP/LISP: literate programming for Lisp
Efficient Method Dispatch in PCL
Exact Real Computer Arithmetic with Continued Fractions
The Dream of Lifetime: A Lazy Variable Extent Mechanism
Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990
Expressing Mathematical Subroutines Constructively
On Extending Computational Adequacy by Data Abstraction
Steps Toward Better Debugging Tools for Lisp
A Proposal for Standard ML
An Improvement to Sliding Garbage Collection
Explicit Parallelism in LISP-like Languages
Laws in Miranda
Tachyon Common Lisp: An Efficient and Portable Implementation of CLtL2
A Powerful Strategy for Deriving Efficient Programs by Transformation
In-Place Updates in the Presence of Control Operators
Concrete Syntax for Data Objects in Functional Languages
On the Use of LISP in Implementing Denotational Semantics
Experiments with a Supercompiler
Continuations and Coroutines
Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework
Unrolling Lists
Towards Autonomous Cybersecurity: An Intelligent AutoML Framework for Autonomous Intrusion Detection
Proceedings of the Workshop on Autonomous Cybersecurity, AutonomousCyber 2024, Salt Lake City, UT, USA, October 14-18, 2024
Autonomous Cybersecurity: Evolving Challenges, Emerging Opportunities, and Future Research Trajectories
PenHeal: A Two-Stage LLM Framework for Automated Pentesting and Optimal Remediation
P3GNN: A Privacy-Preserving Provenance Graph-Based Model for Autonomous APT Detection in Software Defined Networking
Auto-CIDS: An Autonomous Intrusion Detection System for Vehicular Networks
Automated APT Defense Using Reinforcement Learning and Attack Graph Risk-based Situation Awareness
Entity-based Reinforcement Learning for Autonomous Cyber Defence
Progresses and Challenges of Ant Colony Optimization-Based Evolvable Hardware
On Learning to Trust the Unexpected: Toward a Systematic Apologetic for Evolvable Hardware
Evolving non-autonomous neuromorphic flight control for a flapping-wing mechanical insect
The application of evolvable hardware to fault tolerant robot control
RISA: A Hardware Platform for Evolutionary Design
2007 IEEE Workshop on Evolvable and Adaptive Hardware, WEAH 2007, Honolulu, HI, USA, April 1-5, 2007
Self-adaptive evolution of complex logic circuits
2009 IEEE Workshop on Evolvable and Adaptive Hardware, WEAH 2009, Nashville, TN, USA, March 30, 2009
On the "Evolvable Hardware" Approach to Electronic Design Invention
Evolutionary Computation in pre-silicon verification of complex microprocessors
A novel platform for complex bio-inspired architectures
Evolutionary Multiobjective Optimization on a Chip
Using Evolutionary Algorithms for Signal Integrity Checks of High-Speed Data Buses
Accelerating the Evolution of Evolvable Hardware-based Packet Classifiers
Evolvable Hardware, a Fundamental Technology for Homeostasis
Swarm applications: a potential future application for evolvable hardware
Fault Recovery Using Evolvable Fuzzy Systems
Is it time to stop evolving digital systems?
REPOMO32 - New reconfigurable polymorphic integrated circuit for adaptive hardware
The input pattern order problem II: Evolution of multiple-output circuits in hardware
Optimisation of variability tolerant logic cells using multiple voltage supplies
Optimal Path Evolution in a Dynamic Distributed MEMS-Based Conveyor
An approach to change availability of the service by adding forecasting module to firewall
Applying Software Rejuvenation in a Two Node Cluster System for High Availabilit
Reliability Analysis of a Two-Stage Goel-Okumoto and Yamada S-shaped Model
Simple Measure of Network Reliability Using the Variance of the Degree Distribution
Testing Duration Systems using an approximation method
Requirement Centric Security Evaluation of Software Intensive Systems
Reliability Assessment of Supporting Satellite System EGNOS
Reliability Assessment of Driving Systems of City Buses
Computer Support for the Railway Safety Management System - First Validation Results
Inconsistent State Analysis of a Network Receiver with Colored Petri Nets
Anomaly-Based Intrusion Detection Using Bayesian Networks
Development of Web Business Applications with the Use of Micro-services
Monte-Carlo Simulation and Availability Assessment of the Smart Building Automation Systems Considering Component Failures and Attacks on Vulnerabilities
Conjugated Graph Grammars as a Mean to Assure Consistency of Systems of Conjugated Graphs
Study of Dependencies Between Concrete Deterioration Parameters of Fly Ash-Based Specimens
Dependability Metrics for Network Systems - Analytical and Experimental Analysis
Detection of Roles of Actors in Social Networks Using the Properties of Actors' Neighborhood Structure
Stability Enhancement Against Fluctuations in Complex Networks by Optimal Bandwidth Allocation
Collaborative Filtering Recommender Systems Based on k-means Multi-clustering
The Implementation of an Intelligent Algorithm Hybrid Biometric Identification for the Exemplary Hardware Platforms
Shuffle-Based Verification of Component Compatibility
Detection Methods of Dynamic Spammers' Behavior
Spectral Graph Theory and Network Dependability
Confidential Transportation of Data on the Technical State of Facilities
Advanced Security Assurance Case Based on ISO/IEC 15408
Dependability in Software Component Deployment
A Tool for Dependable and Distributable Presentations
Supr: Adaptive Byzantine Fault-Tolerant Replication
Maintenance of Wind Turbine Scheduling Based on Output Power Data and Wind Forecast
Model Checking of UML Activity Diagrams in Logic Controllers Design
Specification of Constraints in a System-of-Systems Configuration
Assurance of System Consistency During Independent Creation of UML Diagrams
Reliability Analysis of Discrete Transportation Systems Using Critical States
A Model Based Framework for Specifying and Executing Fault Injection Experiments
Entropy-Based Internet Traffic Anomaly Detection: A Case Study
Reliability Assessment of Cooperation and Replacement of Surveillance Systems in Air Traffic
Modifying Markov Models of Ageing Equipment for Modeling Changes in Maintenance Policies
Dependability analysis of reconfigurable information systems
Technical and Program Aspects on Monitoring of Highway Flows (Case Study of Moscow City)
Simulation and Experimental Analysis of Quality Control of Vehicle Brake Systems Using Flat Plate Tester
The Methodology of Studying of Active Traffic Management Module Self-oscillation Regime
Residue Arithmetic in FPGA Matrices
Integral Functionals of semi-Markov Processes in Reliability Problems
Security Analysis of Information Transmission in Intelligent Transport Telecommunications Network
Water Quality Monitoring System Using WSN in Tanga Lake
Protection System against Overload and Distributed Denial of Service Attacks
Virtual Environment for Implementation and Testing Private Wide Area Network Solutions
A Consistency Model for Distributed Virtual Reality Systems
Universal Platform for Composite Data Stream Processing Services Management
Arithmetic in Finite Fields Supporting Type-2 or Type-3 Optimal Normal Bases
Cracking the DES Cipher with Cost-Optimized FPGA Devices
Benchmarking Comparison of Swish vs. Other Activation Functions on CIFAR-10 Imageset
Meteorological Data Acquisition from MERRA-2 Reanalysis for Wind Energy Systems Modeling Support
Distance Measures for Clustering of Documents in a Topic Space
Stochastic Runge-Kutta Software Package for Stochastic Differential Equations
Development of Domain Model Based on SUMO Ontology
Experiment on Defect Prediction
Climate Changes Prediction System Based on Weather Big Data Visualisation
Semi-Markov Model of Damage Process
Embedded Systems Modeling Language
Job and Application-Level Scheduling: An Integrated Approach for Achieving Quality of Service in Distributed Computing
Feasibility Analysis of MDA-based Database Design
Introduction to the Dependability Modeling of Computer Systems
Common Criteria IT Security Evaluation Methodology - An Ontological Approach
Railway Operation Schedule Evaluation with Respect to the System Robustness
Dependability of Service of Substation Electrical Equipment: Estimation of the Technical Condition State with the Use of Software and Information Tools
An Expanded Concept of the Borrowed Time as a Mean of Increasing the Average Speed Isotropy on Regular Grids
Concept of Preventive Maintenance in the Operation of Mining Transportation Machines
A FMECA framework for Service Oriented Systems based on Web Services
An Empirical Study on a Specification-Based Program Review Approach
An Artificial Immune System Approach for Fault Prediction in Object-Oriented Software
Performance Analysis of System of 3D Scenes Networked Parallel Dynamic Visualization
Software Rejuvenation for Higher Levels of VoIP Availability and Mean Time to Failure
Agent Approach to Network Systems Experimental Analysis in Case of Critical Situations
Asynchronous System for Clustering and Classifications of Texts in Polish
Multiclass SVM/HMM Vowels Recognition System Towards Improving Human Computer Interaction
Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems
Information Systems Performance Analysis Using Task-Level Simulator
Information Needs of Decision Makers for Risk Assessment in Road Transport
A Probabilistic Approach to the Count-To-Infinity Problem in Distance-Vector Routing Algorithms
Context-Aware Anomaly Detection in Embedded Systems
Extending Continuous Integration with Post-mortem Debug Automation of Unhandled Exceptions Occurred in Kernel or User Mode Applications
NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules
Maintaining Railway Operational Requirements in the Context of the GSM-R User Interface Capacity
Mathematical Modeling of the Hot Steam-Water Mixture Flow in an Injection Well
Assessment of the Potential of the Waterway in the City Using a Fuzzy Inference Model
Effectiveness of Providing Data Confidentiality in Backbone Networks Based on Scalable and Dynamic Environment Technologies
Scheduling in Grid Based on VO Stakeholders Preferences and Criteria
Model-Based Diagnostic Using Model Checking
Numerical Analysis of the Building Materials Electrical Properties Influence on the Electric Field Intensity
Robustness of the Uncertain Single Machine Total Weighted Tardiness Problem with Elimination Criteria Applied
Reducing Complexity Methods of Safety-Related System
An Approach for Evaluating Trust in IT Infrastructure
IaaS vs. Traditional Hosting for Web Applications - Cost Effectiveness Analysis for a Local Market
Networks Key Distribution Protocols Using KPS
Increasing Performance of SMS Based Information Systems
Genetic-Algorithm-Driven MIMO Multi-user Detector for Wireless Communications
Freshness Constraints in the RT Framework
A True Random Number Generator with Built-in Attack Detection
The Spatial Interactions Using the Gravity Model: Application at the Evaluation of Transport Efficiency at Constantine City, Algeria
Signal Feature Analysis for Dynamic Anomaly Detection of Components in Embedded Control Systems
Implication of Availability of an Electrical System of a Wind Farm for the Farm's Output Power Estimation