Jump to main content

yr 〜
yr

Search results 60

POPL 2015 : POPL'15 : proceedings of the 42nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 12-18, 2015 : Mumbai, India : POPL conference : Jan 2015, Mumbai, India.

POPL 2015 : POPL'15 : proceedings of the 42nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 12-18, 2015 : Mumbai, India : POPL conference : Jan 2015, Mumbai, India.
Paper図書
The Association for Computing Machinery[2015]<M17-16-47>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (42nd : 2015 : Mumbai, India)

POPL'14 : proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 22-24, 2014 : San Diego, California, USA : POPL : Jan 2014, San Diego, CA.

POPL'14 : proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 22-24, 2014 : San Diego, California, USA : POPL : Jan 2014, San Diego, CA.
Paper図書
The Association for Computing Machinery[2014]<M17-14-3266>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (41st : 2014 : San Diego, Cal...

POPL'12 : proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 25-27, 2012 : Philadelphia, PA, USA : Jan 2012, Philadelphia, PA.

POPL'12 : proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 25-27, 2012 : Philadelphia, PA, USA : Jan 2012, Philadelphia, PA.
Paper図書
Association for Computing Machineryc2012.<M17-13-370>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (2012 : Philadelphia, Pa.)

38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011 : (POPL 11) : Austin, Texas, USA : 26-28 January 2011. : Jan 2011, Austin, TX.

38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011 : (POPL 11) : Austin, Texas, USA : 26-28 January 2011. : Jan 2011, Austin, TX.
Paper図書
Association for Computing Machineryc2011.<M17-11-2626>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (38th : 2011 : Austin, Texas)

POPL'10 : proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 17-23, 2010 : Madrid, Spain. : Jan 2010, Madrid, Spain.

POPL'10 : proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : January 17-23, 2010 : Madrid, Spain. : Jan 2010, Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-10-3718>
National Diet Library
  • Author HeadingPalsberg, Jens. ACM Symposium on Principles of Programming Languages (37th : 2010 : Madrid, Spain)

36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2009 : (POPL 09) : Savannah, Georgia, USA : 21-23 January 2009. : Jan 2009, Savannah, GA.

36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2009 : (POPL 09) : Savannah, Georgia, USA : 21-23 January 2009. : Jan 2009, Savannah, GA.
Paper図書
Association for Computing Machineryc2009.<M17-10-423>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (36th : 2009 : Savannah, Ga.)

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain. : programming languages meet program verification workshop 2010 : PLPV 10 : Jan 2010, Madrid, Spain.

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain. : programming languages meet program verification workshop 2010 : PLPV 10 : Jan 2010, Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-10-2488>
National Diet Library
  • Author Heading...Madrid, Spain) ACM Symposium on Principles of Programming Languages (37th : 2010 : Madrid, Spain)

POPL'08 : proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : San Francisco, California, USA : January 7-12, 2008. : POPL 2008 : Jan 2008, San Francisco, CA.

POPL'08 : proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : San Francisco, California, USA : January 7-12, 2008. : POPL 2008 : Jan 2008, San Francisco, CA.
Paper図書
Association for Computing Machineryc2008.<M17-08-1353>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (35th : 2008 : San Francisco,...

3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009. : programming languages meet program verification 2009 : Jan 2009, Savannah, GA.

3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009. : programming languages meet program verification 2009 : Jan 2009, Savannah, GA.
Paper図書
Association for Computing Machineryc2009.<M17-10-2738>
National Diet Library
  • Author Heading...Savannah, Ga.) ACM Symposium on Principles of Programming Languages (36th : 2009 : Savannah, Ga.)

POPL'15 : proceedings of the 42nd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 12-18, 2015, Mumbai, India

POPL'15 : proceedings of the 42nd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 12-18, 2015, Mumbai, India
Paper図書
sponsored by ACM SIGPLAN and ACM SIGACT ; supported by Microsoft Research ... [et al.]Association for Computing Machineryc2015
Other Libraries in Japan
  • Author HeadingACM Symposium on Principles of Programming Languages ACM Special Interest Group in...

POPL'14 : proceedings of the 41st annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 22-24, 2014, San Diego, California, USA

