Discussions - comp.lang.misc

The first ACM High-Integrity Language Technology conference (HILT 2012) was held last December in Boston, and it turned out to be an excellent gathering of academic, industrial, and government researchers and practitioners interested in how best to use language technology and other formal techniques to support the development, analysis, and testing of software-intensive systems.... more »

By tucker.t...@gmail.com - Jun 8 - 2 new of 2 messages

	Press Release - Reliable Software Technologies, Ada-Europe 2013
	------------------------------ ------------------------------ ----------- FINAL Call for Participation * UPDATED Program Summary * 18th International Conference on Reliable Software Technologies - Ada-Europe 2013... more » By Dirk Craeynest - May 30 - 1 new of 1 message

	Mozg lub Rozum
	sztuczna inteligencja -- Polish for "artificial intelligence" [link] in English; [link] in German; [link] in Russian /^^^^^^^^^^^\ Mozg lub Rozum /^^^^^^^^^^^\ / widzenie \ ________ / slyszenie \... more » By Mentifex - May 25 - 1 new of 1 message

	PROLOG UNDER THE HOOD - New Prolog Engine!
	BEHOLD! $sql2="SELECT HEADS.id AS 'HID', QUERY.buds AS 'QB' FROM QUERY INNER JOIN HEADS ON QUERY.ref=HEADS.ref AND QUERY.term=HEADS.term GROUP BY HID HAVING COUNT(HID)=$qc-SUM(QB)" This is what makes PROLOG DATABASES possible: the flux capacitor! It's taken me nearly thirty years and my entire family fortune to realize... more » By Graham Cooper - May 21 - 1 new of 1 message

	PROLOG TESTING SEQUENCE - Getting Your ROBOT Off The Ground!
	STEP 1: START UP YOUR FAVORITE PROLOG EDITOR! ENTER: [link] [LIST] STEP 2: ENTER THE FOLLOWING TEST CODE! [NEW] test1 a. test1 b. test2 X. test3 [sub a b c]. STEP 3: CHECK THE FOLLOWING COMMAND RESULTS! test1 a ? CONFIRM! test1 b ? CONFIRM!... more » By Graham Cooper - May 20 - 1 new of 1 message

	THE SUCCESSOR OF DOG IS ANOTHER DOG. Like, Fido I is succeeded by FIDO II
	... The Point is, given this program (i.e. Peano's 1st 2 Postulates) 8 isnumber 0 9 isnumber [ successor X ] isnumber X It demonstrates a FAILED BRANCH on the Logic Trace. [link] The fact is is a simple type check is only indicative of a partially... more » By Graham Cooper - May 19 - 1 new of 1 message

	Ada-Europe 2013 early registration deadline approaching
	------------------------------ ------------------------------ ----------- 2nd Call for Participation 18th International Conference on Reliable Software Technologies - Ada-Europe 2013 10-14 June 2013, Berlin, Germany... more » By Dirk Craeynest - Apr 30 - 1 new of 1 message

	Learning Lisp The Bump Free Way
	It was high time for the author of [link] to republish his classic teaching on Lisp [link] and it is also high time for Lisp AI programmers to port [link] in English;... more » By Mentifex - Apr 25 - 2 new of 2 messages

	Ekk-\|` >TT#<#@_+#o>{.~{<./#@_+#@V#X&+iINUI-lDe-iC-k1-4-Ekk-S UBJ CT 1 S <#@_+#o>{.~{<./<#@_+#O@1
	dt(1&+X&+iINUI-lDe-iC-k1-4-Ekk -1A:OROk-C.@_+#/>{.~{<./#@V#X& +iINUI-lDe-iC-k1-4- Ekk-\|` ><T::::)`i'.-H M Bmtoa+9oC-TH``A+./;<TD@aFANR+a STvYMB?!o !!BL& +>-U() &THrdP!os/;;w & sINATR+aSBM !J!o $j[~^w-_`E$[ iTS-^ ...{{[[ !A! DM M``@ 1 ....{UB)>.?X/*N)AhHEM\|1~ YC-V uAI * s.YG s.YGYG... more » By DEREKTTHOMAs DangelO - Apr 20 - 2 new of 2 messages

	18th Int.Conf. Reliable Software Technologies, Ada-Europe 2013
	------------------------------ ------------------------------ ----------- Call for Participation * PROGRAM SUMMARY * 18th International Conference on Reliable Software Technologies - Ada-Europe 2013 10-14 June 2013, Berlin, Germany... more » By Dirk Craeynest - Apr 18 - 1 new of 1 message

1 - 10 of 11004 « Newer | Older »

XML

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy

Account Options