I am currently searching for anything that calls itself a "Database Programming Language", and in particular any reviews or helpful comparisons.
The purpose is something of a long term hobby project, non-commercial but also non-academic. I'm most interested in languages that have at least some prospect of finding users with real problems to solve and real data to manage, but I'm also interested in more esoteric ideas for their future prospects.
My list currently includes (no particular order) : Datalog, DBPL/Tycoon, Dataphor/D4, Tutorial D, Business System 12, Rel Project, Kleisli, Xduce, Links, Cduce. I would be interested to add to the list.
It would be helpful to know of any confirmed deaths. In particular, it's impossible to Google for Links. Does it live?
I'm working my way (slowly) through the C2 Wiki -- bit of a mixed blessing -- and I know about the DBPL conference and the DBLP bibliography site (confusing). Other resources would be appreciated too.
Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: September 19!)
CALL FOR SCHOLARSHIP APPLICATIONS (Deadline September 19!)
ACM SIGPLAN Programming Languages Mentoring Workshop, Mumbai, India
Wednesday, January 14, 2015
Co-located with POPL 2015
PLMW web page: http://plmw15.iisc-seal.net/
After the resounding success of the first three Programming Languages
The purpose of this mentoring workshop is to encourage graduate students
So far, we have the following speakers confirmed to speak at the
- Adam Chlipala (MIT)
We especially encourage women and underrepresented minority students to
This workshop is part of the activities surrounding POPL, the Symposium
A number of sponsors (listed below) have generously donated scholarship
Students attending this year will get one year free student membership
The workshop registration is open to all. Students with alternative
APPLICATION for PLMW scholarship:
The scholarship application can be accessed from the workshop web site
The reason for this early pre-registration has to do with obtaining
A kickstarter project. Abstract:
Programming as the basis of a magic system seems like a great idea, though I think the challenges would be in balancing (resource consumption of the spell must be restricted!).
A couple of weeks ago (the database LtU seems corrupted so I can't find the link) I posted about my theory of data parallel computing. I make a bunch of claims (not necessarily in that paper) why my idea can lead to more efficient software than some other parallel programming systems, and I was wondering why.
At some level, my Integrative Model for Parallelism is based on dataflow, as an Intermediate Representation, to be exact. And I think one reason dataflow approaches can be efficient is that the dataflow graph is a representation of the program in the program. By building up a dataflow graph, the program reconstructs a limited version of itself that can then be analyzed by a higher level tool than either the compiler or a traditional runtime.
My question to this esteemed audience: surely I'm not the first one to observe this. Is there a formalism, or at least a vocabulary to describe this phenomenon?
(Background info: I know that dataflow is a 1980, early 90s at best, phenomenon, but it's been in resurgence, with OpenMP tasks (OMP v3 and later), Intel TBB & CnC, and dedicated linear algebra software such as SuperMatrix and Quark. In all these cases the C/Fortran program creates a task graph out of ordinary function pointers and submits it to some scheduler which can be defined on a fairly high level, in a library itself written in C.)
Portland, Oregon, USA
Sponsored by ACM SIGPLAN
The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now inviting calls for participation.
** REGISTRATION **
** CONFERENCE PROGRAM **
** KEYNOTE Speakers **
** OOPSLA Research Papers**
** Onward! Research Papers **
** Onward! Essays **
** Dynamic Languages Symposium (DLS) **
** Wavefront **
** Panels **
** SPLASH-E **
** Artifacts **
** Workshops **
** Tutorials **
** Demos **
** Posters **
** Doctoral Symposium **
** Student Research Competition **
** Co-located Events **
ACM SIGAda’s Annual International Conference High Integrity Language Technology (HILT)
Multicore Parallel Programming Course:
** Location **
** Organization **
SPLASH General Chair: Andrew Black (Portland State University)
Apparently, Microsoft applied for a patent on "safe" transitive immutability for object types. I use "safe" to summarize a useful feature: even though object constructors can set fields of an immutable object, the mutable reference to this cannot escape the constructor and become visible to other code. I say "transitive" because contained objects are immutable even though their types would be mutable.
Proposal for a Friendly Dialect of C
...We are not trying to fix the deficiencies of the C language nor making an argument for or against C. Rather, we are trying rescue the predictable little language that we all know is hiding within the C standard. This language generates tight code and doesn’t make you feel like the compiler is your enemy.
I'm writing an essay documenting the typographic design decisions I made when building YinYang. I'm basically at the point of having a decent first draft; please take a look!
We would like to invite you to PolyConf. It is a two-day, single track, multi-disciplinary conference on advanced technologies for programmers interested in polyglot approach to software development. The event will take place October 30-31 in POZnan, Poland. Among invited speakers: Dan Webb / Twitter Inc, David Nolen / Cognitect, Reid Draper / Basho.
Active forum topics
New forum topics