Results 1 to 10 of about 858 (22)
Putting Instruction Sequences into Effect [PDF]
, 2011 An attempt is made to define the concept of execution of an instruction sequence. It is found to be a special case of directly putting into effect of an instruction sequence.
Bergstra, Jan A.
core +17 more sources
Being Van Kampen is a universal property [PDF]
Logical Methods in Computer Science, 2011 Colimits that satisfy the Van Kampen condition have interesting exactness properties. We show that the elementary presentation of the Van Kampen condition is actually a characterisation of a universal property in the associated bicategory of spans.
Pawel Sobocinski, Tobias Heindel
doaj +1 more source
Acyclic Solos and Differential Interaction Nets [PDF]
Logical Methods in Computer Science, 2010 We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of ...
Thomas Ehrhard, Olivier Laurent
doaj +1 more source
On algorithmic equivalence of instruction sequences for computing bit string functions [PDF]
, 2014 Every partial function from bit strings of a given length to bit strings of a possibly different given length can be computed by a finite instruction sequence that contains only instructions to set and get the content of Boolean registers, forward jump ...
Bergstra, J. A., Middelburg, C. A.
core +2 more sources
Binary Lambda Calculus and Combinatory Logic [PDF]
, 2006 We introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-interpreters for these binary languages.
Tromp, John
core +2 more sources
Probabilistic thread algebra [PDF]
, 2014 We add probabilistic features to basic thread algebra and its extensions with thread-service interaction and strategic interleaving. Here, threads represent the behaviours produced by instruction sequences under execution and services represent the ...
Bergstra, J. A., Middelburg, C. A.
core +4 more sources
Out-Of-Place debugging: a debugging architecture to reduce debugging interference [PDF]
, 2018 Context. Recent studies show that developers spend most of their programming time testing, verifying and debugging software. As applications become more and more complex, developers demand more advanced debugging support to ease the software development ...
Boix, Elisa Gonzalez +2 more
core +3 more sources
Towards a Java Subtyping Operad
, 2017 The subtyping relation in Java exhibits self-similarity. The self-similarity in Java subtyping is interesting and intricate due to the existence of wildcard types and, accordingly, the existence of three subtyping rules for generic types: covariant ...
Andrew +9 more
core +1 more source
Type-safe two-level data transformation [PDF]
, 2006 A two-level data transformation consists of a type-level transformation of a data format coupled with value-level transformations of data instances corresponding to that format.
A. Cleve +13 more
core +2 more sources
Process-Oriented Parallel Programming with an Application to Data-Intensive Computing [PDF]
, 2014 We introduce process-oriented programming as a natural extension of object-oriented programming for parallel computing. It is based on the observation that every class of an object-oriented language can be instantiated as a process, accessible via a ...
Givelberg, Edward
core