Introduction to computer science using the TURING programming language
Introduction to computer science using the TURING programming language
The logic of programming
Pascal user manual and report; 3rd ed.
Pascal user manual and report; 3rd ed.
Design of an interpretive environment for Turing
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
The Turing programming language: design and definition
The Turing programming language: design and definition
An Introduction to S/SL: Syntax/Semantic Language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design and implementation of a diagnostic compiler for PL/I
Communications of the ACM
The Science of Programming
Alan Turing
A Discipline of Programming
Semantic charts: A diagrammatic approach to semantic processing
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Report on the programming language Euclid
ACM SIGPLAN Notices
ACM SIGNUM Newsletter
TuringTool: A User Interface to Aid in the Software Maintenance Task
IEEE Transactions on Software Engineering
Toward special-purpose program verification
Conference proceedings on Formal methods in software development
Compiling Tinyturing in a compiler construction course
ACM SIGCSE Bulletin
Semaphores for fair scheduling monitor conditions
ACM SIGOPS Operating Systems Review
Building monitors with UNIX and C
ACM SIGCSE Bulletin
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
Relational views as a model for automatic distributed implementation of multi-user applications
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
A “curriculum-cycle” environment for teaching programming
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
A conceptual framework for software development
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Introducing undergraduates to object orientation using the Turing language
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Assertion-oriented automated test data generation
Proceedings of the 18th international conference on Software engineering
Linguistic support for the evolutionary design of software architectures
Proceedings of the 18th international conference on Software engineering
Behavioral contracts and behavioral subtyping
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Contracts for higher-order functions
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Loosely integrating tools using the star system
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
ICPL: an initial concurrent programming language
ACM SIGCSE Bulletin
Multicolour programming and metamorphic programming: object oriented programming-in-the-large
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Formalization of information hiding design methods
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Proposal for a categorical programming language
ACM SIGPLAN Notices
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Source transformation, analysis and generation in TXL
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
The TXL source transformation language
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Using source transformation to test and model check implicit-invocation systems
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Expressing heap-shape contracts in linear logic
Proceedings of the 5th international conference on Generative programming and component engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
TXL - A Language for Programming Language Tools and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools
Supporting tools for designing-by-contract in component-based applications
MIS'04 Proceedings of the 2004 international conference on Metainformatics
ICFP 2002: Contracts for higher-order functions
ACM SIGPLAN Notices - Supplemental issue
An Empirical Investigation into Programming Language Syntax
ACM Transactions on Computing Education (TOCE)
| Hi-index | 48.22 |
Turing, a new general purpose programming language, is designed to have Basic's clean interactive syntax, Pascal's elegance, and C's flexibility.