272 search results - page 18 / 55 » Programming languages capturing complexity classes |
106
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
94
Voted
IFIP
1998
Springer
15 years 5 months ago
1998
Springer
This paper introduces the HyDev approach to structured and systematic development of typical hypermedia applications. HyDev focuses on the early phases of the development process, ...
112
click to vote
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
98
Voted
ICFP
2006
ACM
16 years 21 days ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
121
Voted
FOCS
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper deals with the evaluation of acyclic Boolean conjunctive queries in relational databases. By well-known results of Yannakakis [1981], this problem is solvable in polynom...