POPL'14 : proceedings of the 41st annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 22-24, 2014, San Diego, California, USA
Paper図書
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGACTAssociation for Computing Machineryc2014
Other Libraries in Japan
  • Author HeadingACM Symposium on Principles of Programming Languages ACM Special Interest Group in...

POPL'12 : proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 25-27, 2012, Philadelphia, PA, USA

POPL'12 : proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 25-27, 2012, Philadelphia, PA, USA
Paper図書
sponsored by ACM SIGPLAN in cooperation with ACM SIGACTAssociation for Computing Machineryc2012
Other Libraries in Japan
  • Author HeadingACM Symposium on Principles of Programming Languages ACM Special Interest Group in...

POPL'13 : proceedings of 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 23-25, 2013, Rome, Italy

POPL'13 : proceedings of 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 23-25, 2013, Rome, Italy
Paper図書
sponsored by ACM SIGPLAN and ACM SIGACT ; supported by École Normale Superieure...[et al.]Association for Computing Machineryc2013
Other Libraries in Japan
  • Author HeadingACM Symposium on Principles of Programming Languages ACM Special Interest Group in...

38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2011 (POPL 11) : Austin, Texas, USA 26-28 January 2011

38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2011 (POPL 11) : Austin, Texas, USA 26-28 January 2011
Paper図書
[sponsor, acm SIGPLAN] ; [in cooperation with SIGACT]Association for Computing Machinery : Curran Associatesc2011
Other Libraries in Japan
  • Author HeadingACM Symposium on Principles of Programming Languages ACM Special Interest Group in...

Conference record of POPL 2002: the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : Portland, Oregon, 16-18 January 2002. : POPL '02 : 29th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : Jan 2002, Portland, OR.

Conference record of POPL 2002: the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : Portland, Oregon, 16-18 January 2002. : POPL '02 : 29th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : Jan 2002, Portland, OR.
Paper図書
ACM Pressc2002.<M17-03-3228>
National Diet Library
  • Author HeadingACM Symposium on Principles of Programming Languages (29th : 2002 : Portland, Or.)

POPL'13 : proceedings of 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 23-25, 2013, Rome, Italy

POPL'13 : proceedings of 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 23-25, 2013, Rome, Italy
Paper図書
sponsored by ACM SIGPLAN and ACM SIGACT ; supported by École Normale Superieure...[et al.]Association for Computing Machineryc2012
Other Libraries in Japan
  • Author HeadingACM Symposium on Principles of Programming Languages ACM Special Interest Group in...

POPL'10 : proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 17-23, 2010, Madrid, Spain

POPL'10 : proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 17-23, 2010, Madrid, Spain
Paper図書
sponsored by ACM SIGPLAN ; in co-operation with ACM SIGACTAssociation for Computing Machineryc2010
Other Libraries in Japan
  • Author HeadingACM Symposium on Principles of Programming Languages ACM Special Interest Group in...

POPL'11 : proceedings of the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 26-28, 2011, Austin, Texas, USA

POPL'11 : proceedings of the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 26-28, 2011, Austin, Texas, USA
Paper図書
sponsored by ACM SIGPLAN in cooperation with ACM SIGACTAssociation for Computing Machineryc2010
Other Libraries in Japan
  • Author HeadingACM Symposium on Principles of Programming Languages ACM Special Interest Group in...

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004 : Venice, Italy, January 11-13, 2004 : proceedings. : Jan 2004, Venice, Italy. (Lecture Notes in Computer Science ; 2937)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004 : Venice, Italy, January 11-13, 2004 : proceedings. : Jan 2004, Venice, Italy. (Lecture Notes in Computer Science ; 2937)
Paper図書
Springer-Verlagc2004.<M17-04-2460>
National Diet Library
  • Author Heading...Venice, Italy) ACM Symposium on Principles of Programming Languages (31st : 2004 : Venice, Italy)

POPL'09 : proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : Savannah, Georgia, USA, January 21-23, 2009

POPL'09 : proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : Savannah, Georgia, USA, January 21-23, 2009
Paper図書
sponsored by ACM SIGPLAN in co-operation with ACM SIGACTAssociation for Computing Machineryc2008
Other Libraries in Japan
  • Author HeadingACM Symposium on Principles of Programming Languages ACM Special Interest Group in...
RSS