Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
A view of the origins and development of Prolog
Communications of the ACM
Human-computer interface development: concepts and systems for its management
ACM Computing Surveys (CSUR)
Comments, assertions and pragmas
ACM SIGPLAN Notices
A Transportable Programming Language (TPL) System. II. The Bifunctional Compiler System
IEEE Transactions on Software Engineering
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Parameter-passing and the lambda calculus
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A survey of adaptable grammars
ACM SIGPLAN Notices
GRIN: The History of a Laboratory
IEEE Annals of the History of Computing
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
PCCTS reference manual: version 1.00
ACM SIGPLAN Notices
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Proteus presentation system
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Anonymous routine-texts: an orthogonal approach to block objects
ACM SIGPLAN Notices
HOPL-II The second ACM SIGPLAN conference on History of programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Recollections about the development of Pascal
HOPL-II The second ACM SIGPLAN conference on History of programming languages
On the orthogonality of assignments and procedures in Algol
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
A generic account of continuation-passing styles
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parametricity and local variables
Journal of the ACM (JACM)
ACM SIGPLAN Notices
A brief introduction to regions
Proceedings of the 1st international symposium on Memory management
ACM Transactions on Programming Languages and Systems (TOPLAS)
ALPHA—An Automatic Programming System of High Efficiency
Journal of the ACM (JACM)
An Algorithmic Semantics for ALGOL 60 Identifier Denotation
Journal of the ACM (JACM)
Tree-Manipulating Systems and Church-Rosser Theorems
Journal of the ACM (JACM)
The Complexity of Finite Memory Programs with Recursion
Journal of the ACM (JACM)
Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
Journal of the ACM (JACM)
The Expressiveness of Simple and Second-Order Type Structures
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Ten Mini-Languages: A Study of Topical Issues in Programming Languages
ACM Computing Surveys (CSUR)
The Vienna Definition Language
ACM Computing Surveys (CSUR)
Comparison of the Programming Languages C and Pascal
ACM Computing Surveys (CSUR)
And/Or Programs: A New Approach to Structured Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Handling Operator Precedence in Arithmetic Expressions with Tree Transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Comments on program specification and testing
Communications of the ACM
A practical interprocedural data flow analysis algorithm
Communications of the ACM
An analysis of inline substitution for a structured programming language
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
Production systems: or can we do better than BNF
Communications of the ACM
Reduction of compilation costs through language contraction
Communications of the ACM
Two languages for estimating program efficiency
Communications of the ACM
Blocks—a new datatype for SNOBOL4
Communications of the ACM
Numerical mathematics and computer science
Communications of the ACM
A model for type checking: with an application to ALGOL 60
Communications of the ACM
The use of grammatical inference for designing programming languages
Communications of the ACM
Creation and control of internal data bases under a Fortran programming environment
Communications of the ACM
Communications of the ACM
A language extension for graph processing and its formal semantics
Communications of the ACM
Finiteness assumptions and intellectual isolation of computer scientists
Communications of the ACM
Information science in a Ph.D. computer science program
Communications of the ACM
Use of transition matrices in compiling
Communications of the ACM
Communications of the ACM
Format effectors in ISO7 and ASCII
Communications of the ACM
An ALGOL-based associative language
Communications of the ACM
A proposal for definitions in ALGOL
Communications of the ACM
One-Pass compilation of arithmetic expressions for a parallel processor
Communications of the ACM
A practical method for constructing LR (k) processors
Communications of the ACM
The remaining trouble spots in ALGOL 60
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
The ALCOR Illinois 7090/7094 post mortem dump
Communications of the ACM
An extension to ALGOL for manipulating formulae
Communications of the ACM
Business Applications: GAN, a system for generating and analyzing activity networks
Communications of the ACM
A proposal for input-output conventions in ALGOL 60
Communications of the ACM
Letters to the editor: syntax and generalization of ALGOL 60
Communications of the ACM
Communications of the ACM
On the relative efficiencies of context-free grammar
Communications of the ACM
Metalanguage and syntax specification
Communications of the ACM
Letters to the editor: more suggestions for ALGOL 60
Communications of the ACM
A method of syntax specification
Communications of the ACM
The structure of yet another ALGOL compiler
Communications of the ACM
Integer and signed constants in ALGOL
Communications of the ACM
EULER: a generalization of ALGOL and it formal definition: Part 1
Communications of the ACM
A language for describing the functions of synchronous systems
Communications of the ACM
A nonrecursive method of syntax specification
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
A final solution to the Dangling else of ALGOL 60 and related languages
Communications of the ACM
Syntax macros and extended translation
Communications of the ACM
A note on the dangling else ALGOL 60
Communications of the ACM
Communications of the ACM
A description of the APT language
Communications of the ACM
Communications of the ACM
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
The case for simplified languages
ACM SIGPLAN Notices
Immigration course in computer science: teaching materials and 1972 schedule
ACM SIGCSE Bulletin
Genetic Algorithm Wavelet Design for Signal Classification
IEEE Transactions on Pattern Analysis and Machine Intelligence
SIGMOD '76 Proceedings of the 1976 ACM SIGMOD international conference on Management of data
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Procedure linkage optimization working paper
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An interprocedural data flow analysis algorithm
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Paths: an abstract alternative to pointers
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A unified language processing methodology
Theoretical Computer Science
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
Revised Report on the Algorithmic Language Scheme
Higher-Order and Symbolic Computation
Partial Evaluation of Computation Process—AnApproach to a Compiler-Compiler
Higher-Order and Symbolic Computation
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
Higher-Order and Symbolic Computation
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
A Visual Query Language for Graphical Interaction with Schema-Intensive Databases
IEEE Transactions on Knowledge and Data Engineering
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
A Practical Scripting Environment for Mobile Devices
Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference
The invention of concurrent programming
The origin of concurrent programming
The origin of concurrent programming
Algebraic and coalgebraic methods in the mathematics of program construction
Programming methodology
Integration of solid modeling and data base management for CAD/CAM
DAC '83 Proceedings of the 20th Design Automation Conference
Iteration theorems for LL(k) languages (Extended Abstract)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
A formal definition of APL statement syntax
APL '75 Proceedings of seventh international conference on APL
Some restrictions on W-grammars
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Program execution in the SYMBOL 2R computer
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
On the time required for retention
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
Levels of representation of programs and the architecture of universal host machines
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Block structure (Extended Abstract): Retention or deletion?
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Computer expansion of Boolean expressions
DAC '71 Proceedings of the 8th Design Automation Workshop
SLANG a problem solving language for continuous-model simulation and optimization
ACM '69 Proceedings of the 1969 24th national conference
The semantics of a mathematically oriented computer language
ACM '69 Proceedings of the 1969 24th national conference
Programming languages for non-numeric processing—2: An extended ALGOL based language
ACM '65 Proceedings of the 1965 20th national conference
Recursive microprogramming in a syntax recognizer
MICRO 6 Conference record of the 6th annual workshop on Microprogramming
REDUCE 2: A system and language for algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
An introduction to AMBIT/L, a diagrammatic language for list processing
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Data abstraction: A static implementation strategy
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
An optimizing compiler for lexically scoped LISP
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
The design of a procedureless programming language
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Current systems implementation languages: One user's view
Proceedings of the SIGPLAN symposium on Languages for system implementation
The Contour Model Lambda Calculus Machine
Proceedings of ACM conference on Proving assertions about programs
The equivalence of models of tasking
Proceedings of ACM conference on Proving assertions about programs
The “most recent” error: Its causes and correction
Proceedings of ACM conference on Proving assertions about programs
Abstract types defined as classes of variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Nesting in Ada programs is for the birds
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Static determination of dynamic properties of generalized type unions
Proceedings of an ACM conference on Language design for reliable software
The European side of the last phase of the development of ALGOL 60
ACM SIGPLAN Notices - Special issue: History of programming languages conference
The development of the SIMULA languages
ACM SIGPLAN Notices - Special issue: History of programming languages conference
High level languages processor architecture
ACM '77 Proceedings of the 1977 annual conference
On the machine conversion of B5500 Algol to CDC 6000 Algol
ACM '71 Proceedings of the 1971 26th annual conference
The comparison of programming languages: A linguistic approach
ACM '68 Proceedings of the 1968 23rd ACM national conference
Setting the foundations of computer science in a business oriented program
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Dipe-R: a knowledge representation language
Data & Knowledge Engineering
From the stack principle to ALGOL
Software pioneers
Some improvements of ISO-Pascal
ACM SIGPLAN Notices
Nesting in Ada programs is for the birds
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Operational semantics: concepts and their expression
Information Processing Letters - Special issue: Contribution to computing science
Program execution in the symbol 2R computer
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
On the time required for retention
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
On orthogonality in programming languages
ACM SIGPLAN Notices
A reminder for language designers
ACM SIGPLAN Notices
A translation machine with automated top-down parsing
ACM SIGPLAN Notices
A declarative implementation of the DICOM-3 network protocol
Journal of Biomedical Informatics
Programming lessons from days gone by: extreme design
ACM SIGPLAN Notices
Note on semantics and optimization
ACM SIGPLAN Notices
Restricted global variables in Algol 60
ACM SIGPLAN Notices
Extensibility in programming language design
ACM SIGPLAN Notices - Special issue on programming language design
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Ten mini-languages in need of formal definition
ACM SIGPLAN Notices
Another look at enumerated types
ACM SIGPLAN Notices
Some improvements of ISO-Pascal
ACM SIGPLAN Notices
Loops in Algol 60 and in category theory
ACM SIGACT News
History of programming languages---II
History of programming languages---II
Some comments on the ACM I/O Proposal
ALGOL Bulletin
Integer and signed constants in ALGOL
ALGOL Bulletin
A list of the remaining trouble spots in ALGOL60
ALGOL Bulletin
ACM SIGDA Newsletter
Dummy Statements and Consecutive Semicolons in ALGOL 60
ALGOL Bulletin
A commentary on the ALGOL 60 Revised Report
ALGOL Bulletin
Data structure models for programming languages
ACM SIGPLAN Notices
The contour model of block structured processes
ACM SIGPLAN Notices
ACM SIGPLAN Notices
The equivalence of sequential and associate information structure models
ACM SIGPLAN Notices
Efficient data accessing in the programming language Bliss
ACM SIGPLAN Notices
Generalized data structures in Madcap VI
ACM SIGPLAN Notices
The European side of the last phase of the development of ALGOL 60
History of programming languages I
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
On the Development of a Measurement System for High Level Language Program Statistics
IEEE Transactions on Computers
Programming Languages The First 25 Years
IEEE Transactions on Computers
A principled approach to teaching OO first
Proceedings of the 39th SIGCSE technical symposium on Computer science education
HLA compliant network enabled distributed modeling and simulation infrastructure design
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Structuring programs for multiprogram time-sharing on-line applications
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
Programming systems and languages: a historical survey
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
A conversational system for incremental compilation and execution in a time-sharing environment
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
The LISP 2 programming language and system
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
SODAS and a methodology for system design
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
A remote processing system for the APT language
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
WRITEACOURSE: an educational programming language
AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II
An efficient system for user extendible languages
AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II
An extended BNF for specifying the syntax of declarations
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
A translation grammar for ALGOL 68
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
AMTRAN: an interactive computing system
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
Some syntactic methods for specifying extendible programming languages
AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
Preliminary thoughts about a UNIversal TEAching Machine (UNITEAM)
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
The design and implementation of a small scale stack processor system
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
The design of 'idiot-proof' interactive programs
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Extensibility in programming language design
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Enabling nonexpert construction of basic sensor-based systems
ACM Transactions on Computer-Human Interaction (TOCHI)
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
An introduction to the heuristic programming system
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Revised6 report on the algorithmic language scheme
Journal of Functional Programming
ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control
The formal description of programming languages
IBM Systems Journal
A data definition facility based on a value-oriented storage model
IBM Journal of Research and Development
Objects and values: the basis of a storage model for procedural languages
IBM Journal of Research and Development
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Bankruptcy prediction with neural logic networks by means of grammar-guided genetic programming
Expert Systems with Applications: An International Journal
A comparison of classification accuracy of four genetic programming-evolved intelligent structures
Information Sciences: an International Journal
Pair grammars, graph languages and string-to-graph translations
Journal of Computer and System Sciences
Time bounded random access machines
Journal of Computer and System Sciences
Journal of Computer and System Sciences
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
Efficient heuristic natural language parsing
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Algebraic model of programming languages
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
On a new method of investigating large technological systems-II
Automatica (Journal of IFAC)
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Environmental Modelling & Software
Codeco: a practical notation for controlled english grammars in predictive editors
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
LC2: a language for conversational computing
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors
Journal of Logic, Language and Information
Hi-index | 48.98 |