Sciweavers

272 search results - page 1 / 55
» Programming languages capturing complexity classes
Sort
View
10
Voted
SIGACT
2000
32views more  SIGACT 2000»
14 years 9 months ago
Programming languages capturing complexity classes
Martin Hofmann
69
Voted
ICALP
2007
Springer
15 years 1 months ago
Exotic Quantifiers, Complexity Classes, and Complete Problems
Peter Bürgisser, Felipe Cucker
EUROCOLT
1995
Springer
15 years 1 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
ECOOP
1998
Springer
15 years 1 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
ICFP
2008
ACM
15 years 9 months 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...