Higher-Order Arrays and Stacks in Programming. An Application of Complexity Theory to Logics of Programs

[1]  Jerzy Tiuryn,et al.  Some Relationships Between Logics of Programs and Complexity Theory , 1988, Theor. Comput. Sci..

[2]  Pawel Urzyczyn.  A Necessary and Sufficient Condition in Order That a Herbrand Interpretation Be Expressive Relative to Recursive Programs , 1983, Inf. Control..

[3]  Joost Engelfriet,et al.  Iterated pushdown automata and complexity classes , 1983, STOC.

[4]  David Peleg,et al.  On Static Logics, Dynamic Logics, and Complexity Classes , 1984, Inf. Control..

[5]  Jerzy Tiuryn,et al.  Remarks on Comparing Expressive Power of Logics of Programs , 1984, MFCS.

[6]  Butler W. Lampson,et al.  A Kernel Language for Abstract Data Types and Modules , 1984, Semantics of Data Types.

[7]  Juris Hartmanis,et al.  The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 , 1983, Lecture Notes in Computer Science.

[8]  Egon Börger,et al.  Spektralproblem and completeness of logical decision problems , 1983, Logic and Machines.

[9]  Edmund M. Clarke,et al.  Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems , 1979, JACM.

[10]  Jerzy Tiuryn,et al.  On the Power of Nondeterminism in Dynamic Logic , 1982, ICALP.

[11]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[12]  Michael A. Taitslin,et al.  Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic , 1983, Inf. Control..

[13]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[14]  J. Tiuryn,et al.  Some relationships between logics of programs and complexity theory , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[15]  Friedrich L. Bauer,et al.  Revised report on the algorithm language ALGOL 60 , 1963, CACM.

[16]  Neil Immerman.  Languages which capture complexity classes , 1983, STOC '83.

[17]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[18]  Jerzy Tiuryn.  A simple programming language with data types: semantics and verification , 1985 .