yusuke1997/dblp-id-title huggingface dataset:
On converting a compiler into an incremental compiler
RAMBAM: a notation and methodology for man-machine dialogue specification
Lazy I/O is not the answer
Arity-generic datatype-generic programming: (abstract only)
DOMINO: an APL primitive function for matrix inversion - - its implementation and applications
Ficl, FORML & Object Forth
Lazy Lists in C++
Which model of programming for LISP: sequential, functional or mixed?
Compiler Test Sets
Embedding extended arithmetic in SNOBOL4
Compile-time transformations and optimization of parallel Divide-and-Conquer algorithms
C: toward a concise syntactic description
The non-desirability of structured programming in user languages
Lisp 1.5 decision tables implemented for a serial computer and proposed for parallel computers
Letter from the Secretary: The ACM SIGPLAN Web Site
Parsing with C++ Constructors
A Report on a PASCAL Questionaire
An Approach Toward Mechanization of Acquiring Reusable Software Components
Embedding sparse matrix operations in SNOBOL4
The PSG - Programming System Generator
Experience with a FORTH-like language
Guarded Methods Vs. Inheritance Anomaly: Inheritance Anomaly Solved by Nested Guarded Method Calls
Blocks and Procedures
Formalization of the control stack
Object oriented programming techniques to replace software components on the fly in a running program
Control flow, data flow & data independence
Mathematical overkill and the structure theorem
Ten years of Forth in ACM Sigplan Notices: part 1
Characteristics of a structured program
Traversable stack with fewer errors
A Position Paper on Compile-time Program Analysis
The structured Fortran dilemma
Computing A*B (mod N) efficiently in ANSI C
A thread monitoring system for multithreaded Java programs
CLEOPATRA: comprehensive language for elegant operating system and translator design
How object-oriented is your system?
Flowcharting loops without cycles
Complexity in Program Schemes: The Characteristic Polynomial
Interactive PL/1
An expert system for a retargetable peephole optimizer
I/O-computable data structures
A compact syntax chart for Ada
A method of sharing industrial software complexity data
From semi-syntactic lexical analyzer to a new compiler model
Principles of POPL
A critique of Abelson and Sussman or why calculating is better than scheming
On exception handling with the "IRONMAN" languages, GREEN and REDL
Extending Pascal with one-entry/multi-exit procedures
Web Pages that Reproduce Themselves by JavaScript
Readability and writability in Euclid
Why Gawk for AI?
Common Lisp Object System Specification X2JI3 Document 88-002R
Experience with Pascal compilers on mini-computers
Shift-reduce conflicts in LR parsers
Comment on Cooper and Kennedy's Flow-Insensitive Interprocedural Summary Information Computation Algorithm
DELTA: the Universal Debugger for CP-6
On infinite modes
PROCOL: a protocol-constrained concurrent object-oriented language
Proposal for a Categorical Programming Language
A Project-Based Approach to Programming Language Evaluation
The Metric Based Compiler - A Current Requirement
A technique for making structured programs more readable
Forth in Space, or, So NEAR Yet So Far Out
A critique of the DOD common language effort
Specification and uniform reference to data structures in PL/I
Java Server Pages - Servlets, Inside Out
A correct example of multiple inheritance
Extending a scripting language for visual basic forms
Dynamic instantiation and configuration of functionally extended, efficient lexical analysers
Modula-2 an alternative to C?
Two flaws of the current C++ language definition
A note on C. S. Wetherell's "Problems with the Ada reference grammar"
Abstract data types in assembly language programming
Describing Biological Cells by Computer Programs
A Pascal compiler for the Xerox SIGMA 6
Optimizing subroutines with optional parameters in F90 via function cloning
Casting in C++: Bringing Safety and Smartness to Your Programs
Programming lessons from days gone by: Backward ran sentences until reeled the mind
Treating Failure As Value
An alternative to current looping syntax
Extensions to static scoping
A useful extension to Prolog's definite clause grammar notation
Programming with {SETS} - An International Forum of Discussion
What it's like to be a POPL referee; or how to write an extended abstract so that it is more likely to be accepted
A progress report on D: a compiled language featuring continuations
Analyzing patterns of message passing
Concurrent behaviors
A case against using procedure calls for input/output
A 100% Portable Inline-Debugger
A unified decimal floating-point architecture for the support of high-level languages
Implementation issues for a source level symbolic debugger
GCODE: a revised standard for a graph representation for functional programs
Free form structured FORTRAN translator
Design and implementation of a GUI for the TLC model checker
ASTs for Optimizing Compilers
A Simple Algorithm for Partial Redundancy Elimination
New books III
Toward efficient programming in virtual systems
SIGPLAN Notices Special Issue on the Functional Programming Language Haskell
Extensions to SNOBOL4 in the SNOBAT implementation
The Pascal dynamic array controversy and a method for enforcing global assertions
Multi-Moded Relations in Parlog
Efficient Parallel Recursion
Programming in Smalltalk-80: observations and remarks from the newly initiated
Lively linear Lisp: "look ma, no garbage!"
On typing in prolog
Concurrency control for cooperating transactions in an object-oriented database
Porting the Oberon System to AlphaAXP
Abstraction in the Intel iAPX-432 prototype systems implementation language
A model for Pascal-like typing
Developing An Interprocedural Optimizing Compiler
A Notation For Specifying Menus
Comment on "On the Application of a Popular Notation to Semantics" and reply from the Autor
Interactors: A Real-Time Executive with Multiparty Interactions in C++
Even more on advice on structuring compilers and proving them correct: changing an arrow
A Tribute to FIG-Forth
A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment
More or less concerns about MODULA-2
The map coloring problem
A graphical abstract programming language
Another look at enumerated types
Some delitescent concepts in computer architecture
Remarks on Language Concepts for specifying Process Synchronization
File action in APL: building new additions and placing the house in order
Translator Writing Tools since 1970: A Selective Bibliography (June 1982)
A materialistic view of the software "engineering" analogy
Prolog compared with LISP?
Some thoughts on teaching programming and programming languages
A Multiparty Coordination Aspect Language
Programming without enumerations in Oberon
Implementation of Physical Units
A CAI implementation of Pascal
Summary of evaluation and comments
Support for Dynamic Binding in Strongly Typed Languages
A complexity measure based on nesting level
A note on English for decision tables considered harmful and the nested IF-THEN-ELSE
NELIAC news no. 1
5th Workshop for Doctoral Students in Object-Oriented Systems, Held in Conjunction with ECOOP'95 in Aarhus, Denmark
A LISP interpreter in Snobol4
A String Extension for Pascal
Meta-optimizer development
Using ABC To Prototype VDM Specifications
Why a Lisp-based command language?
Report on the SIGPLAN education board and related activities
ISO Committee Document for C9X and Public Comment Period - The C Programming Language
Memory optimization using block structures
Using attribute grammars to find solutions for musical equational programs
Optimization aspects of compiler-compilers
Coping with deeply nested control structures
Prettyprinting for power
Representing Change By Aspect
A systematic approach to advanced debugging: incremental compilation
"Who Cares About Elegance?" The Role of Aesthetics in Programming Language Design
Forth sorts fruit down under
Associative tabular data structures
Lexical analysis tool
Imperative versus Functional
Garbage: Two New Structures
MxYacc: parser generator for mixed languages
Indenting for the compiler
PL/CT, another approach to two problems in interactive PL/I
64 Bit Oberon
A Correction and Apology
Analysis and refutation of the LCAS
Some comments on the forthcoming "extended Pascal" standard
TRC: An expert system compiler
Relations and attributes: A symbiotic basis for editing environments
Summary of the ADA implementor's meeting: December 1980
Type derivation graphs: a way to visualize the type building possibilities of programming languages
Structured transfer of control
A note on GOTO-less programming in APL using the unquote-operator
The design and use of understandable, minimally error-prone programming languages
Minimal overhead garbage collection of complex list structure
A retargetable compiler for ANSI C
A graphics typesetting language
Brevity and clarity in command languages
APL algorithms
Transformations: the extension facility of Proteus
Threaded interpretive systems and functional programming environments
Transformation of concurrent object systems
A static analysis of prolog programs
Organizing software in a distributed environment
APL Fins Its Aplomb
The Specification of a Generic Multicomputer Using Lotos
Star Fortran: an overview of essential characteristics
Bottom in the Imperative World
Pascal-I: interactive, conversational Pascal-S
Firmware Factory & Forth
Fully static dimensional analysis with C++
Two models of object-oriented programming and the Common Lisp Object System
Pascal as host language of computer algebra systems
Prettyprinting structured programs with connector lines
Patching is alive and, lamentably, thriving in the real-time world
Transaction diagrams: a design tool
A comparison of extended pascal and Ada
Incremental execution environment
Concurrent objects in a logic programming framework
Two models of concurrent objects
Time space tradeoffs in vector algorithms for APL functions
O.LISP: theoretical basis and description
Comments On Several Syntax Rules in Ada95
Unification based FP interpreters
An environment for logic programming
An abundance of registers
Another C Threads Library
Panel Sessions at SIGPLAN Conferences
SIGPLAN research highlights annual report
A practical example of multiple inheritance in C++
Robot Control Techniques, Part One: A Review of Robotics Languages
Thoughts on "Extended Pascal - Illustrative Examples"
Automatic generation of device drivers
Checking for spelling and typographical errors in computer-based text
Mathematical specifications
Some definitions for algebraic data type specifications
Sparse Matrix Manipulation
Tools for the measurement of SNOBOL4 programs
Comments on "A View from the Trenches". Ada vs. Modula-2 vx. Praxis
DYMOS: a dynamic modification system
Anonymous Routine-Texts: an Orthogonal Approach to Block Objects
The KAIL selector: a unified control construct
Parkinson programming
Recursion patterns and time-analysis
Programming lessons from days gone by: extreme design
I Have a Feeling We're Not in Emerald City Anymore
Some thoughts on the type system of B1
A Modular Mathematical Programming Language
An efficient way to filter out data dependences with a sufficiently large distance between memory references
Experiences in building a compiler for an object-oriented language
The language LISP does not exist?
Rapid Development of a Source-Level Debugger for PowerPC Microprocessors
PLDI '99: Programming Language Design and Implementation (Report)
Representation and manipulation of data structures in APL
Report of the IFIP Technical Committee on Software TC-2 Meeting
A note on the distributed program component cell
ECOOP'96 Workshop on Prototype Based Object Oriented Programming
Implementation of a Database Factory (C++ Toolbox)
acce-specifications: a formal method to define data types
Exploiting multi-way branching to boost superscalar processor performance
Modcap reference manual
An improvement over: "an improvement over deeply nested IF-THEN-ELSE control structure"
Concurrent programming in Smalltalk-80
Concurrent object-oriented real-times systems research
Literate Programming and the "Spaniel" Method
An overview of path Pascal's design
Dynamic Semantic Sepcification by Two-Level Grammars for a Block Structured Language with Subroutine Parameters
Application programming as the construction of language interpreters
Nourishing the future of the field: the programming language mentoring workshop 2012
Agora: Message Passing as a Foundation for Exploring OO Language Concepts
The backward-directed GO TO in FORTRAN
The "Simplest Functional Programming Language" is neither Simple nor Functional
Revised ALGOL 68 syntax chart
Portability of software
The COMFY 6502 Compiler
Concurrent programming language - LISPTALK
Java will be faster than C++
Goodness criteria for programming language grammar rules
Diverse executable semantics definitions in NUSL and an implementation of functional types
Traversable stack with fewer errors: addenda and corrigenda
Sexy types in action
Object-Oriented Programming with Induction
Jazzing up JVMs with off-line profile data: does it pay?
An approach to high-level debugging of distributed systems: preliminary draft
Do-Select Reconsidered
Java, the Good, the Bad and the Ugly
A proposal for implementing the concurrent mechanisms of Ada
Precise static type analysis for object oriented programs
A survey of adaptable grammars
A correctness criterion for CSP parallel programs
PL/I bulletin no. 4
MACRO: a programming language
Combining Objects and Relations
Efficient Binary I/O of IDL Objects
The programming language Pascal (in teaching perspective): take it or leave it
Report of TC-2 Working Groups
PO: an object model to express parallelism
Preliminary Ada reference manual
Goal directed programming
On the teaching of disciplined programming
Error free code: is it attainable?
A compatibility software tool for use with separately compiled languages
EMACS the extensible, customizable self-documenting display editor
Empirical comparison of LR(k) and precedence parsers
Interactive program execution in Lispedit
A plea for a readable Prolog programming style
Report on the Second Annual Alan J. Perlis Symposium on Programming Languages
Structured programming considered harmful
The Next Control Structure That I Need
Interactive computing
Hard Java
Adding an authorization dimension to strong type checking
A New Approach for Efficient Implementation of ADA Multi-Tasking
Consistent generics in Modula -2
A new LALR formalism
You Could Learn a Lot from a Quadratic: II. Digital Dentistry
Specifications of Majster's traversable stack and Veloso's traversable stack
Hamming numbers, lazy evaluation, and eager disposal
Overlapping Token Definitions
Fortran 90 arrays
Most influential papers of ICFP, OOPSLA, PLDI, and POPL
A case for teaching multi-exit loops to beginning programmers
Configurable REC
Malware Detection Using Convolutional Neural Network, A Deep Learning Framework: Comparative Analysis
IoT-Traffic Networks Effective Features Based on NSGA-II Technique
Beta Testing Techniques in Non-Functional Testing of Gamified Learning Applications for Lecture Learning Media During the Covid-19 Pandemic
Traffic Offloading Strategies Using Opportunistic Wireless Networks
Identity-based Unidirectional Proxy Re-Encryption and Re-Signature in Standard Model: Lattice-based Constructions
The Impact of Internet Security Awareness among Undergraduates in Learning Management System
Fail-Safe Security Architecture to Prevent Privacy Leaks from E-commerce Servers
An Investigation of Pseudonymization Techniques in Decentralized Transactions
CFS-AE: Correlation-based Feature Selection and Autoencoder for Improved Intrusion Detection System Performance
Efficient Android Malware Detection Using API Rank and Machine Learning
Design and Experiments of small DDoS Defense System using Traffic Deflecting in Autonomous System
Mobile Internet Access Optimization for High-Speed Rail Systems
Integrated Data Model Development Framework for the Architecture Descriptions
Developing Identity Management and Authentication Methods for Cruise Ship Passenger Services
Analyzing SSL/TLS Handshake Latency in Modern Web Applications
Design and Implementation of a Low-cost IoT Smart Weather Station Framework
Developing an Advanced Framework to Recognize Suspicious Vehicles Based on the Internet of Things Applications Using LOGO Net Environment
Lattice Based Forward-Secure Identity Based Encryption Scheme with Shorter Ciphertext
Application of Deep Learning on the Characterization of Tor Traffic using Time based Features
A Cloud-Linked Ambient Air Quality Monitoring Apparatus for Gaseous Pollutants in Urban Areas
Android Application Protection against Static Reverse Engineering based on Multidexing
Impact Study of a Mobile Botnet over LTE Networks
Smart Traffic System Using Infrared Sensors-based IoT
Cryptography based on Fingerprint Bio Metrics
An Improved EEG Signal Feature Selection Paradigm for Migraine Detection
A Kernel Density Estimation Method to Generate Synthetic Shifted Datasets in Privacy-Preserving Task
An Adaptive Density Peak Clustering with Swarm Intelligence Algorithm for Detection of Overlapping Communities in Social Networks
Cyber Threat Hunting Case Study using MISP
Privacy-enhancing Blockchain Solutions for the Healthcare Sector: Efficient Message Sharing and Robust Big Data Protection
Secure Data Transmission in VANETs for Philological Field Expeditions and Mobile Language Labs
Intrusion Detection Using Hybrid Random Forest and Attention Models and Explainable AI Visualization
Geocast Routing Protocols for VANETs: Survey and Geometry-Driven Scheme Proposal
A Study on EMG-based Biometrics
Enhanced Millet Crop Yield Prediction Using an Optimized Hybrid Fuzzy Logic Model
IMSA - Intra Model Security Assurance
Anonymous Deniable Predicate Authentication Scheme with Revocability
Performance Evaluation of Hybrid Lifi-Wifi Internet Systems
Comparative Study of Wi-Fi 6 and 5G for Residential Internet Services
A Note on the Problem of Semantic Interpretation Agreement in Steganographic Communications
A Multilayer Approach for Recommending Contextual Learning Paths
Construction of a Mega Disaster Crisis Management System
The Impact of Machine Learning and Artificial Intelligence on Entrepreneurial Skills Development: A Gender-Inclusive Analysis in Higher Education
Examining the Impact of ICT Access and ICT Use on Trade in Services: Focused on Selected Service Categories
Private Two-Party Set Intersection Protocol in Rational Model
FedProx: FedSplit Algorithm based Federated Learning for Statistical and System Heterogeneity in Medical Data Communication
A Comprehensive Review on 6G Advanced Techniques and Challenges for Rural Health Care System
Design and Developing a Security and Threat Model for Sustainable Manufacturing
Sequential Aggregate MACs from Any MACs: Aggregation and Detecting Functionality
A Grid System Detecting Internal Malicious Behaviors at System Call Level
Guidelines for the Prevention of Internal Improprieties in Japanese Organization
Intelligent Information Security System for Language and History Education Using Machine Learning-based Intrusion Detection Algorithm
Anomaly Detection Technology Using Potential Difference Displacement Detection of Data Bus
Incorporating Computer Networks and Machine Learning for AI-Driven Network Operators
Short signature from factoring assumption in the standard model
Combining SDN and ICN for Network Survivability Improvement
Scalable IPv6 Transition Mechanism for Future Internet Architecture
Session-dependent Usage Control for Big Data
Interworking Techniques and Architectures for Heterogeneous Wireless Networks
An Intrusion Detection System Using a Machine Learning Approach in IOT-based Smart Cities
Secure and Usable Bio-Passwords based on Confidence Interval
Modified CNN Learning Model for Tetouan City Energy Consumption Prediction
Performance Profiling of Encrypted Traffic in Content Delivery Networks
An Optimal Model for Allocation Readers with Grid Cell Size and Arbitrary Workspace Shapes in RFID Network Planning
Hybrid Leader Artificial Ecosystem Based Optimization Mechanism for CH Selection and Routing
Examining Artificial Intelligence and Law as a Tool for Legal Service, Decision-making, Job Transformation, and Ethical Performance
Revolutionizing Cloud Security: Novel AI-based Workflow Orchestration for Financial Sectors
Emerging Cyber Security Challenges after COVID Pandemic: A Survey
A New Logging-based IP Traceback Approach using Data Mining Techniques
Extending Formal Analysis of Mobile Device Authentication
Design and Implementation of Anti-Drone System Based on Computer Vision with You Only Look Once (YOLO) Algorithm
Privacy-Preserving Predicate Proof of Attributes with CL-Anonymous Credential
Preventing Data Loss by Harnessing Semantic Similarity and Relevance
Efficiency Performance of China Brand Automobiles: The Role of Innovation Systems
A survey on driverless vehicles: from their diffusion to security features
Resilient and Adaptive Secure Routing Protocol for Wireless Sensor Networks Using a Grey Wolf Optimizer and Lightning Search Algorithm
Towards a New Privacy-Aware Location Sharing Platform
Deciphering Ancient Tamil Epigraphy: A Deep Learning Approach for Vatteluttu Script Recognition
Open Source Software Detection using Function-level Static Software Birthmark
Crop Yield Prediction by Integrating Et-DP Dimensionality Reduction and ABP-XGBOOST Technique
Dynamic Load Balancing in Dense Urban Mobile Networks
Lattice Based Universal Re-encryption for Mixnet
Next Basket Recommendation Paradigm Multi-Layer Stacked Sequence to Sequence Bidirectional GRU Model with Multiplicative Attention
Authentication for V2X Communication in an Open-Source Plug-and-Play Platform
Distributed Capability-based Access Control for the Internet of Things
The Study on the Effect of the Internet and Mobile-Cellular on Trade in Services: Using the Modified Gravity Model
Load Balancing in Financial Cloud with Dynamic Task Prioritization: An Efficient Security Model Perspective
Implementation of an Integrated Disaster Information Cloud System for Disaster Control
Adopting Computer Forensics Techniques to Investigate Cyber Incidents in Global Shipping Operations
Privacy-Preserving Cloud Database Querying
Intent-Predictive and Adaptive Access Control and Trust Management Architecture for Insider Threat Prevention in Wireless Financial Systems
Analyzing Security Vulnerabilities in Maritime Ad-Hoc Networks for Real-Time Navigation Data Exchange
Algebraic Side-Channel Attack on Twofish
Applying Public Key Cryptography to Enhance Content Protection in Maritime Logistics and E-Commerce
Measuring Privacy
Information Security Framework for Online Language Education Using Differential Privacy and Secure Multi-Party Computation Algorithm
Digital Safeguards: Unravelling the Complex Interplay Between Emerging Threats and Proactive Cyber Defence Strategies
Physical Unclonable Functions based on silicon micro-ring resonators for secure signature delegation in Wireless Sensor Networks
Hidden Markov Model based Anomaly Detection Method for In-vehicle Network
Improved Dynamic Regression Framework for Effective Data Management in Wireless Networks on Cloud-assisted Internet of Everything Platform
A Lightweight AI-Based Access Control System for IoT-Integrated Smart Classrooms
Optimized Cloud Security: An AI-based Data Classification Approach for Financial Cloud Computing
An Innovative Key Encryption Approach for Optimizing Cloud Security in Financial Applications
Consumer Attitudes towards AI-based Financial Advice: Insights for Decision Support Systems (DSS) and Technology Integration
Log-Based Intrusion Detection for Financial Cloud Applications through Novel ML-driven Algorithm
Novel ML-integrated ID Management System for Enhancing Cloud Security in Financial Sectors
Semantic Annotation Based Effective and Quality Oriented Web Service Discovery
Analysis of COVID-19: An infectious disease spread
A Belief Rule Based Expert System to Assess Hypertension under Uncertainty
Optimizing Synchronization and Role-Based Access Control in Double-Surgeon Telesurgery Cockpits
Integrating MEC with Mobile Internet for Context-Rich Services