Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Lenguaje programación")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 8815

  • Page / 353

Export

Selection :

  • and

Specification and Verification: The Spec# ExperienceBARNETT, Mike; FÄHNDRICH, Manuel; LEINO, K. Rustan M et al.Communications of the ACM. 2011, Vol 54, Num 6, pp 81-91, issn 0001-0782, 11 p.Article

Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XV)ACM SIGPLAN notices. 2010, Vol 45, Num 3, issn 1523-2867, 419 p.Conference Proceedings

An Overview of the Oregon Programming Languages Summer SchoolALLEN, Jim; ARIOLA, Zena; ZDANCEWIC, Steve et al.ACM SIGPLAN notices. 2009, Vol 44, Num 11, pp 1-8, issn 1523-2867, 8 p.Article

Forth & Small Systems ReportFRENGER, Paul.ACM SIGPLAN notices. 2008, Vol 43, Num 5, pp 5-9, issn 1523-2867, 5 p.Article

PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CAACM SIGPLAN notices. 2007, Vol 42, Num 6, issn 1523-2867, 508 p.Conference Proceedings

Programming languages and systems (Beijing, 27-29 November 2003)Ohori, Atsushi.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-20536-5, XIII, 426 p, isbn 3-540-20536-5Conference Proceedings

Scrap your boilerplate: Invited talkJONES, Simon Peyton; LÄMMEL, Ralf.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-20536-5, p. 357Conference Paper

JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 )Castéran, Pierre.Journées francophones des langages applicatifs. 2001, isbn 2-7261-1180-7, IV, 156 p, isbn 2-7261-1180-7Conference Proceedings

Inventing PHP: Rasmus LerdorfSEVERANCE, Charles.Computer (Long Beach, CA). 2012, Vol 45, Num 11, pp 6-7, issn 0018-9162, 2 p.Article

Proceedings of the 2010 ACM SIGPLAN Haskell Symposium (Haskell'10)ACM SIGPLAN notices. 2010, Vol 45, Num 11, issn 1523-2867, 163 p.Conference Proceedings

Haskell'08. Proceedings of the ACM SIGPLANACM SIGPLAN notices. 2009, Vol 44, Num 2, issn 1523-2867, 132 p.Conference Proceedings

Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'2009)ACM SIGPLAN notices. 2009, Vol 44, Num 7, issn 1523-2867, 182 p.Conference Proceedings

Proceedings of the 2008 ACM SIGPLAN-SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08)ACM SIGPLAN notices. 2008, Vol 43, Num 7, issn 1523-2867, 174 p.Conference Proceedings

ICFP'08: Proceedings of the 2008 SIGPLAN, International Conference on Functional ProgrammingACM SIGPLAN notices. 2008, Vol 43, Num 9, issn 1523-2867, 416 p.Conference Proceedings

Proceedings of the 22nd International Conference on Object-Oriented Programming, Systems, Languages, & Applications (OOPSLA'07)ACM SIGPLAN notices. 2007, Vol 42, Num 10, issn 1523-2867, 725 p.Conference Proceedings

Programming languages and systems (15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006)Sestoft, Peter.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-33095-X, 1Vol, XII-341 p, isbn 3-540-33095-XConference Proceedings

Logic and functional programming by retractionsBELLIA, M.Informatique théorique et applications (Imprimé). 1988, Vol 22, Num 3, pp 271-310, issn 0988-3754Article

Types and persistence in database programming languagesATKINSON, M. P; BUNEMAN, O. P.ACM computing surveys. 1987, Vol 19, Num 2, pp 105-190, issn 0360-0300Serial Issue

LCTES'10: Proceedings of the ACM SIGPLAN/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded SystemsACM SIGPLAN notices. 2010, Vol 45, Num 4, issn 1523-2867, 180 p.Conference Proceedings

PPoPP'09: Proceedings of the 2009 ACM SIGPLAN Symposium on Principles and Practice of Parallel ProgrammingACM SIGPLAN notices. 2009, Vol 44, Num 4, issn 1523-2867, 319 p.Conference Proceedings

Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XIII)ACM SIGPLAN notices. 2008, Vol 43, Num 3, issn 1523-2867, 344 p.Conference Proceedings

Proceedings of the 2008 ACM SIGPLAN Conference on Programming Languages Design Implementation (PLDI 2008)ACM SIGPLAN notices. 2008, Vol 43, Num 6, issn 1523-2867, 392 p.Conference Proceedings

Using Programming Language Concepts to Teach General Thinking SkillsRINARD, Martin.ACM SIGPLAN notices. 2008, Vol 43, Num 11, pp 111-118, issn 1523-2867, 8 p.Conference Paper

12th International Conference on Architectural Support for Programming Languages and Operating Systems, October 21-25, 2006, San Jose, CaliforniaACM SIGPLAN notices. 2006, Vol 41, Num 11, issn 1523-2867, 440 p.Conference Proceedings

Programming languages and systems (Third Asian symposium, APLAS 2005)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-29735-9, 1Vol, XIII-433 p, isbn 3-540-29735-9Conference Proceedings

  • Page / 353