Sciweavers

10666 search results - page 222 / 2134
» Quantum programming languages
Sort
View
DLS
2005
122views Languages» more  DLS 2005»
15 years 4 months ago
Language constructs for context-oriented programming: an overview of ContextL
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...
Pascal Costanza, Robert Hirschfeld
145
Voted
POPL
1997
ACM
15 years 6 months ago
A Unified Computation Model for Functional and Logic Programming
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
Michael Hanus
ICFP
2000
ACM
15 years 7 months ago
Static enforcement of security with types
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
Christian Skalka, Scott F. Smith
FMOODS
2008
15 years 4 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
GI
1995
Springer
15 years 6 months ago
A Comparison of C++, FORTRAN 90 and Oberon-2 for Scientific Programming
In the past decade, the programming languages C++, FORTRAN 90 and Oberon-2 allevolved from their ancestors. This invites to reflect upon the suitability ofthese modern programming...
Bernd Mösli