Transformations and reduction strategies for typed lambda expressions
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Systems semantics: principles, applications, and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
A visual execution model for Ada tasking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Subrecursive Programming Languages, Part I: efficiency and program structure
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
A Survey of Data Structures for Computer Graphics Systems
ACM Computing Surveys (CSUR)
Third Generation Computer Systems
ACM Computing Surveys (CSUR)
The Vienna Definition Language
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
A model for and discussion of multi-interpreter systems
Communications of the ACM
Curriculum recommendations for graduate professional programs in information systems
Communications of the ACM
A computer science course program for small colleges
Communications of the ACM
Communications of the ACM
Operations on generalized arrays with the genie compiler
Communications of the ACM
Curriculum recommendations for undergraduate programs in information systems
Communications of the ACM
Computer science: a conceptual framework for curriculum planning
Communications of the ACM
A generalized method for generating argument/function values
Communications of the ACM
An interrupt based organization for management information systems
Communications of the ACM
Information science in a Ph.D. computer science program
Communications of the ACM
A survey of pedagogical programming languages
ACM SIGCSE Bulletin
Technical correspondance: a note on recursion analysis
Communications of the ACM
Autocheck program, program to check validity of printed circuit cards and circuit usage
ACM '72 Proceedings of the ACM annual conference - Volume 1
An instruction class for an extensible interpreter
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
A microprogrammed implementation of a block structured architecture
MICRO 5 Conference record of the 5th annual workshop on Microprogramming
A machine independent assembler course
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Address size independence in a 16-bit minicomputer
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Data structure architectures - a major operational principle
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
APL '75 Proceedings of seventh international conference on APL
Experience with an interactive basic machine implemented using the Burroughs B1700
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
The effect of environment on computer science curriculum
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
Block structure (Extended Abstract): Retention or deletion?
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Towards a theory of semantics and compilers for programming languages
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
SLANG a problem solving language for continuous-model simulation and optimization
ACM '69 Proceedings of the 1969 24th national conference
The definition and use of data structures in REDUCE
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
The design of a procedureless programming language
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Operational semantics of programming languages
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
Research paradigms in computer science
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Transition functions: A method for semantic extensions
Proceedings of the international symposium on Extensible languages
Computer science education in small colleges - a report with recommendations
SIGUCCS '72 Proceedings of the annual ACM SIGUCCS symposium on The administration and management of small-college computing centers
High level languages processor architecture
ACM '77 Proceedings of the 1977 annual conference
APL as a lingua franca in the computer science curriculum
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
Principles of computer system organization
SIGCSE '70 Proceedings of the first SIGCSE technical symposium on Education in computer science
Principles of computer system organization
ACM SIGCSE Bulletin
Some thoughts on graduate education in computer science
ACM SIGCSE Bulletin
The effect of environment on computer science curriculum
ACM SIGCSE Bulletin
A dual structured data base system
SIGPLAN '73 Proceedings of the 1973 meeting on Programming languages and information retrieval
Experimental Trac language primitive to allow user control of the scan algorithm
ACM SIGPLAN Notices
Aspects of the ALGOL 68 mode structure
ACM SIGPLAN Notices
Programming lessons from days gone by: extreme design
ACM SIGPLAN Notices
Parallel and Distributed Haskells
Journal of Functional Programming
Experience with extensible, portable Fortran extensions
ACM SIGPLAN Notices
A search algorithm and data structure for an efficient information system
COLING '69 Proceedings of the 1969 conference on Computational linguistics
A first course in computer science for graduate students
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
A preliminary survey of artificial intelligence machines
ACM SIGART Bulletin
Special Issue High Performance Parallel Functional Programming
Journal of Functional Programming
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
Contextual Word Recognition Using Binary Digrams
IEEE Transactions on Computers
Programming Languages The First 25 Years
IEEE Transactions on Computers
A proposed non-procedural programming language for structured system development
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Operating systems architecture
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
The architecture of a context addressed segment-sequential storage
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
Objects and values: the basis of a storage model for procedural languages
IBM Journal of Research and Development
Towards a theory of semantics and compilers for programming languages
Journal of Computer and System Sciences
Thread migration in a parallel graph reducer
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Higher-Order and Symbolic Computation
The church-turing thesis: breaking the myth
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Parallel compilation: A design and its application to SIMULA 67
Computer Languages
Reasoning about multi-process systems with the box calculus
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
| Hi-index | 0.19 |