Revised report on the algorithmic language ALGOL 68

Wijngaarcien, A. van; Mailloux, B. J.; Peck, J. E. L.; Kostcr, C. H. A.; Sintzoff, Michel; Lindsey, C. H.; Meertens, L.G.L.T.; Fisker, R. G.

doi:10.1007/bf00265077

Cited by 137 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The technique we have presented is actually a specialization to union and intersection types [Coppo and Dezani-Ciancaglini 1978;Coppo et al 1979;Pottinger 1980;van Wijngaarden et al 1975] of a more general framework we developed that is independent of union and intersection types. We chose to present this particular specialization because it abstracts away much of the complex underlying proof theory, making the technique more accessible while still being applicable to the original language the framework was invented for.…”

Section: Variations Generalizations Related Work and Future Workmentioning

confidence: 99%

Empowering union and intersection types with integrated subtyping

Muehlboeck

Tate

2018

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

Union and intersection types are both simple and powerful but have seen limited adoption. The problem is that, so far, subtyping algorithms for type systems extended with union and intersections have typically been either unreliable or insufficiently expressive. We present a simple and composable framework for empowering union and intersection types so that they interact with the rest of the type system in an intuitive and yet still decidable manner. We demonstrate the utility of this framework by illustrating the impact it has made throughout the design of the Ceylon programming language developed by Red Hat.

show abstract

Section: Variations Generalizations Related Work and Future Workmentioning

confidence: 99%

Empowering union and intersection types with integrated subtyping

Muehlboeck

Tate

2018

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

show abstract

ES‐Kit: An object‐oriented distributed system

Khanna¹,

Hung²

1991

Concurrency: Pract. Exper.

View full text Add to dashboard Cite

SUMMARYThis paper describes the design, implementation, and performance of ES-Kit, a distributed object-oriented system being developed by the Experimental Systems Project at the Microelectronics and Computer Technology Corporation. The operating system conslsts of a kernel and a set of Public Service Objects which dynamically extend the functionality of the kernel by providing several traditional operating system services when required by application objects. Applications for the ES-Kit environment are written in GNU C++ and do not require additional language primitives for distributed execution. Initial performance results from a representative set of applications indicate that the object-oriented paradigm provides a powerful solution to distributed programming.

show abstract

Using independence to enable parallelism on multicore computers

Knudsen

2010

Softw Pract Exp

View full text Add to dashboard Cite

A simple programming abstraction based on the notion of independence is introduced as a means for mapping the independence inherent in an algorithm explicitly into its programmed solution. This enables a compiler and runtime system to exploit the independence and achieve efficient parallelism of execution on multicore processors. The constructs needed to express mutual independence among statements are proposed and their implementation in iOberon, an extension of the Active Oberon programming language, is defined. The programming language extensions, runtime support, and performance measurements are described in detail. We believe that this concept of specifying local disjoint program fragments can be applied to other programming languages. Copyright © 2010 John Wiley & Sons, Ltd.

show abstract

Revised report on the algorithmic language ALGOL 68

Cited by 137 publications

References 0 publications

Empowering union and intersection types with integrated subtyping

Empowering union and intersection types with integrated subtyping

ES‐Kit: An object‐oriented distributed system

Using independence to enable parallelism on multicore computers

Contact Info

Product

Resources

About