Sciweavers

272 search results - page 1 / 55
» Programming languages capturing complexity classes
Sort
View
16
Voted
SIGACT
2000
32views more  SIGACT 2000»
15 years 8 days ago
Programming languages capturing complexity classes
Martin Hofmann
91
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
98
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 13 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...