yusuke1997/dblp-id-title huggingface dataset:
Efficiency measures of environmental innovation: evidence from China
Performance-aware energy-efficient parallel job scheduling in HPC grid using nature-inspired hybrid meta-heuristics
The effects of layout types and spatial information display types on presence and spatial identification for the elderly in the 3D virtual art gallery
Modified SVPWM based three phase to nine phase matrix converter for nine phase induction motor with closed loop speed control
PHAS-HEKR-CP-ABE: partially policy-hidden CP-ABE with highly efficient key revocation in cloud data sharing system
BCI-based hit-loop agent for human and AI robot co-learning with AIoT application
An approach to detect human body movement using different channel models and machine learning techniques
Some novel q-rung orthopair fuzzy correlation coefficients based on the statistical viewpoint with their applications
A novel centralized cloud information accountability integrity with ensemble neural network based attack detection approach for cloud data
Energy-efficient secure outsourcing decryption of attribute based encryption for mobile device in cloud computation
Uncertain multi-objective optimal model of oilfield development planning and its algorithm
Wireless sensor network routing method based on improved ant colony algorithm
An efficient certificateless public key cryptography with authorized equality test in IIoT
An effective vitiligo intelligent classification system
Towards a new human-centred computing methodology for cooperative ambient intelligence
An automated neural network based technique for identifying fundus hemorrhage (NNTFH)
Optimal robust disturbance observer based sliding mode controller using multi-objective grasshopper optimization algorithm to enhance power system stability
Overview of RGBD semantic segmentation based on deep learning
Automated leather defect inspection using statistical approach on image intensity
Acceptance and use of a multi-modal avatar-based tool for remediation of social cognition deficits
Remote sensing and landsat image enhancement using multiobjective PSO based local detail enhancement
Novel one round message authentication scheme for constrained IoT devices
Multiple attribute decision making based on Pythagorean fuzzy Aczel-Alsina average aggregation operators
Deep reinforcement learning-based framework for constrained any-objective optimization
Deep learning-based face analysis system for monitoring customer interest
A novel energy-efficient and reliable ACO-based routing protocol for WSN-enabled forest fires detection
A hybrid EMD-DWT based algorithm for detection of QRS complex in electrocardiogram signal
Neutrosophic Cognitive Maps (NCM) based feature selection approach for early leaf disease diagnosis
A multi-period maximal coverage model for locating simultaneous ground and air emergency medical services facilities
A structured support vector machine for hyperspectral satellite image segmentation and classification based on modified swarm optimization approach
Uncertainty quantification and exploration-exploitation trade-off in humans
Retraction Note: An improved convolutional neural network for abnormality detection and segmentation from human sperm images
Multiple palm features extraction method based on vein and palmprint
Towards developing an ensemble based two-level student classification model (ESCM) using advanced learning patterns and analytics
Assessment of risk perception and adoption of safety measures during Covid-19 pandemic in Pakistan: a survey study through mobile application
Social networks data analysis with semantics: application to the radicalization problem
Analysis and classification of the mobile molecular communication systems with deep learning
An approach to investigate the best location for the central node placement for energy efficient WBAN
From speech acts to assistance acts for cognitive assistance in ambient assisted living: how to nudge cognitively impaired people to act independently
Diagnosis of cerebral microbleed via VGG and extreme learning machine trained by Gaussian map bat algorithm
Novel deep transfer learning model for COVID-19 patient detection using X-ray chest images
A multi-objective ant colony optimization algorithm for community detection in complex networks
WRAPGEN - A Tool for the Use of Fortran and C Together in Portable Programs
Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique
The suitability of language syntaxes for program generation
Next: the elimination of Goto-patches?
The cyclomatic number and the normal number of programs
Compared anatomy of the programming languages Pascal and C
Distributed concurrent smalltalk: a language and system for the interpersonal environment
Concurrent object access in BLAZE 2
Tina: an improbable 3-pin microcontroller
Restricted global variables in Algol 60
The trouble with mutual recursion in Concurrent Euclid
Inlining Semantics for Subroutines which are Recursive
Proposals for Fortran data structures
Felix, an object-oriented operating system
The scope of variable concept: the key to structured programming?
Survey and Comparison of PARLOG and Concurrent Prolog
Generation and recognition of formal languages by modifiable grammars
More on bit processing with FORTRAN
Efficient Message Dispatch in Object-Oriented Systems
Data abstraction, data encapsulation and object-oriented programming
A contribution to an improvement of PASCAL
The why and wherefore of the Cornell Program Synthesizer
An abstract intermediate representation in compilation systems
Java 2 Distributed Object Middleware Performance Analysis and Optimization
FORTRAN information bulletin no. 3
KL1 and the Early Days of the FGCS Project
BURG: fast optimal instruction selection and tree parsing
Call by restricted memory reference
Bagof/3 to ZF expression: an example prolog application manually translated to Miranda
An Angry Half-Dozen
Common Programming Language Ambiguity
OBJEKT: A Persistent Object Store With An Integrated Garbage Collector
A Lisp shell
SW 2 - An object-based programming environment
ATOL: a simple language with powerful data structuring facilities
A Comparison of LISP Specifications of Function Definition and Argument Handling
Definition of Open Language
An Overview of the B Programming Language - or: B without Tears
Draft report on requirements for a common prototyping system
CL/TB an allegro common Lisp programming interface for TransBase
A human engineered variant of BNF
Predicting potential COBOL performance on low level machine architectures
A Type System of Logic Objects
Least-cost repair of syntax errors
Can Ada replace FORTRAN for numerical computation?
Program editors should not abandon text oriented commands
A data driven system for syntactic transformations
Using Memoization to Achieve Polynomial Complexity of Purely Functional Executable Specifications of Non-Deterministic Top-Down Parsers
Dynamical system specifications as validation media
Determining path feasibility for commercial programs
On replacing Fortran
Proxy: an interpreter for rapid prototyping
Garp: a graphical/textual language for concurrent programming
Deus Ex Macintosh
Synchronization of concurrent processes without globality assumptions
A functional program for the fast Fourier transform
Reply to: Application of Measurement Theory to Software Metrics - Comments on the Bollmann-Zuse Approach
Automated generation of code using backtracking parsers for attribute grammars
Relationships among computational, software, and intuitive complexity
ALGOL bulletin no. 29
SOS: a monitor-based operating system for instruction
Implementation considerations of mapping LISP onto a cellular computer system
Message driven computing and its relationship to actors
A Modest Proposal Concerning Variables and Assignment Statements
Manual and Compiler for the Terse and Modular Language DEM
Fortran + preprocessor = Utopia 84
Euclid and Modula
An acceptive grammar for the natural language English
Effective use of Assertions in C++
JavaScript - Not Java (but just as hot)
Spelling verification in prolog
Annealing and Data Decomposition in VDM++
The Denotational Semantics of NIPL
A software implemented memory manager
SNOBOL bulletin no. 3
Prolog Dialects: a deja vu of BASICs
Two programming problems
Pascal-FC: a language for teaching concurrent programming
Programs Complexity: Comparative Analysis, Hierarchy, Classification
Please: a language combining imperative and logic programming
Linear control flow analysis
Concurrent Object Oriented 'C' (cooC)
Static profile and dynamic behavior of COBOL programs
Compiling Machine-Independent Parallel Programs
PL/I language development in ANSI/X3J1 and ECMA/TC1O
Optimization of the compiling of subscripted array references
APL Extended Compared With Other Languages According to Halstead's Theory
Puzzles, PROLOG amd Logic
A conservative alternative to pancode
Limitations of Graham-Glanville style code generation
Verification of Proofs for the B Formal Development Process
Detection of Cycle in Real-Time System Specification
Extensions to FORTRAN to support structured programming (ITRAN)
A New Methodology for Generating Test Cases for a Programming Language Compiler
An anomaly found during the implementation of a 2-dimensional dataflow editor for constructing dataflow graphs in NAKL: not another keypunch language
Conversion of limited-entry decision tables into optimal decision trees: fundamental concepts
Pancode assessed
Safety decomposition of distributed programs
A non-iterative situation case statement
ISO/IEC 10514-1, the Standard for Molula-2: Process Aspects
Evolution of the C++ Standard Library
SIGPLAN awards
Rebus: a SNOBOL4/icon hybrid
Weaving Aspects in a Persistent Environment
A system for the specification of programs
A note on the detection of an Ada compiler bug while debugging an Anna program
Inheritance versus Containment
The programming languages REC and convert
ALBA: A Parallel Language Based on Actors
Garbage-further investigations
Revisiting an automatic program inverter for Lisp
A Translator from C to a Lambda-Calculus Representation
An Incremental Compiler
An object-oriented framework for graphical programming (summary paper)
A Multiparadigm Approach to Compiler Construction
The Y programming language
A plea for readable pleas for a readable Prolog programming style
Prettyprinting in an interactive programming environment
An Introduction to the Beetle Forth Virtual Processor
VAX DEBUG: an interactive, symbolic, multilingual debugger
The Undergraduate Language Course: What To Do?
A draft proposal for PASCAL
Procedure parameters can imitate sequence concatenation
Whene are Two Classes Equivalent?
Automatic construction of incremental LR(1)-parsers
The simplest heuristics may be the best in Java JIT compilers
Generalized set comparison
Does Modula-2 generate racehorses?: comparison of compiler generated code quality for floating point arithmetic
Run-time enhancements for object-oriented programming
A preprocessor for YACC or a poor man's approach to parsing attributed grammars
Mask and format: operators for editing and formatting
Prettyprinting PASCAL programs
Software metrics: using measurement theory to describe the properties and scales of static software complexity metrics
Structured programs in PL/I
New books: June 1981
A generalized approach to interpretation machines
A high-level programming and command language
The impact of interprocedural analysis and optimization on the design of a software development environment
Partial Redundancy Elimination is not Bidirectional
Sarek: a window system interface for object-oriented concurrent programming languages
Static, Dynamic and Run-Time Modeling of Compound Classes
Full LR(1) parser generation
Describing software design in Ada
Solutions to the n Queens problem using tasking in Ada
Macros for defining C++ classes
Syntactic rules embedded in PL/I
Static check analysis for Java stack inspection
Object-Oriented Metrics: an Annotated Bibliography
Java's Insecure Parallelism
Object serialization analysis and comparison in Java and .NET
Comparative Efficiency of General and Residual Parsers
RELFUN: A relational/functional integration with valued clauses
Translation of decision tables into computer programs with the use of Carnaugh maps
Is POPL mathematics or science?
Extended Pascal - numerical features
QUEST: the design of a very high level, pedagogic programming language
Learning Programming in Prolog Using Schemata
An example of programming with abstract data types
String enhancements to ANSI Standard Fortran (part 1)
The towers of Hanoi from a different viewpoint
A Graph Model for Object Oriented Programming
An integrated Lisp programming environment
A data structure model of the B6700 computer system
Keywords: Special Identifier Idiom
Servlets - Web-Based Applications You Can Live With
The string as a simple data type
Proper Packaging Promotes Parameter Passing Profiency
Object-oriented programs in realtime
A conditional critical region pre-processor for C based on the Owicki and Gries scheme
PSAIL: A portable SAIL to C compiler - description and tutorial
Knowledge-based debugging: session summary
Some comments on a recent article by Salvadori and Dumont regarding the evaluation of compound conditional expressions
A formatting parser for PASCAL programs
Solving the "N<=8 Queens" problem with CSP and Modula-2
ACM SIGPLAN history of programming languages conference BASIC language summary
Forth and AI revisited: BRAIN.FORTH
Position statement on concurrent objects for massively parallel architectures
A Heretical View on Type Embedding
RDL: a language for software development
Ordered types and a generalized <u>for</u> statement
Mechanical analysis of program complexity
Scanning regular languages by dual finite automata
Development of the system programming language: HARVEY
Performance measurement of a Pascal compiler
PADL '00: Workshop on Practical Aspects of Declarative Languages
Performance tuning with instruction-level cost derived from call-stack sampling
Concurrency & object-oriented programming
A new solution to the N <= 8 queens problem
Programming pascal with physical units
Structured FORTRAN with no preprocessor
An overview of ARC SASL
The document editor: A support environment for preparing technical documents
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations
Multiple tense computer programming
XC - A Language for Embedded Rule Based Systems
SIGPLAN vice-chair's report
A general linear-time evaluator for attribute grammars
Draft standard industrial real-time FORTRAN
A Simple, Natural Notion for Applicative Languages
LALR(1) parsing for languages without reserved words
Comparison as a Value-yielding Operation
Algol bulletin no. 25
Finding smallTalk methods
System programming in Modula-2
A Functional FOR Loop
A comparison of module constructs in programming languages
On the formatting of Pascal programs
Adding concurrency to a statically type-safe object-oriented programming language
The critical issues of software metrics part 0: perspectives on software measurements
The case for the assert statement
Benchmark semantics
Analogy by generalization - and the quest of the grail
Program Profiling Problems, and a Solution via Machine Language Rewriting
A note on modifiable grammars
IEEE Efforts Towards Standards in Educational Technology
The Madcap 6 programming language
The EPN and ESN notations
A Taste of the Modula-2 Standard
Has the King Returned?
Language design for the Ironman requirement: reference manual
A comment on do traces
Forth and the FreeBSD Bootloader
SIGPLAN programming language curriculum workshop: Workshop organization
Iteration for applicative languages
An analysis approach for testing exception handling programs
Concurrent use of generic types in MODULA-2
VDMTools: advances in support for formal modeling in VDM
Object analysis of program
On visual and textual structures
"Handling large, complex and variable job-control streams using a procedure invocation package ('PIP') and a pseudo-library"
Notes on notes on postmodern programming
SXML specification
A Systematic Approach to Multiple Inheritance Implementation
The Design and Implementation of the GILENA Natural Language Interface Specification System
Generalized typestate checking using set interfaces and pluggable analyses
Z - the 95% program editor
Multiple view programming languages
A Short Introduction to Concurrent Euclid
A study of the structural composition of PL/I programs
A Rule-based and Object-Oriented AI Programming Language
SIGPLAN secretary's report
Implementing functional languages on a combinator-based reduction machine
Language standards committees and revisions
Syntax-directed editing of general data structures
Path PASCAL user manual
On selective and repetitive constructs
Compiler Design for Sets in PASCAL
Binary wrapping: a technique for instrumenting object code
Linear data flow analysis
Objects concepts and bibliography
SIGPLAN Supports Your Professional Activities
A Path-Based Method of Parallelizing C++ Programs
CYBIL: cyber implementation language
A general model for concurrent and distributed object-oriented programming
Minimal Deterministic Left-to-Right Pattern-Matching Automata
Function preconditions in object oriented software
Is Ada an Object Oriented Programming Language?
Experience in Teaching Object-Oriented Programming with C++
Calculator problem and the design recipe
Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr
Object Oriented Programming: The Fundamentals
Efficient formalism-only parsing of XML/HTML using the s-calculus
Transactions for concurrent object-oriented programming systems
A macro approach to abstractions of data structures
A Sublanguage of ALGOL 68
Micro Extensible Programming Language
Style analysis of Pascal programs
User Interface Metrics
Omitted portions of paper: AL: a structured assembly language
Scheme and Functional Programming 2006: paper abstracts
A Traveling Saleman in Java
Summary of the characteristics of several "modern" programming languages
The FORTRAN Language
An efficient algorithm for heap storage allocation
Users' experience with the ILLIAC IV system and its programming languages
Enumerations in Pascal, ADA, and beyond
An annotated bibliography of literate programming
An LALR (1) grammar for (revised) Ada
A language for network analysis and definition
Prolog: An Annotated Bibliography
mpC: a Multi-Paradigm Programming Language for Massively Parallel Computers
Dutch treat
Naming subprograms with clarity
Higher Order Objects in pure Object-Oriented Languages
On the Type Extensions of Oberon-2
The influence of system design complexity research on the design of module interconnection languages
Ellie language definition report
On orthogonality in programming languages
Two-Level Grammars are More Expressive Than Type 0 Grammars Or are They?
Visual abstraction in an interactive programming environment
Utilization of a decision table translator for basic program creation
Incremental reduction with nested constraints
A formalised technique for expressing compiler exercisers
JICC4: Java in the Computing Curricula
Language features to support reusability
Marketing the programming languages course
Enhancing program comprehension: formatting and documenting
Extreme Forth
Uninitialized Modula-2 Abstract Object Instances, Yet Again
A problem with extended Pascal
In Defense of Teaching Structured COBOL as Computer Science (or, Notes on being Sage Struck)
Improving Gough's LL(1) lookahead generator
ParaModel: a visual modeling and code skeleton generation system for programming parallel applications
When and what to compile/optimize in a virtual machine?
PLDI 2004: Scalable Lock-Free Dynamic Memory Allocation
In search of program complexity
Design of an Actor Language for Implicit Parallel Programming
Toward relaxing assumptions in languages and their implementations
A hierarchy of control structures
Effective Parameterization of Architectural Registers for Register Allocation Alogorithms
A study of compiler techniques for multiple targets in compiler infrastructures
An investigation into the effects of the counting method used on software science measurements
Production systems - or can we do better than BNF?
When GOTO goes to, how does it get there?
Student Research Forum at PLDI'01
A Basis for the Rate of Change in Programs
The coroutines of Hanoi
A generalized assembly language using regular expressions
A Small Hybrid JIT for Embedded Systems
The nesC language: a holistic approach to networked embedded systems
Interactive input in PASCAL
File handling in programming languages
Using Producer and Consumer Manipulators to Extend Stream I/O Formatting in C++
Block Structured Object Programming
Fail-Safe Programming in Compiler Optimization
Optimizing Away C++ Exception Handling
Automatic Assessment Aids for Pascal Programs
A FORTRAN IV to QuickBASIC translator
The APL PLUS file subsystem
POPL'12 program chair's report: (or, how to run a medium-sized conference)
SAS2013 artifact submission experience report
Intermediate program representations in compiler construction: a supplemental bibliography
Future Directions In Program Transformations
PCOL - A Protocol-Constrained Object Language
The line-oriented approach
SAGES: system aiding the generation of engineering software
An Object Oriented Framework for Creating Models in Hydrology
A survey of semantic description frameworks for programming languages
Parsing with C++ Deferred Expressions
Design of the PEN video editor display module
Engineering development of computer languages
An implementation and empirical evaluation of the tasking facilities in ADA
SSA is Functional Programming
Some Pascal style guidelines
Hierarchical design and efficient implementation in SETL: a case study
Two-valued datatypes
A PASCAL prettyprinter with a different purpose
What can we gain by unfolding loops?
Parallelism and Implementation Technology for (Constraint) Logic Programming
Using YACC and Lex with C++
Pascal and existing Fortran files
The Case for Buffers in SNOBOL4
A Conceptual Perspective on the Comparison of Object-Oriented Programming Languages
Operator identification in ADA: formal specification, complexity, and concrete implementation
Comment on a paper of R. A. Freiburghouse
Object-Oriented Programming in C++ - A Case Study
Modula-2 process facilities
DLP: a design language pre-processor
The external consistency of abstract data types
A Hybrid State Machine for Component Specification
High-speed parsing of a superset of LR(k) grammars
Comments on Oberon
The C++ Interface in Objectivity
Resolving ambiguities in the parsing of translation grammars
Collections of variables
Combinatory Code and a Parallel Packet Based Computational Model
Sixty-character representation of APL symbols
A parallel dynamic compiler for CIL bytecode
March Möbius Madness with a Polynomial PostScript, March 32, 1998
ELMOL: a language for the real time generation of electronic music
Treating failure as state
Are constructive formal specifications less abstract?
Some remarks on records with variants
Some aspects of Basel, the base language for an extensible language facility
Some user-defined control functions for more readable APL programs
The provision of procedural and functional interfaces for the maintenance of program design language and program language notations
Compilation into actors
DYNOSOR: a set of subroutines for dynamic memory organization in Fortran programs
Bit Vector Encoding of N-Queen Problem
Motivation for extensible languages
Aspects of the ALGOL 68 mode structure
Linear flowchart generator for a structured language
hcc - A Portable ANSI C Compiler (with a Code Generator for the PowerPCs)
Scope conserving expression evaluation: a class of storage optimal evaluation strategies for arithmetic expressions
Introducing Virtual Instance Variables in Classes to Provide Sufficient Support for Encapsulation
Failure is not just one value
Point-Extent Pattern for Dimensional Numeric Classes (C++ Toolbox)
Turing Plus: a comparison with C and Pascal
Critical research directions in programming languages
From objects to actors: study of a limited symbiosis in smalltalk-80
On the organization of Pascal blocks
'Use-Once' Variables and Linear Objects - Storage Management, Reflection and Multi-Threading