Results 1 to 10 of about 758 (19)
Application Software, Domain-Specific Languages, and Language Design Assistants [PDF]
, 2000 While application software does the real work, domain-specific languages (DSLs) are tools to help produce it efficiently, and language design assistants in turn are meta-tools to help produce DSLs quickly. DSLs are already in wide use (HTML for web pages,
Heering, Jan
core +17 more sources
Short Paper: Blockcheck the Typechain [PDF]
, 2020 Recent efforts have sought to design new smart contract programming languages that make writing blockchain programs safer. But programs on the blockchain are beholden only to the safety properties enforced by the blockchain itself: even the strictest ...
Alt Leonardo +14 more
core +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
Indirect jumps improve instruction sequence performance [PDF]
, 2012 Instruction sequences with direct and indirect jump instructions are as expressive as instruction sequences with direct jump instructions only. We show that, in the case where the number of instructions is not bounded, we are faced with increases of the ...
Bergstra, J. A., Middelburg, C. A.
core +2 more sources
Probabilistic thread algebra [PDF]
, 2015 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 +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
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
Further Decimating the Inductive Programming Search Space with Instruction Digrams
, 2023 Overlapping instruction subsets derived from human originated code have previously been shown to dramatically shrink the inductive programming search space, often by many orders of magnitude.
McDaid, Edward, McDaid, Sarah
core
, 2023 Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce additional, desirable, program invariants. They do so by offering a restricted but effective form of subtyping.
Brachthäuser, Jonathan +5 more
core
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