Sciweavers

10666 search results - page 224 / 2134
» Quantum programming languages
Sort
View
142
Voted
IJSSE
2011
127views more  IJSSE 2011»
14 years 9 months ago
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
Sean Policarpio, Yan Zhang
91
Voted
GPCE
2004
Springer
15 years 8 months ago
Metaphor: A Multi-stage, Object-Oriented Programming Language
Gregory Neverov, Paul Roe
90
Voted
HOPL
1993
15 years 6 months ago
The Birth of Prolog
The programming language, Prolog, was born of a project aimed not at producing a programming language but at processing natural languages; in this case, French. The project gave r...
Alain Colmerauer, Philippe Roussel