Sciweavers

10575 search results - page 346 / 2115
» T2Script Programming Language
Sort
View
APLAS
2008
ACM
15 years 6 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
IPPS
1999
IEEE
15 years 9 months ago
Concurrent Language Support for Interoperable Applications
Current language mechanisms for concurrency are largely isolated to the domain of single programs. Furthermore, increasing interest in concurrent programming encourages further res...
Eugene F. Fodor, Ronald A. Olsson
305
Voted
ICLP
2011
Springer
14 years 8 months ago
Implementation of Axiomatic Language
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
Walter W. Wilson
VL
1996
IEEE
117views Visual Languages» more  VL 1996»
15 years 9 months ago
Tactile Programming: A Unified Manipulation Paradigm Supporting Program Comprehension, Composition and Sharing
Although visual programming techniques have been used to lower the threshold of programming for end users, they are not sufficient for creating end user programming environments t...
Alexander Repenning, James Ambach
ICFP
2009
ACM
16 years 5 months ago
Purely functional lazy non-deterministic programming
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan