Structuring can be defined independently of what is being structured, and can be applied profitably to more than one domain. Using one mechanism to structure both values and assignments, we obtain equivalents for a va...
详细信息
A programminglanguage with good features and notation can help the programmer represent his abstractions in the programminglanguage, and can also help someone else understand the original abstraction. There have bee...
详细信息
Euclid is a language for writing system programs that are to be verified. We believe that verification and reliability are closely related, because if it is hard to reason about programs using a language feature, it w...
详细信息
A tool for the systematic production of test cases for a compiler is first presented. The input of the generator are formal grammars, derived from the definition of the reference language. This tool has been applied t...
详细信息
languages for parallel programming should meet four goals: expressiveness, data integrity, security, and verifiability. This paper presents a set of language features for describing processes and process interaction, ...
详细信息
This paper develops the implications of recent results in semantics for applicative programming. Applying suspended evaluation (call-by-need) to the arguments of file construction functions results in an implicit sync...
详细信息
The proceedings contain 25 papers. The topics discussed include: derivatives without tears in Algol 68;'run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP';quantifying the test effectiveness of ...
The proceedings contain 25 papers. The topics discussed include: derivatives without tears in Algol 68;'run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP';quantifying the test effectiveness of Algol 68 progra;some remarks on new instances and garbage collection;LL versus LR parsing with illustrations from ALGOL 68;Algol 68 as an implementationlanguage for portable interpreters;description of dynamic manipulation of ALGOL68 values using a generative grammar;towards a machine-independent transput section;towards the design of a super-language of ALGOL 68 for the standard prelude (excerpt);and some problems concerning the automatic translation of Fortran to Algol 68.
When defining a data type, it is often useful to specify restrictions on the permitted values of that type. Pascal's subrange type declaration, a special case of this kind of constraint definition, has already pro...
详细信息
This paper discusses a programing languagedesigned as a result of a group term project in an undergraduate Senior level Computer Science course. The course emphasized the study of language concepts such as syntax, se...
详细信息
This paper describes the author's experience on the design and implementation of a BASIC interpretive compiler written in Algol W programminglanguage. The experiment was initiated to gain full control of an execu...
详细信息
暂无评论