Sciweavers

272 search results - page 1 / 55
» Programming languages capturing complexity classes
Sort
View
17
Voted
SIGACT
2000
32views more  SIGACT 2000»
15 years 11 days ago
Programming languages capturing complexity classes
Martin Hofmann
92
Voted
ICALP
2007
Springer
15 years 4 months ago
Exotic Quantifiers, Complexity Classes, and Complete Problems
Peter Bürgisser, Felipe Cucker
107
Voted
EUROCOLT
1995
Springer
15 years 4 months ago
The structure of intrinsic complexity of learning
Limiting identification of r.e. indexes for r.e. languages (from a presentation of elements of the language) and limiting identification of programs for computable functions (fr...
Sanjay Jain, Arun Sharma
99
Voted
ECOOP
1998
Springer
15 years 4 months ago
Reflection for Statically Typed Languages
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
José de Oliveira Guimarães
90
Voted
ICFP
2008
ACM
16 years 17 days ago
A comparison of c++ concepts and haskell type classes
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Since each language that meets all criteria is...
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zal...