Search Results - Principles of Programming Languages

Full-text articles, eBooks and much more from EBSCO Discovery Service

The results list cannot be displayed in full to guest users. Please log in for full access: Login

Author manuscript, published in '38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'11), Austin, TX: United States (2011)' Loop Transformations: Convexity, Pruning and Optimization
Louis-noël Pouchet ; Uday Bondhugula ; Cédric Bastoul ; et al.
http://hal.inria.fr/docs/00/55/10/77/PDF/PBBCRSV11-POPL.pdf.

Loop Transformations Affine Scheduling

Academic journal

Full text/record from BASE

Principles for the design of dynamic tracing environments for novice programmers
RAJAN, TIM
Instructional Science, 1990 Jan 01. 19(4/5), 377-406.

Academic journal

Full text

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ISBN 1581131259.

Conference

Full text/record from BASE

Principles of Programming Languages 3 / 26Subroutines Parameter Passing Generic Subroutines
Ting Zhang ; Stack Layout ; Stack Frame ; et al.
http://www.cs.iastate.edu/~tingz/classes/cs342/Fall2010/lectures/lecture-16.pdf.

Academic journal

Full text/record from BASE

libRoadRunner 2.0: a high performance SBML simulation and analysis library.
Welsh C ; Xu J ; Smith L ; et al.
Publisher: Oxford University Press Country of Publication: England NLM ID: 9808944 Publication Model: Print Cited Medium: Internet ISSN: 1367-4811 (Electronic) Linking ISSN: 13674803 NLM ISO Abbreviation: Bioinformatics Subsets: MEDLINE

Models, Biological Computer Simulation Software Language Programming Languages Systems Biology

Academic journal

Check availability

This result is not available to guest users.
Login for full access.

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ISBN 1581130953.

Conference

Full text/record from BASE

Principles of Programming Languages 3 / 26Subroutines Parameter Passing Generic Subroutines
Ting Zhang ; Stack Layout ; Stack Frame ; et al.
http://www.cs.iastate.edu/%7Etingz/classes/cs342/Fall2009/lectures/lecture-13.pdf.

Academic journal

Full text/record from BASE

Formal Semantics and Interpreters in a Principles of Programming Languages Course
Kim B. Bruce ; The Pennsylvania State University CiteSeerX Archives
ftp://ftp.cs.williams.edu/pub/kim/SIGCSEPL.ps.gz

Academic journal

Full text/record from BASE

From SOS rules to proof principles : an operational metatheory for functional languages
Sands, David
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :428-441

Conference

View record at ACM Digital Library

Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98
ISBN 0897919793.

Conference

Full text/record from BASE

This result is not available to guest users.
Login for full access.

Principles of programming the ND812 computer in assembly language.
Nuclear Data, inc. ; Nuclear Data, inc.

Book

Check availability

Synthetic biology open language (SBOL) version 3.0.0.
Baig H ; Fontanarrosa P ; Kulkarni V ; et al.
Publisher: De Gruyter Open Country of Publication: Germany NLM ID: 101503361 Publication Model: Electronic Cited Medium: Internet ISSN: 1613-4516 (Electronic) Linking ISSN: 16134516 NLM ISO Abbreviation: J Integr Bioinform Subsets: MEDLINE

Language Models, Biological Software Programming Languages Synthetic Biology

Academic journal

Check availability

This result is not available to guest users.
Login for full access.

Model checking for programming languages using VeriSoft
Godefroid, Patrice
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :174-186

Conference