Search results

Jump to: navigation, search
  • | Title=SAC'09 - Technical Track on "Programming Languages ...guages. Original papers and experience reports are invited in all areas of programming languages.
    4 KB (568 words) - 20:02, 20 August 2008
  • Practical Predicative Programming Primer Formal Functional Verification of Device Drivers
    5 KB (686 words) - 12:27, 12 September 2008
  • |Title=Workshop on Declarative Aspects of Multicore Programming |Field=Programming paradigms
    2 KB (302 words) - 15:13, 25 September 2008
  • |Title=Workshop on Declarative Aspects of Multicore Programming 2008 |Field=Programming paradigms
    6 KB (701 words) - 14:43, 25 September 2008
  • |Title=Workshop on Declarative Aspects of Multicore Programming 2007 |Field=Programming paradigms
    5 KB (752 words) - 14:50, 25 September 2008
  • |Title=Declarative Programming Languages for Multicore Architectures 2006 |Field=Programming paradigms
    4 KB (471 words) - 15:12, 25 September 2008
  • Evolutionary Programming Agent-Oriented Programming
    9 KB (1,240 words) - 22:56, 14 October 2008
  • emphasis on new workloads, programming models, compilers, runtime systems, and tools for performance and functional debugging. The
    4 KB (461 words) - 23:18, 14 October 2008
  • ...ines as well as checking tools exist but not yet matured. The semantics of programming like C or Ada are well defined by independent standards (e.g. ANSI). The se # Can the same models used for functional verification, for dependability, be used for
    18 KB (2,714 words) - 23:23, 14 October 2008
  • | Title = Trends in Functional Programming 2008 | Field = Programming languages
    5 KB (636 words) - 23:22, 14 October 2008
  • is constrained by the physical world. Higher-level programming constraints along with conventional functional requirements and
    6 KB (847 words) - 23:30, 14 October 2008
  • | Title = 18th European Symposium on Programming | Field = Programming languages
    6 KB (824 words) - 23:32, 14 October 2008
  • | Field = Programming languages on Functional Programming (ICFP) as an associated ACM SIGPLAN sponsored
    5 KB (667 words) - 23:32, 14 October 2008
  • ...an Francisco. It's too much too soon and it hides the real basics of what programming is about: flow control, algorithms, abstractions. Heck, I freely admit tha
    2 KB (290 words) - 11:24, 24 December 2012
  • | Title = Principles and Practice of Declarative Programming | Field = Programming languages
    4 KB (451 words) - 23:32, 14 October 2008
  • |Field=Functional Programming
    248 bytes (27 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    239 bytes (27 words) - 14:52, 17 October 2016
  • |Field=Functional Programming
    272 bytes (30 words) - 14:53, 17 October 2016
  • - specification of extra-functional properties in component software FACS 2009 will be published in Science of Computer Programming.
    8 KB (1,079 words) - 17:05, 27 February 2009
  • * Evolutionary Programming * Agent-Oriented Programming
    5 KB (552 words) - 17:06, 12 August 2009

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)